如今軟件測試并不像傳統(tǒng)的測試技術(shù)那樣,將測試視為軟件編碼后的第一個(gè)環(huán)節(jié),伴隨著軟件工程的不斷發(fā)展,軟件測試在軟件生命周期每個(gè)階段中的地位都在不斷地提高。在實(shí)際工程問題中,被測系統(tǒng)往往既龐大又復(fù)雜,這使得軟件測試用例也變得繁雜且無法有序整頓。那么基于模型的軟件測試技術(shù)是解決以上問題的可選方案,擴(kuò)展有限狀態(tài)機(jī)模型可以同時(shí)對被測系統(tǒng)的控制部分以及數(shù)據(jù)部分建模,因?yàn)樗擞袪顟B(tài)的集合以及遷移的集合以外,還用一組變量補(bǔ)充了遷移集合的信息進(jìn)而擴(kuò)展了有限狀態(tài)機(jī)模型的結(jié)構(gòu)。因此,對于各式各樣的被測系統(tǒng)都可以用擴(kuò)展有限狀態(tài)模型進(jìn)行建模。但是遷移路徑之間的數(shù)據(jù)流依賴性會導(dǎo)致擴(kuò)展有限狀態(tài)機(jī)模型遷移路徑的不可行情況,這使得沒有測試數(shù)據(jù)可以觸發(fā)該不可行遷移路徑。據(jù)此,本文重點(diǎn)研究了基于擴(kuò)展有限狀態(tài)機(jī)模型可行性測試路徑的生成方法。首先,基于被測系統(tǒng)的擴(kuò)展有限狀態(tài)機(jī)模型狀態(tài)遷移之間數(shù)據(jù)流的依賴關(guān)系,對遷移序列進(jìn)行不可行判定,以及利用遷移信息的賦值操作類型和守衛(wèi)條件運(yùn)算符的難易滿足程度進(jìn)行排列組合,計(jì)算遷移路徑的不可行程度值;然后根據(jù)擴(kuò)展有限狀態(tài)機(jī)模型的狀態(tài)遷移圖生成狀態(tài)遷移樹,以此來降低測試的復(fù)雜性,也便于采用遷移... 

【文章來源】：南華大學(xué)湖南省

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

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

【部分圖文】：

實(shí)驗(yàn)結(jié)果數(shù)據(jù)圖

第4章實(shí)例與分析45圖4.7實(shí)驗(yàn)結(jié)果數(shù)據(jù)圖圖4.8結(jié)果對比折線圖根據(jù)折線圖4.8，下面將從三個(gè)方面對結(jié)果進(jìn)行分析：（1）本文所提出的方法與ST方法生成的測試路徑均滿足了基于擴(kuò)展有限狀態(tài)機(jī)模型的遷移覆蓋準(zhǔn)則，在遷移覆蓋率方面達(dá)到了100%。（2）在遷移對覆蓋率方面，本文基于遷移對覆蓋準(zhǔn)則生成測試路徑，但因遷移對之間數(shù)據(jù)流依賴性造成的不可行情況，導(dǎo)致遷移對覆蓋率沒有達(dá)到100%，但對于ST方法來說，提高了1.2%，因此本文所提方法生成的測試路徑更加完備，覆蓋面更廣。（3）由于ST方法無法解決遷移自循環(huán)的計(jì)數(shù)器問題，且僅滿足遷移覆蓋


本文編號：3257327