main content

验证、测试和认证 -凯发k8网页登录

调节参数、分析代码性能、测试数值等效性,以及执行代码覆盖率和可追溯性分析

对于系统开发,请使用 持续验证方法。

要构建子组件的快速原型,请运行实时外部模式仿真,以便在目标应用程序中监控信号和调节模型参数。

使用代码执行探查来确定生成的代码是否满足目标硬件的实时要求,并确定需要提高性能的代码节。

验证生成的代码:

  • 通过测试模型和生成代码之间的数值等效性来正确实现模型:

    • 对于系统、组件和子组件(如引用模型),请使用 sil/pil 管理器顶层模型、model 模块或测试框架工作流。

    • 对于原子子系统等子组件,请通过使用具有 sil/pil 管理器的 simulink® test™ 工具,对从原子子系统生成的代码执行单元测试。有关详细信息,请参阅。

  • 通过将模型覆盖率与代码覆盖率进行比较或执行可追溯性分析,不包含不需要的功能。配置 sil 和 pil 仿真以生成代码覆盖率度量。生成针对模型对象和生成的代码之间的双向可追溯性报告。

除 embedded coder® 外,您还可以使用其他产品进行代码验证,例如 requirements toolbox™simulink test 和 polyspace® 产品。

类别


  • 使用外部模式仿真进行快速原型构建

  • 查看和分析代码节的执行配置文件

  • 在开发计算机上测试生成的代码

  • 在目标处理器或仿真器上测试生成的代码

  • 通过代码生成验证编程接口来测试数值等效性

  • 手动验证生成的代码

  • 在 sil 或 pil 仿真期间为生成的代码收集度量

  • 通过使用报告、可追溯性和 polyspace 静态代码分析产品来手动验证生成的代码

  • 鉴定 embedded coder 是否符合 iec 认证
网站地图