本页翻译不是最新的。点击此处可查看最新英文版本。

使用 SIL 和 PIL 验证 AUTOSAR 代码

在开发 AUTOSAR 软件过程中，您可以使用软件在环 (SIL) 和处理器在环 (PIL) 仿真执行 AUTOSAR 软件组件的代码验证。使用 SIL 在开发计算机上验证生成的源代码，使用 PIL 在生产目标硬件上验证目标代码。

代码验证通过对行为和结构进行比较，反映出组件模型与其生成的代码之间是否存在等效性。您可以：

  • 通过将普通模式仿真结果与 SIL 或 PIL 仿真结果进行比较，测试组件模型与生成代码之间是否存在数值等效性。

  • 通过将模型覆盖率与代码覆盖率进行比较或执行可追溯性分析，证明不存在不需要的功能。

    • 配置 SIL 和 PIL 仿真以生成代码覆盖率度量。

    • 生成针对模型对象和生成的代码之间的双向可追溯性报告。

对于 AUTOSAR 模型，您可以通过配置顶层模型或 Model 模块来运行 SIL 和 PIL 测试。

  • 对于 AUTOSAR 软件组件的单元级测试，请使用顶层模型 SIL 或 PIL。您可以通过将仿真模式设置为软件在环 (SIL) 或处理器在环 (PIL) 来测试为 AUTOSAR 系统目标文件 (autosar.tlc) 配置的顶层模型。

  • 对于从为 AUTOSAR 系统目标文件 (autosar.tlc) 配置的 AUTOSAR 软件组件引用的子组件的单元级测试，请使用 Model 模块 SIL 或 PIL。在子模型的 Model 模块中，将仿真模式设置为 SIL 或 PIL，并将代码接口设置为模型引用。

  • 对于从为 AUTOSAR Adaptive 系统目标文件 (autosar_adaptive.tlc) 配置的 AUTOSAR 软件组件引用的子组件的单元级测试，请使用 Model 模块 SIL。在子模型的 Model 模块中，将仿真模式设置为 SIL，并将代码接口设置为模型引用。

    注意

    对于从为 AUTOSAR Adaptive 系统目标文件 (autosar_adaptive.tlc) 配置的 AUTOSAR 软件组件引用的组件和子组件，不支持 Model 模块 PIL。

  • 对于多个 AUTOSAR 软件组件的组合级测试，请在组合、架构或测试框架模型中引用组件模型。在每个在测组件的 Model 模块中，将仿真模式设置为 SIL 或 PIL，并将代码接口设置为顶层模型。

有关详细信息，请参阅使用顶层模型进行仿真 (Embedded Coder)和 使用 Model 模块进行仿真 (Embedded Coder)。

如果您有 Simulink® Test™ 软件，您可以使用测试框架来实现以下目的：

另请参阅

主题