确认
显示模型和生成代码之间的等效性
代码验证表明，生成的代码正确实现了模型，并且不包含意外功能。通过行为和结构比较，代码验证证明了模型和生成对象代码之间的等效性。
通过将仿真结果与目标IDE中生成的代码执行的结果进行比较，测试模型（组件）和生成代码之间的数值等效性。
通过进行可追溯性分析来证明没有意外功能。生成报告，可在模型对象和生成的代码之间提供双向可追溯性。
特色示例
您还可以从以下列表中选择一个网站：
美洲
- AméricaLatina（Español）
- 加拿大（英语）
- 美国（英语）