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

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

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

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


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



本文編號(hào)：3157728