验证、测试和认证
调优参数,分析代码性能,测试数值等价性,并执行代码覆盖和可跟踪性分析
对于系统开发,请使用v模型持续的验证方法。
为了子组件的快速原型,运行实时的外部模式模拟,使您能够在目标应用程序中监视信号和调优模型参数。
使用代码执行分析来确定生成的代码是否满足目标硬件的实时需求,并确定需要性能改进的代码部分。
验证生成的代码:
通过测试模型和生成的代码之间的数值等价性来正确实现模型:
对于系统、组件和子组件,如参考模型,使用SIL/PIL Manager顶层模型,模型阻塞或测试工作流程。
对于像原子子系统这样的子组件,对从原子子系统生成的代码执行单元测试动态仿真模块®测试™与SIL/PIL经理沟通。有关更多信息,请参见配置并运行PIL模拟.
通过比较模型覆盖与代码覆盖或执行可追溯性分析,不包含无意的功能。配置SIL和PIL模拟以生成代码覆盖率指标。生成在模型对象和生成的代码之间提供双向可跟踪性的报告。
除了嵌入式编码器®,您可以使用其他产品进行代码验证,例如,2022世界杯八强谁会赢?要求工具箱™,仿真软件测试, Polyspace®2022世界杯八强谁会赢?产品。
类别
- 快速原型和实时仿真
使用外部模式模拟快速原型 - 代码执行分析
查看和分析代码段的执行配置文件 - Software-in-the-Loop模拟
在开发计算机上测试生成的代码 - Processor-in-the-Loop模拟
在目标处理器或模拟器上测试生成的代码 - 程序代码生成验证
用代码生成验证编程接口测试数值等价性 - 目标环境的验证
手动验证生成的代码 - 代码覆盖率
收集SIL或PIL模拟期间生成的代码的度量 - 代码分析与跟踪
通过使用报告、可跟踪性和Polyspace静态代码分析产品手动验证生成的代码2022世界杯八强谁会赢? - 工具资质和认证
使Embedded Coder获得IEC认证