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