基於模型的測試
由於PragmaList常見實驗室PragmaDev已經與法國國家核研究中心CEA列表建立了關係,PragmaDev Studio提供了從模型中自動生成測試用例的過程,其標準如下:
▲覆蓋率:生成覆蓋模型中所有轉換的最小數量的測試用例。
▲轉換:生成一個將覆蓋特定SDL轉換的測試用例。
▲屬性:生成滿足靜態屬性(進程狀態,變量值,...)的測試用例。
▲觀察者:生成驗證動態屬性的測試用例(動作的繼承或時間規則)。
動態屬性被定義為一個名為observer的狀態機。
持續整合
TTCN-3測試套件可用於測試目標模型或其實現、自動化測試可以在整個或部分模型或其實現上執行。
TTCN-3可用於單元測試,集成測試,驗證測試。
模型驅動的測試
測試用例可以自動生成出來:
▲要求,
▲執行痕跡,
▲該系統的可執行模型通過我們的第三方模型檢測技術。
下面的在線演示將展示如何生成不符合要求的測試用例: