航天應(yīng)用軟件系統(tǒng)具有軟件種類多、規(guī)模大、信息交換關(guān)系復(fù)雜等特點,如何開展軟件測試是工程實踐中的一個難題。結(jié)合某測控信息應(yīng)用軟件系統(tǒng)實例,提出了一種基于形式化模型的軟件系統(tǒng)測試方法�；谲浖到y(tǒng)形式化定義和線索分析技術(shù),繪制軟件系統(tǒng)運行流程圖、階段分析圖,建立可表述軟件系統(tǒng)級行為的場景樹模型和場景樹圖;根據(jù)測試充分性要求,提出基于場景樹圖的路徑覆蓋準(zhǔn)則,給出滿足路徑覆蓋準(zhǔn)則的測試用例集自動化生成算法;結(jié)合工程實例,給出了方法應(yīng)用數(shù)據(jù),開展測試結(jié)果分析。驗證結(jié)果表明該測試方法是可行的和有效的,能夠保障軟件測試的充分性。 

【文章來源】：測控技術(shù). 2020,39(01)

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

【文章目錄】：
1 場景分析基礎(chǔ)
2 軟件系統(tǒng)場景分析
3 測試用例集生成
4 測試數(shù)據(jù)分析
5 結(jié)束語


【參考文獻】：
期刊論文
[1]基于MBD模型自動生成測試用例的軟件測試方法[J]. 蔡峰,周毅,陳陽.  測控技術(shù). 2018(09)
[2]測控軟件數(shù)據(jù)接口測試與典型缺陷分析[J]. 漆蓮芝,周昱瑤,張誼,顏運強,陳泉根.  測控技術(shù). 2017(09)
[3]基于形式化方法的航空電子系統(tǒng)檢測[J]. 李睿,連航,馬世龍,黎濤.  軟件學(xué)報. 2015(02)
[4]灰盒測試方法的實踐與研究[J]. 張衛(wèi)祥,劉文紅.  飛行器測控學(xué)報. 2010(06)
[5]基于UML的系統(tǒng)測試[J]. 張永,遲忠先.  計算機工程與設(shè)計. 2006(09)



本文編號：3157728