發(fā)布時間：2021-06-30 07:34

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

【文章來源】：南華大學湖南省

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

【學位級別】：碩士

【部分圖文】：

實驗結(jié)果數(shù)據(jù)圖

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


本文編號：3257327