主要内容

用SIL和PIL验证AUTOSAR C代码

作为为经典平台开发AUTOSAR软件的一部分,您可以通过使用软件在环(SIL)和处理器在环(PIL)模拟对AUTOSAR软件组件进行代码验证。使用SIL在开发计算机上验证生成的源代码,使用PIL在生产目标硬件上验证目标代码。

通过行为和结构比较,代码验证演示了组件模型及其生成代码之间的等价性。您可以:

  • 通过将正常模式仿真结果与SIL或PIL仿真结果进行比较,测试组件模型和生成代码之间的数值等价性。

  • 通过比较模型覆盖与代码覆盖或执行可跟踪性分析来显示未预期功能的缺失。

    • 配置SIL和PIL模拟以生成代码覆盖率指标。

    • 生成在模型对象和生成的代码之间提供双向可跟踪性的报告。

使用AUTOSAR模型,您可以通过配置顶级模型或模型块来运行SIL和PIL测试。

  • 对于AUTOSAR软件组件的单元级测试,使用顶级模型SIL或PIL。您可以测试为AUTOSAR系统目标文件(autosar.tlc),将模拟模式设置为Software-in-the-Loop(银)Processor-in-the-Loop(公益诉讼)

  • 对于从AUTOSAR软件组件引用的子组件的单元级测试,使用模型块SIL或PIL。在子模型的Model块中,设置模拟模式至SIL或PIL并设置代码接口模型参考

  • 对于多个AUTOSAR软件组件的组合级测试,请在组合、体系结构或测试工具模型中引用组件模型。在被测试的每个组件的Model块中,设置模拟模式至SIL或PIL并设置代码接口顶级模特

有关更多信息,请参见用顶层模型进行仿真(嵌入式编码)而且用模型块进行仿真(嵌入式编码)

如果你有动态仿真模块®测试™软件,你可以使用测试工具:

相关的例子

更多关于

Baidu
map