嵌入式系統模型化測試的時域概率分析

Abstract

在軟體系統上設計的困難度隨著這幾年軟硬體的發展越趨困難。在現今大型軟體的開發與設計一再的顯示出軟體驗證與測試愈來愈有其必要性。軟體測試上，我們需要使用模型化的方法產生測試方法與驗證。通常因為使用者所使用的模型常常語意不清，所以我們需要明確地定義模型用以滿足使用者所期望的運行結果。在本篇論文我們利用機率分配的方法執行我們定義好的時間狀態機。當我們進入狀態機裡的某一個狀態下，我們會使用機率分配方法考慮該在什麼時間點離開這個狀態。當要離開某個狀態時候，我們再度使用機率分配方法將可選的下一個狀態再做一次機率分配圖，在離開本狀態的時後選擇要進入的下一個狀態。整個實驗過程我們著重在什麼時間點之下才能傳送測試資料執行測試。我們的測試資料最後將轉換成通訊協定測試語言的格式執行。

The Software testing needs the use of a model to guide such endeavors as test selection and test verification. Usually, these implicit models exist only in the head of a human tester. The probability distribution is our concept to run time automaton. When we enter a location, we simulate the leaving time point at one probability distribution. After deciding to leave the location, we also need to know where the next location to enter. Once again, we choose the next location by the method of probability distribution. Because we focus on the time-domain on time automaton, we care about the test case should be set on the time point. There are two types of fault. One happen in duration of time on a location, and another happen in transition. Finally, we transfer the time domain test case to TTCN3 test case.