• Description

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

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

TTCN-3視頻介紹 

TTCN-3 logo

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

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

Viewlet snapshot

A simple TTCN example flash demonstration 

SAMPLE TEST SUITE

TTCN sample code

A TTCN-3 example test suite

測試結果顯示在調試器視窗和公用執行追踪視窗中。

Test verdict

Test verdict in an execution trace

EASY IMPLEMENTATION

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

TTCN code generator integration on target

Easy integration on target

MODEL BASED TESTING

由於PragmaList實驗室PragmaDev與法國國家研究中心CEA列表建立合作關係

PragmaDev Studio提供了一個具有以下標準的模型自動生成測試案例:
覆蓋範圍:生成將涵蓋模型中所有轉換的最小數量的測試案例。
過渡:產生一個覆蓋特定SDL轉換的測試案例。
屬性:生成滿足靜態屬性(進程狀態,變量值,...)的測試案例。
觀察者:生成驗證動態屬性(連續的動作或時間規則)的測試案例。

CONTINUOUS INTEGRATION

TTCN-3測試套件可用於測試模型或其在目標上的實現。

可以對模型的全部或部分進行自動測試或其實現。 TTCN-3可用於單元、整合、驗證測試。

Continuous integration

MODEL DRIVEN TESTING

可以自動生成測試案例:
要求
執行痕跡
透過第三方模型檢查技術、檢查可執行模型。
下面的在線演示將顯示如何根據需求生成測試案例:

MSC2TTCN Flash demo

MODEL COVERAGE

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

您可以看到轉換已被觸發多少次,達到狀態的次數以及執行符號的次數。

TTCN code generator integration on target