是軟件性徹底的嵌入式系統驗證者。
通過簡單的組合可自動生成環境。
用GAIO’s ISS(Internet Security Systems)和MATLAB/Simulink®可支持協同驗證。
2)CasePlayer2
通過分析源代碼可創建程序的文檔。
增加新開發的源代碼的軟件性。
可幫助理解己存在的軟件資源。
3)CoverageMaster winAMS
是嵌入式軟件單元的自動測試工具。
用嵌入式微處理器的目標代碼來執行單元測試。
從靜態分析工具CasePlayer2產生所需的輸入測試數據。
單元測試工具在汽車電控(ECU)開發領域的銷售業績。



