汽车电子诊断服务的自动验证
3 验证工具应具备的条件
一个自动诊断验证工具必须具备下述条件：
·与现有工具链无缝集成
·透明，可重复：测试工程师必须能够追踪测试并能够复现测试
·遵循GM的现有测试方法：该工具必须支持现有的测试方法；在诊断这一块，GM的诊断规范已经定义了ECU诊断服务的强制测试流程
·方便测试工程师扩展
·自动生成测试例程：为了实现该功能，规范必须能够机器可识别
4 从规范到测试执行，生成报告
如图二所示，“DiVa”建立了“CANdelaStudio”（诊断规范）与验证工具（“CANoe”）的联系。“DiVA”能够无缝集成到GME现有工具链中，根据“CANdela”的诊断规范（CDD文件），自动生成检验各诊断服务的测试例程。生成的代码是基于CANoe的编程语言“CAPL”的，所以能够在任何时候被执行。如果发现问题，测试工程师察看测试系列，找出错误所在（透明性）。另外，CANoe的纪录功能够在通信层记录诊断数据流。
使用“DiVa”，通过下述步骤来控制测试：
·选择ECU及其变量
·配置测试
·生成测试例程
·将测试模块添加到“CANoe”的测试环境中
·执行测试
·生成测试报告
用户可以在任何时候修改“DiVa”的测试约束，此外，范围参数用来配置测试内容，例如全范围测试，快速测试和正常例程测试。另外，在支持的服务中，用户可以从测试中去除部分服务，或者在数据对话窗口中修改服务的内容，如图四。
图四 DiVa配置窗口
5 测试执行与报告评估
测试例程生成后，用户将生成的测试环境加入到“CANoe”中便可进行测试。测试的时间依据诊断规范的复杂程度以及用户选择的测试范围而定，可能会从几分钟到几个小时不等，如表一所示。在GM，“CANoe”的测试环境作为一个测试自动化的共同平台，被重复用到现有的ECU测试程序中。例如，EOL编程测试也在“CANoe”上通过CAPL实现。为了让测试工程师分析起来更加容易，测试报告的结构遵循GM的诊断规范，如图五所示。
表一 Opel Insignia中，生成的ECU测试例程的数量以及测试的时间 
图五 DiVa生成的测试报告
自动测试扩展了测试覆盖度同时缩短了测试执行所需时间。下面将描述GM诊断规范所定义的测试范围以及“DiVa”测试程序的覆盖范围。“DiVa”生成的测试例程的质量与数量大部分由诊断规范（CDD文件）决定，所有产生的测试均源于此。
评论