基于時間自動機的實時系統(tǒng)測試用例生成方法研究.pdf

1、隨著計算機相關(guān)技術(shù)的飛速發(fā)展，實時系統(tǒng)的應(yīng)用領(lǐng)域得到了極大的拓展。實時系統(tǒng)中很多動作的發(fā)生必須要滿足規(guī)定的時間約束，否則可能會導致嚴重的損失。因此，如何保證實時系統(tǒng)的正確性和安全性已被廣大研究人員所關(guān)注。軟件測試是驗證實時系統(tǒng)正確性和安全性的一種關(guān)鍵手段，其中基于模型的測試是一種常用的方法。根據(jù)實時系統(tǒng)的特點，時間自動機模型常用來對實時系統(tǒng)進行建模。
　　本研究主要內(nèi)容包括：⑴在基于區(qū)域分解的時間自動機測試用例生成方法的基礎(chǔ)上，提

2、出了一種改進的基于區(qū)域分解的時間自動機測試用例生成方法。該方法對生成的測試路徑進行預處理，將轉(zhuǎn)換發(fā)生時形成的新時間變量關(guān)系加入目標符號狀態(tài)中，以縮小符號狀態(tài)的時鐘區(qū)域，進而減少測試用例點的選取數(shù)量。同時，在選取測試用例點時遵循所有時鐘變量同步增長的規(guī)律，動態(tài)生成可執(zhí)行的測試用例，減少測試用例的生成數(shù)量。⑵改進的基于區(qū)域分解的時間自動機測試用例生成方法和原方法都是采用區(qū)域等價劃分方法來劃分時間狀態(tài)空間。針對采用區(qū)域等價劃分方法導致的測試用

3、例數(shù)目龐大問題，提出了一種基于時間抽象互模擬的時間自動機測試用例生成方法。該方法采用時間抽象互模擬來獲得模擬時間自動機的狀態(tài)空間，其與原時間自動機是模擬與互模擬的關(guān)系，但是時間自動機的狀態(tài)空間得到了極大的約簡。根據(jù)約簡后的時間自動機生成測試路徑，并將測試路徑中冗余的延遲遷移去除，最后動態(tài)生成可執(zhí)行的測試用例，進一步減少了測試用例的生成數(shù)量。⑶針對符號狀態(tài)拆分算法執(zhí)行效率不高的問題，提出了一種改進的符號狀態(tài)拆分算法。該算法在執(zhí)行拆分操作的