代码验证是工作流的一部分，它表明生成的代码正确地实现了模型，并且不包含意外的功能。通过行为和结构比较，代码验证证明了模型和生成的目标代码之间的等价性。

通过将正常模式模拟结果与软件在环（SIL）或处理器在环（PIL）模拟结果进行比较，测试模型（组件）和生成代码之间的数值等效性。

通过将模型覆盖率与代码覆盖率进行比较或执行可跟踪性分析，显示没有意外功能。配置SIL和PIL模拟以生成代码覆盖率度量。生成在模型对象和生成的代码之间提供双向可跟踪性的报告。

除了嵌入式编码器^®，您可以使用其他产品进行代码验证。例如下载188bet金宝搏金宝app^®要求™,金宝app模拟试验™，和多空间^®下载188bet金宝搏产品。