發(fā)布時(shí)間：2021-04-17 11:45

　　隨著我國(guó)軟件行業(yè)的蓬勃發(fā)展,軟件質(zhì)量問題層出不窮,在實(shí)際項(xiàng)目開發(fā)過程中軟件測(cè)試并未引起重視,軟件中隱藏的缺陷便成為安全隱患。航天軟件較一般軟件更為復(fù)雜且擔(dān)負(fù)著完成國(guó)家重大航天任務(wù)的重任,對(duì)安全性、可靠性、實(shí)時(shí)性都有著嚴(yán)格要求,這就意味著一般軟件測(cè)試方法并不適用于航天軟件。本課題主要對(duì)遙操作作業(yè)平臺(tái)的測(cè)試方法進(jìn)行研究,意在得出適用于航天可視化軟件的測(cè)試方法。本課題的主要研究?jī)?nèi)容有:對(duì)航天軟件主流編程語言C/C++常見代碼缺陷進(jìn)行分析,結(jié)合常見靜態(tài)測(cè)試工具的側(cè)重點(diǎn)和遙操作作業(yè)平臺(tái)的特點(diǎn),選擇C++Test和PC-Lint對(duì)遙操作作業(yè)平臺(tái)進(jìn)行運(yùn)行時(shí)錯(cuò)誤檢測(cè)、結(jié)構(gòu)錯(cuò)誤、安全故障、代碼邏輯4個(gè)方面的檢測(cè),兩者檢測(cè)結(jié)果相互對(duì)比和補(bǔ)充,形成完善的靜態(tài)測(cè)試報(bào)告;按照遙操作作業(yè)平臺(tái)功能需求結(jié)合測(cè)試用例設(shè)計(jì)方法（常見測(cè)試用例設(shè)計(jì)方法、基于UML活動(dòng)圖模型的測(cè)試用例生成方法、基于有限狀態(tài)機(jī)模型的測(cè)試用例生成方法）設(shè)計(jì)并編寫測(cè)試用例,針對(duì)每一個(gè)測(cè)試用例使用數(shù)據(jù)驅(qū)動(dòng)測(cè)試腳本開發(fā)方式,借助自動(dòng)化測(cè)試工具UFT（Unified Functional Testing）來創(chuàng)建測(cè)試腳本、增強(qiáng)腳本（添加事務(wù)、參數(shù)化、迭代等... 

【文章來源】：石家莊鐵道大學(xué)河北省

【文章頁數(shù)】：87 頁

【學(xué)位級(jí)別】：碩士

【部分圖文】：

C++Test的VisualStudio2008插件集成方式

圖 3-2 BugDetective 測(cè)試結(jié)果測(cè)試結(jié)果顯示嚴(yán)重度 1（最高）級(jí)別的有 26 個(gè)，嚴(yán)重度 2（高）級(jí)別的有15 個(gè)，需根據(jù)測(cè)試結(jié)果考慮程序與代碼實(shí)際實(shí)現(xiàn)情況酌情修改。其中涉及到運(yùn)行時(shí)缺陷子分類：安全、資源、潛在缺陷。①安全項(xiàng)測(cè)試結(jié)果如圖 3-3 所示。圖 3-3 安全項(xiàng)測(cè)試結(jié)果數(shù)組越界：索引值應(yīng)大于等于 0。防止文件名注入：如果用戶提供了污染數(shù)據(jù)作為文件名存儲(chǔ)到系統(tǒng)中，可

子分類、任務(wù)類型等具體信息。圖 3-2 BugDetective 測(cè)試結(jié)果測(cè)試結(jié)果顯示嚴(yán)重度 1（最高）級(jí)別的有 26 個(gè)，嚴(yán)重度 2（高）級(jí)別的有15 個(gè)，需根據(jù)測(cè)試結(jié)果考慮程序與代碼實(shí)際實(shí)現(xiàn)情況酌情修改。其中涉及到運(yùn)行時(shí)缺陷子分類：安全、資源、潛在缺陷。①安全項(xiàng)測(cè)試結(jié)果如圖 3-3 所示。

【參考文獻(xiàn)】：
期刊論文
[1]有效開展代碼走查工作的實(shí)踐過程分析[J]. 周玫.  現(xiàn)代信息科技. 2019(01)
[2]嵌入式軟件靜態(tài)測(cè)試方法研究[J]. 趙正旭,梅成芳,張強(qiáng).  計(jì)算機(jī)技術(shù)與發(fā)展. 2019(03)
[3]軟件驗(yàn)收測(cè)試的研究與實(shí)踐[J]. 楊曉燕,宋彩霞.  電腦知識(shí)與技術(shù). 2018(34)
[4]軟件測(cè)試中的白盒測(cè)試分析[J]. 淡海英.  時(shí)代農(nóng)機(jī). 2018(11)
[5]軟件測(cè)試過程模型研究[J]. 劉凱,梁欣,張俊萍.  計(jì)算機(jī)科學(xué). 2018(S2)
[6]冒煙測(cè)試淺談[J]. 閆峰,宋向暉.  信息技術(shù)與信息化. 2018(10)
[7]LoadRunner在軟件性能測(cè)試中的應(yīng)用與研究[J]. 郭旭敏,王小廳.  太原學(xué)院學(xué)報(bào)(自然科學(xué)版). 2018(03)
[8]黑盒測(cè)試用例設(shè)計(jì)方法及綜合應(yīng)用[J]. 林勤花.  電子測(cè)試. 2018(17)
[9]論計(jì)算機(jī)軟件安全檢測(cè)技術(shù)實(shí)踐[J]. 張叢叢.  信息記錄材料. 2018(07)
[10]灰盒測(cè)試方法在軟件可靠性測(cè)試中的應(yīng)用[J]. 姚佳瑜.  信息通信. 2018(05)

碩士論文
[1]基于LLVM-Clang的軟件靜態(tài)檢測(cè)工具研究與實(shí)現(xiàn)[D]. 李昊.西安理工大學(xué) 2017
[2]基于C/C++代碼的靜態(tài)檢測(cè)技術(shù)分析與研究[D]. 孟云秀.石家莊鐵道大學(xué) 2015
[3]C/S架構(gòu)的GPS車船監(jiān)控系統(tǒng)性能測(cè)試研究[D]. 李夢(mèng)蕓.華中科技大學(xué) 2014
[4]嵌入式箭載計(jì)算機(jī)控制軟件測(cè)試關(guān)鍵技術(shù)研究[D]. 林晨.上海交通大學(xué) 2014
[5]基于規(guī)則的嵌入式軟件系統(tǒng)靜態(tài)測(cè)試[D]. 呂文晶.天津大學(xué) 2012
[6]基于QTP的功能自動(dòng)化測(cè)試框架的研究與應(yīng)用[D]. 夏晶.武漢科技大學(xué) 2010
[7]基于靜態(tài)源碼分析的軟件安全測(cè)試技術(shù)研究與實(shí)現(xiàn)[D]. 褚蕾.電子科技大學(xué) 2010



本文編號(hào)：3143396