主要内容

验证

显示模型和生成的代码之间的等价性

代码验证表明所生成的代码正确地实现了模型，并且不包含未预期的功能。通过行为和结构的比较，代码验证证明了模型和生成的目标代码之间的等价性。

通过比较模拟结果与在目标IDE中执行生成代码的结果，测试模型(组件)和生成代码之间的数值等价性。

通过执行可追溯性分析来证明没有意想不到的功能。生成在模型对象和生成的代码之间提供双向可跟踪性的报告。

类别