Main Content

本页的翻译已过时。点击此处可查看最新英文版本。

验证

证明模型与生成的代码之间的等效性

代码验证是整个工作流的一部分,用于证明生成的代码能够正确实现模型且不包含不需要的功能。代码验证通过对行为和结构进行比较,反映出模型与生成的目标代码之间是否存在等效性。

通过将 Normal 模式仿真结果与软件在环 (SIL) 或处理器在环 (PIL) 仿真结果进行比较,测试模型(组件)和生成的代码之间是否存在数值等效性。

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

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

特色示例