代码验证是一个工作流的一部分,正确显示生成的代码实现了一个模型,不包含意想不到的功能。通过行为和结构比较,验证代码演示了之间的等效模型和生成的目标代码。

测试数值之间的等价模型(组件)和生成的代码通过比较正常模式模拟结果对software-in-the-loop (SIL)或processor-in-the-loop(公益诉讼)仿真结果。

显示没有意想不到的功能,通过比较模型覆盖率对代码覆盖或执行可追溯性分析。配置安全完整性和公益诉讼模拟生成代码覆盖率。生成报告,提供模型对象之间的双向可追溯性和生成的代码。

除了嵌入式编码器^®,您可以使用其他产品代码验证。下载188bet金宝搏例如,金宝app^®要求™,金宝app仿真软件测试™,Polyspace^®下载188bet金宝搏产品。