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

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

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

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