主要内容
确认
显示模型和生成的代码之间的等价
代码验证显示生成的代码正确实现了模型，不包含意外的功能。通过行为和结构比较，代码验证演示了模型和生成的对象代码之间的等效。
通过将模拟结果与目标IDE中的生成代码的执行进行比较来测试模型（组件）与生成代码之间的数值等效。
通过进行可追溯性分析，证明没有意外的功能。生成在模型对象和生成的代码之间提供双向可追溯性的报告。
特色例子
您还可以从以下列表中选择一个网站：
