表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
对于嵌入式软件测试的各种不同的准则,一个适当的工具集是至关重要的。从可用性的角度来看,易用性和图形化界面是非常重要的。这方面的合理投资,加上几个案例研究的例子将有助于吸引汽车行业的从业者。