表2.主要競爭者
1 AbsInt tools已經被應用于Bosch,BMW, Daimler, Honda, Mitsubishi和 Volkswagen。
2 RALT是從運行時系統觀察派生出形式模型的黑盒系統的一種逆向工程工具。RALT已被應用于車門控制系統[8]。
3 EXAM是奧迪和大眾汽車集團合作開發的,并已在內部使用[ 15 ] 。
4 TPT提供反應測試,反應測試是:當傳感器信號超過某一臨界值時,立即地反應給系統。
5 MaTeLo已被應用到奧迪,Johnson Controls,Magneti,雷諾和大眾汽車的汽車系統中。
6 SCADE已被用于商用車領域,尤其是在Liebherr公司的控制系統中[ 14 ] 。
7 Safety TestBuilder已用于測試Johnson Controls公司的 [ 12 ]輪胎壓力監測系統。
8 CertifyIt已被應用于雷諾公司的汽車系統。
9 ENEA已成為DYSCAS (動態自配置汽車系統)項目( 2006-2008年)的一員,目前已被加入AUTOSAR標準[ 5 ] 。TD- Frame用于LabVIEW測試管理框架,并與美國儀器――TestStand的測試生成及執行相掛鉤。
10 Reactis Tester還可以為了應用基于模型的測試技術,從源代碼反向設計模型。Reactis Tester/Validator已經應用到Robert Bosch[10]公司的汽車系統中。
6.3安全性和可靠性分析
安全性和可靠性是商用車關注的重點。
現行做法中并沒有用來分析可靠性的被認可的工具。對于安全性分析,一方面是進行壞執行時間和內存使用情況分析,目前正使用專門的工具,如aiT WCET Analyzers和StackAnalyzer來執行。進一步增加安全性和可靠性方法以覆蓋更多方面的潛力是很大的。
6.4工具鏈和GUI
對于嵌入式軟件測試的各種不同的準則,一個適當的工具集是至關重要的。從可用性的角度來看,易用性和圖形化界面是非常重要的。這方面的合理投資,加上幾個案例研究的例子將有助于吸引汽車行業的從業者。