验证、测试和认证
调节参数、分析代码性能、测试数值等效性,以及执行代码覆盖率和可追溯性分析
对于系统开发,请使用 V 模型持续验证方法。
要构建子组件的快速原型,请运行实时外部模式仿真,以便在目标应用程序中监控信号和调节模型参数。
使用代码执行探查来确定生成的代码是否满足目标硬件的实时要求,并确定需要提高性能的代码节。
验证生成的代码:
通过测试模型和生成代码之间的数值等效性来正确实现模型:
对于系统、组件和子组件(如引用模型),请使用 SIL/PIL 管理器顶层模型、Model 模块或测试框架工作流。
对于原子子系统等子组件,请通过使用具有 SIL/PIL 管理器的 Simulink® Test™ 工具,对从原子子系统生成的代码执行单元测试。有关详细信息,请参阅配置并运行 PIL 仿真。
通过将模型覆盖率与代码覆盖率进行比较或执行可追溯性分析,不包含不需要的功能。配置 SIL 和 PIL 仿真以生成代码覆盖率度量。生成针对模型对象和生成的代码之间的双向可追溯性报告。
除 Embedded Coder® 外,您还可以使用其他产品进行代码验证,例如 Requirements Toolbox™、Simulink Test 和 Polyspace® 产品。
类别
- 快速原型构建和实时仿真
使用外部模式仿真进行快速原型构建
- 代码执行探查
查看和分析代码节的执行配置文件
- 软件在环仿真
在开发计算机上测试生成的代码
- 处理器在环仿真
在目标处理器或仿真器上测试生成的代码
- 以编程方式进行代码生成验证
通过代码生成验证编程接口来测试数值等效性
- 目标环境验证
手动验证生成的代码
- 代码覆盖率
在 SIL 或 PIL 仿真期间为生成的代码收集度量
- 代码分析和追溯
通过使用报告、可追溯性和 Polyspace 静态代码分析产品来手动验证生成的代码和分析关键路径
- 工具鉴定与认证
鉴定 Embedded Coder 是否符合 IEC 认证