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