Main Content

代码分析和追溯

通过使用报告、可追溯性和 Polyspace® 静态代码分析产品来手动验证生成的代码

生成代码后,请通过分析代码指标、接口、替换和代码生成假设,确保代码满足您的要求。代码生成报告会提供有关生成代码的这些方面的信息。您可以评估代码并修改模型,以生成满足您要求的代码。

要验证生成的代码,请使用代码追溯在代码行及其对应的模型元素之间导航。您可以从代码中的超链接追溯到模型元素,也可以从模型元素追溯到代码行。您还可以包含从生成的代码到模型元素要求的链接。

函数

rtwtraceTrace a block to generated code in code generation report

主题

代码分析

代码追溯