验证AUTOSAR C代码与SIL和公益诉讼
作为开发AUTOSAR经典的软件平台的一部分,您可以执行代码验证AUTOSAR软件组件通过使用software-in-the-loop(银)和processor-in-the-loop(公益诉讼)模拟。用银来验证您的开发计算机上生成的源代码,和公益诉讼对象代码在您的生产目标硬件验证。
通过行为和结构比较,验证代码演示了一个组件之间的等价模型及其生成的代码。您可以:
测试数值之间的等价组件模型和生成的代码通过比较正常模式模拟结果对硅或公益诉讼仿真结果。
显示没有意想不到的功能,通过比较模型覆盖率对代码覆盖或执行可追溯性分析。
配置安全完整性和公益诉讼模拟生成代码覆盖率。
生成报告,提供模型对象之间的双向可追溯性和生成的代码。
AUTOSAR模型,你跑银和公益诉讼测试通过配置模型或者模型块顶部。
AUTOSAR软件组件的单元级测试,使用顶级模特SIL或公益诉讼。您可以测试一个顶级模型配置为AUTOSAR系统目标文件(
autosar.tlc
)通过设置模拟模式Software-in-the-Loop(银)
或Processor-in-the-Loop(公益诉讼)
。单元级测试子组件的引用从AUTOSAR软件组件,使用模型块硅或公益诉讼。在模型中块的子模型,设置模拟模式银或公益诉讼和设置代码接口来
模型参考
。composition-level测试多个AUTOSAR软件组件、参考组件模型的组成、体系结构,或测试工具模型。为每个组件模型中的块测试下,集模拟模式银或公益诉讼和设置代码接口来
顶级模特
。
有关更多信息,请参见模拟与顶级模特(嵌入式编码)和仿真与模型块(嵌入式编码)。
如果你有万博1manbetx®测试™软件,您可以使用测试:
执行composition-level AUTOSAR软件组件的测试。有关更多信息,请参见AUTOSAR成分测试(万博1manbetx仿真软件测试)。
执行单元级测试AUTOSAR原子子系统的软件组件。有关更多信息,请参见单元测试子系统的代码与硅/公益诉讼的经理(嵌入式编码)。
相关的例子
- 模拟与顶级模特(嵌入式编码)
- 仿真与模型块(嵌入式编码)
- AUTOSAR成分测试(万博1manbetx仿真软件测试)
- 单元测试子系统的代码与硅/公益诉讼的经理(嵌入式编码)
更多关于
- 银和公益诉讼模拟(嵌入式编码)
- 选择银或公益诉讼的方法(嵌入式编码)