• Description

應用:【電信】【軍事、航空】【物聯網】 【系統工程

PragmaDev Tester支援TCN-3國際標準語言,包括語法和語義驗證,模擬,代碼產生,調試和圖形追蹤

TTCN-3視頻介紹 

模型可針對相關的測試套件進行模擬、測試模型實際運作。

痕跡和斷點可以在模型中或測試套件內進行設置,並且雙向可用,因為錯誤可能在模型或測試套件中。

案例測試套件

測試判定顯示在調試器窗口和圖形執行追蹤視窗中

TTCN-3案例測試套件

在執行軌跡中測試判定

輕鬆實現

生成的代碼架構使得目標的整合變得簡單而直接。

用於發送測試用例的消息,消息隊列鏈接列表用於傳入消息。

基於模型的測試
由於PragmaList常見實驗室PragmaDev已經與法國國家核研究中心CEA列表建立了關係,PragmaDev Studio提供了從模型中自動生成測試用例的過程,其標準如下:
▲覆蓋率:生成覆蓋模型中所有轉換的最小數量的測試用例。
▲轉換:生成一個將覆蓋特定SDL轉換的測試用例。
▲屬性:生成滿足靜態屬性(進程狀態,變量值,...)的測試用例。
▲觀察者:生成驗證動態屬性的測試用例(動作的繼承或時間規則)。

動態屬性被定義為一個名為observer的狀態機。

持續整合

TTCN-3測試套件可用於測試目標模型或其實現、自動化測試可以在整個或部分模型或其實現上執行。

TTCN-3可用於單元測試,集成測試,驗證測試。

模型驅動的測試

測試用例可以自動生成出來:

▲要求,
▲執行痕跡,
▲該系統的可執行模型通過我們的第三方模型檢測技術。

下面的在線演示將展示如何生成不符合要求的測試用例:

持續整合

TTCN-3自動生成出MSC

模型覆蓋

在測試期間的任何時候,都可以在任何架構級別上以圖形方式查看模型覆蓋率。

您可以看到已經發生了多少次轉換,一個狀態達到了多少次,以及一個符號被執行了多少次。

PragmaDev測試器是PragmaDev Studio的一部分。