基于時間Petri網(wǎng)模型的實時軟件在線測試方法研究.pdf

1、隨著互聯(lián)網(wǎng)科技的突飛猛進，計算機軟件已被應用到現(xiàn)實生活中的許多領域，軟件的功能更加多樣也更加復雜。在這種背景下，提出了基于模型的軟件測試技術，該技術利用模型自動地生成全部或者部分測試用例，在充分測試軟件功能的同時縮短測試時間，保證測試質(zhì)量。而在測試實時系統(tǒng)的方面，由于加入了時間域的約束，使得系統(tǒng)選擇形式化建模工具時需要考慮時間域的表示，同時當實時系統(tǒng)規(guī)模大時容易造成狀態(tài)空間爆炸的問題。
　　在這種背景下，提出了一種基于時間Petr

2、i網(wǎng)模型的實時軟件在線測試方法。首先設計了能夠處理模型中與時間約束相關的變化的基于狀態(tài)類的可達圖生成算法。然后利用生成的可達圖來評估模型，進而完善，以便保證其在描述實際系統(tǒng)時的質(zhì)量和可靠性。在驗證了模型的可靠性之后，設計了結(jié)合時間Petri網(wǎng)模型的同步乘積算法，通過依據(jù)測試人員需要測試的系統(tǒng)功能來削減時間Petri網(wǎng)模型的可達圖中無關的路徑和狀態(tài)，從而達到縮減需要遍歷的狀態(tài)空間的目的。在此基礎上設計了結(jié)合實際響應的交互過程以及測試用例獲