验证
显示模型和生成代码之间的等价性
代码验证是工作流的一部分，它显示生成的代码正确地实现了一个模型，并且没有包含意想不到的功能。通过行为和结构的比较，代码验证证明了模型和生成的目标代码之间的等价性。
通过比较正常模式仿真结果与软件在环(SIL)或处理器在环(PIL)仿真结果，测试模型(组件)和生成代码之间的数值等效性。
通过比较模型覆盖率和代码覆盖率，或者执行可跟踪性分析，来显示未预期功能的缺失。配置SIL和PIL模拟以生成代码覆盖度量。生成报告，在模型对象和生成的代码之间提供双向跟踪。
经常查看主题
特色的例子
这个话题有用吗?
你也可以从以下列表中选择一个网站:
