应用案例：验证 AUTOSAR 架构

尽管 AUTOSAR 提供了一个关于交换系统描述文件的标准，但在数据交换中经常会遇到许多困难。不仅原始设备制造商与供应商之间交换数据是这样，不同的 AUTOSAR 工具之间交换数据也是如此。在开发过程的早期，经常不会自动检查数据是否正确。这意味着可能会交换不完整或不一致的 ARXML 文件。而这又会导致时间损失和额外工作，因为必须报告错误，消除错误源以及重复交换数据。

为了在传送数据之前提高数据的质量水平，需要手动或自动验证数据。理想情况下，是在数据交换之前很早开始验证。

数据交换示例

主机厂与供应商之间

主机厂与供应商之间交换的数据通常由系统描述文件组成。传送文件之前，必须按照特定的公司流程验证文件的完整性。不完整的数据比如数据类型或初始值缺失、总线规格中的元素缺失等。对于此类数据交换，通常只能在一定程度上详细指定数据，而且详细程度因公司而异。

除了完整性，还必须检查语义正确性。AUTOSAR 约束条件基于 AUTOSAR 方案来定义语义规则，可以用来检查语义正确性。此外，它还包含额外的语义检查，也可以部分针对特定公司。例如，语义检查可用于验证初始值是否处于相关数据类型的规定数值范围内。

架构工具与运行时环境 (RTE) 生成器之间

在两种工具之间交换数据时，情况各有不同。例如，对于会影响运行时环境的任何方面，运行时环境生成器都需要完整的数据。这意味着必须针对每种应用数据类型来定义实施数据类型、从可运行对象到变量需要详细的数据访问规格等。

对于各方之间的接口，除了完整性，语义正确性也是架构工具与 RTE 生成器之间进行数据交换时的关键因素。此时 AUTOSAR 约束条件也是查找语义错误的起点，可以通过扩展包含其他的检查内容。

自动和手动验证

对于基于 AUTOSAR 的开发，dSPACE 提供了强大的工具 SystemDesk。它拥有全面的验证功能，能够避免繁琐的反复纠正。通常验证过程应在创建数据时尽可能经常进行，这会让用户尽早检出和消除错误。

SystemDesk 含有全面的标准规则集，涵盖了大量日常使用实例。所含规则包括许多针对软件组件模板和系统模板的 AUTOSAR 约束条件以及 RTE 生成完整性检查。

用户能够轻松地直接开始验证。用户还可以只选择一部分预定义规则，以便在特定场景中使用。此外，用户可以通过 Python 脚本轻松地将其自己的规则添加到现有规则中。其作用体现在两个方面：首先，这是确保特定公司流程完整性的唯一方式。其次，它能为特定工具创建验证规则，例如需要使用特定数据的特定 RTE 生成器。

综合验证操作能够很早就可靠地检测到和消除错误。对于小规模应用场景，可以手动开始验证，让用户完全掌控每一步操作。对于涉及大量人员和文件的大型使用实例，SystemDesk 支持在每次签入时自动验证文件。

在这两种情况下，验证报告都会提供所有查出错误的信息，包括含有精确有用的错误消息的详细信息、错误描述与相关组件之间的直接关系等。

除了支持验证，SystemDesk 还十分支持导入 ARXML 文件。按照 AUTOSAR 方案创建的所有文件都会完全导入和导出。因此，SystemDesk 不会为文件的导入产生新的障碍。因此，使用 SystemDesk 验证不会额外引入瓶颈问题，不需要相应调整工具链。