汽车中的软件测试 （二）

4.3商业 工具 分类
　　本节介绍了用于汽车 行业 的各种 测试 工具。
　　这些工具可分为四大类：基于模型的测试生成，测试建模，验证和 资源 分析工具。
　　每个类别说明如下。
　　
　　4.3.1基于模型的测试生成工具
　　鉴于所需系统行为的模型，这些工具由模型生成测试，在目标系统上执行测试以检查系统是否表现的与要求的一样。
　　测试是通过由模型按一定的度量“覆盖”其结构产生的。
　　大多数的由基于模型的测试生成工具所提供的覆盖度量的往往是控制流定向的，例如测试可以由覆盖模型的所有分支生成。
　　
　　4.3.2测试建模工具
　　不是由系统模型生成测试，这些工具是由一个可能针对测试系统特定区域、可用于不同情况的抽象测试模型生成测试的。
　　该工具支持不同的符号来说明这些测试模型。
　　此外，这些工具能够在目标机器上进行所生成的测试，并评估相应结果。
　　
　　4.3.3验证工具
　　有了所需系统行为的模型，这些工具就可以进行形式验证，就是说他们证明或否决该模型关于那些使用形式化方法的特定属性的正确性。