4.3商业工具分类
　　本节介绍了用于汽车行业的各种测试工具。
　　这些工具可分为四大类：基于模型的测试生成，测试建模，验证和资源分析工具。
　　每个类别说明如下。
　　
　　4.3.1基于模型的测试生成工具
　　鉴于所需系统行为的模型，这些工具由模型生成测试，在目标系统上执行测试以检查系统是否表现的与要求的一样。
　　测试是通过由模型按一定的度量“覆盖”其结构产生的。
　　大多数的由基于模型的测试生成工具所提供的覆盖度量的往往是控制流定向的，例如测试可以由覆盖模型的所有分支生成。
　　
　　4.3.2测试建模工具
　　不是由系统模型生成测试，这些工具是由一个可能针对测试系统特定区域、可用于不同情况的抽象测试模型生成测试的。
　　该工具支持不同的符号来说明这些测试模型。
　　此外，这些工具能够在目标机器上进行所生成的测试，并评估相应结果。
　　
　　4.3.3验证工具
　　有了所需系统行为的模型，这些工具可以进行形式验证，是说他们证明或否决该模型关于那些使用形式化方法的特定属性的正确性。
　　一个属性通常表现一个不良情况。一个验证技术是证明或反证是否不良情况在模型中保持不变的一种手段。当这种情况不变时，它产生一个反例证明。如果没有反例产生，这意味着该系统内没有这种情况。
　　有两种主要方法：模型检验和定理证明，被认为是汽车领域的形式验证。
　　对这些方法的文献综述超出了本文的范围，感兴趣的读者可以指向别处。
　　
　　4.3.4资源分析工具
　　工具的第三类分析非功能特性，例如时间，内存使用情况等。举例来说，当危险发生时，重要的是要了解坏执行时间（ WCET ）的防锁制动系统。此类分析在安全苛求的系统中极为重要。
　　过去，这样的分析是用一个特设的方式进行的：要么手动分析大量的系统仿真，要么通过在一些测试场景中运行该系统，观察其性能。然而，这些方法已经变得不切和实际，因为系统的尺寸和目标执行平台的设计的复杂性增加了，特别是在处理器里。
　　，专门的工具正在成为系统的验证过程用以覆盖这些方面的一个组成部分。
　　由于时间和内存特性与目标平台的结构特色一致，分析主要是对循环X测试的先进水平进行的。

表1.主要在用工具

　　1 对于目标平台，请查看：http://www.absint.com/ait/trial.htm
　　2 IBV（基于仪器的验证）[10]是一项指定属性为一个连接到模型的显示器的技术。然后，它用制导模拟来寻找侵犯知识产权。
笔者将这项技术归类为验证技术的一个变体。

　　4.4主要在用工具
　　本节提供了汽车行业精选在用工具的一份比较。这些工具是根据上面解释的术语分类的。
　　表1提供了工具信息表，包括：他们的供应商，类别，输入格式支持和循环X测试级别。大部分的输入格式是标准建模符号，可以参考相关文献了解详情。

　　5 .汽车软件测试工具/服务
供应商
　　5.1主要竞争者
　　表2按生产国顺序列出了在欧洲提供软件测试工具和/或相关服务的主要竞争者名单，还包括那些在欧洲市场占有不可忽视份额的工具。
这份名单包括公司提供的服务，主要工具，及其主要专业领域。
名单中还包括在汽车行业深受肯定的工具应用笔记。

　　5.2其他竞争者
　　有些公司擅长嵌入式软件测试，但很少接触汽车系统。尽管这份名单并不详尽，但它包含了Testing Technologies（ DE ） ， Elvior （ EE）和Conformiq （ FI ）公司 。
　　有些公司擅长于汽车软件测试，但没有紧密结合V模型（参见图1 ），没有大量应用代码级技术。其中值得注意的是LDRA （GB ） ，Prover（ SE ） ， Coverity（US） ，Wind River（US）公司 。