基于系統(tǒng)狀態(tài)轉(zhuǎn)移的測試序列自動生成方法的研究.pdf

1、隨著信息技術(shù)的發(fā)展，嵌入式軟件軟件在各類航天系統(tǒng)中得到了廣泛的應(yīng)用，這些軟件大都承擔著系統(tǒng)重要的功能或處在關(guān)鍵的系統(tǒng)控制或信息傳遞鏈路上，那么由于這些軟件的質(zhì)量原因帶了的后果就可能是系統(tǒng)的嚴重失效，甚至是災(zāi)難性事故。為提高航天軟件的質(zhì)量，使之可靠得完成系統(tǒng)賦予的使命，航天工業(yè)界的一般共識是應(yīng)在執(zhí)行任務(wù)前盡可能安排充分的測試、發(fā)現(xiàn)軟件中盡可能多的缺陷，從而提高軟件在執(zhí)行任務(wù)時的可靠性。研究軟件測試用例生成技術(shù)、提高軟件測試水平對于保障測試

2、充分性、進而提高軟件的可靠性意義非常重要。
　　本論文在大量調(diào)研國內(nèi)外基于系統(tǒng)狀態(tài)轉(zhuǎn)移的軟件測試技術(shù)研究現(xiàn)狀的基礎(chǔ)上，總結(jié)目前測試用例生成相關(guān)的研究成果，以及需要改進的地方。然后結(jié)合航天軟件的相關(guān)特點，調(diào)研分析了各種方法的優(yōu)缺點，確立了基于Statecharts狀態(tài)轉(zhuǎn)移的測試技術(shù)，研究能運用于實際軟件中的自動生成測試用例的方法。其次，在確立的技術(shù)路線的基礎(chǔ)上，定制了Statecharts部分語法，改進了滿足狀態(tài)轉(zhuǎn)移覆蓋準則的測試用

3、例生成算法。最后，論文以某重點航天工程中智能電源控制軟件的多狀態(tài)轉(zhuǎn)移、過程復(fù)雜為特點，采用文中改進的用例自動生成算法和工具，對該軟件開展了用例生產(chǎn)試驗驗證，并與測試用例手工設(shè)計結(jié)果進行了比較分析，體現(xiàn)了改進的用例生成算法的的有效性和充分性。
　　改進的測試用例生成技術(shù)體現(xiàn)了航天嵌入式軟件程序邏輯復(fù)雜、狀態(tài)轉(zhuǎn)移覆蓋難度大、測試要求高等特點，在復(fù)雜狀態(tài)圖并發(fā)層次的語義描述、狀態(tài)覆蓋的測試用例生成準則研究以及輔助工具等方面有所創(chuàng)新，該論