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