Main Content

本页翻译不是最新的。点击此处可查看最新英文版本。

验证、测试和认证

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

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

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

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

验证生成的代码:

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

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

    • 对于原子子系统等子组件,请通过使用具有 SIL/PIL 管理器的 Simulink® Test™ 工具,对从原子子系统生成的代码执行单元测试。有关详细信息,请参阅配置并运行 PIL 仿真

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

除 Embedded Coder® 外,您还可以使用其他产品进行代码验证,例如 Requirements Toolbox™Simulink Test 和 Polyspace® 产品。

类别