• Description

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

PragmaDev幫助系統工程師,建築師來表達自己的圖形和可執行功能模型的需求。

開發大多數系統是無法預期的,因為對要求的理解錯誤。

凡缺陷發源於

系統的預期結構和不同元素的行為。

在PragmaDev實現建模技術,因此不僅系統的靜態組織驗證,但更重要它的整體動態。

體系結構和系統的行為

VIEWS

系統連接創建複雜的實質性級設備的眾多數量。

以功能明確界定了每個子系統應該從靜態和查看動態一點上做。

模糊甚至沒有對錯安全關鍵系統的選項。
定義系統的邏輯和物理體系結構、定義架構的不同代理商之間的靜態介面描述每個代理的動態行為。

TRACEABILITY

PragmaDev Studio可以導入需求的文件。

建模者可以從需求保持跟踪到模型和測試會自動分析該模型的一部分

因此,影響分析很簡單,也可以知道哪些如果要求修改測試案例運行。

VERIFICATION

功能強大的內置模擬器與圖形化用戶界面工具組合允許非專家來驗證模型。

將所得動態要求或變成確認試驗的情況下將要在執行運行。

TESTING

Standard testing設計與PragmaDev指定機型可與測試用例設計與PragmaDev測試儀進行測試。

這使得在功能模型自動非回歸測試,可以加速開發流程。

Model based testing
可自動生成測試案例出來的模型,並驗證實現、符合模型。


DOCUMENTATION
歸檔是建模的一個重要方面。系統可生成OpenDocument的多種文檔格式,SGML與眾多格式選項。

自動生成文檔