為提升箭載嵌入式軟件測試的效率和質(zhì)量,針對(duì)箭載軟件時(shí)序控制這一測試需求,文章提出了一種基于狀態(tài)轉(zhuǎn)移圖的測試用例自動(dòng)生成算法設(shè)計(jì)方法;具體分析步驟為首先分析時(shí)序控制特性,其次選取狀態(tài)轉(zhuǎn)移圖來表征,自定義所需圖元屬性以及圖元關(guān)系、觸發(fā)條件全面性與一致性的約束條件從而保證模型合理性;再次采用基路徑覆蓋、轉(zhuǎn)移對(duì)覆蓋、條件元覆蓋3種覆蓋準(zhǔn)則相結(jié)合方式實(shí)現(xiàn)測試用例的自動(dòng)生成;最后以某箭上軟件全飛行周期時(shí)序控制為基礎(chǔ),多次結(jié)果表明該方法生成的軟件測試用例可完全覆蓋時(shí)序控制功能和性能需求,驗(yàn)證了方法的有效性和穩(wěn)定性,可為箭載軟件自動(dòng)化測試工程化實(shí)踐提供一定的借鑒。 

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

【文章目錄】：
0 引言
1 時(shí)序控制特性分析
2 狀態(tài)轉(zhuǎn)移圖設(shè)計(jì)
    2.1 圖元屬性定義
    2.2 語法約束
        2.2.1 基本圖元關(guān)系約束
        2.2.2 觸發(fā)條件全面性與一致性約束
3 測試用例自動(dòng)生成算法
    3.1 基路徑覆蓋準(zhǔn)則
    3.2 轉(zhuǎn)移對(duì)覆蓋準(zhǔn)則
    3.3 路徑相關(guān)的狀態(tài)轉(zhuǎn)移條件判斷
    3.4 條件元覆蓋
4 算法結(jié)果驗(yàn)證
5 結(jié)束語


【參考文獻(xiàn)】：
期刊論文
[1]UML測試用例自動(dòng)生成方法研究[J]. 張卉,高仲合,黃銘,任志遷.  電子技術(shù). 2016(04)
[2]UML狀態(tài)圖的測試用例自動(dòng)生成[J]. 佟軼,董碧丹.  微計(jì)算機(jī)信息. 2011(09)
[3]基于UML狀態(tài)圖的測試用例自動(dòng)生成方法[J]. 楊晶,顧春華.  華東理工大學(xué)學(xué)報(bào)(自然科學(xué)版). 2011(03)
[4]軟件測試工具綜述[J]. 王雅文,宮云戰(zhàn),楊朝紅.  北京化工大學(xué)學(xué)報(bào)(自然科學(xué)版). 2007(S1)

碩士論文
[1]基于混沌遺傳算法的測試用例自動(dòng)生成研究[D]. 黃陳輝.上海師范大學(xué) 2019
[2]嵌入式箭載計(jì)算機(jī)控制軟件測試關(guān)鍵技術(shù)研究[D]. 林晨.上海交通大學(xué) 2014
[3]箭載飛行控制軟件通用仿真動(dòng)態(tài)測試平臺(tái)研究和實(shí)現(xiàn)[D]. 王海燕.同濟(jì)大學(xué) 2007



本文編號(hào)：3706204