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



