对通过 embedded coder 生成的代码运行 polyspace 分析 -凯发k8网页登录

配置代码生成并生成代码

要配置代码生成并从某个模型生成代码，请执行以下操作之一：

配置代码分析

在 apps 选项卡上，选择 polyspace code verifier。在 polyspace 选项卡上：

分析代码

要分析从模型生成的代码，请点击画布上的任意位置。analyze code from 字段显示模型名称。选择 run analysis。

使用 embedded coder 时，polyspace 会在您点击 run analysis 时检查生成的代码。如果不存在生成的代码，或者模型自上次执行 polyspace 分析以来已发生更改，则 polyspace 首先会启动代码生成过程，然后再开始进行分析。

如果另一个模型中引用了当前模型，并且您希望在引用该模型的上下文中验证生成的代码，请使用 code generated as model reference 而非 code generated as top model。在后一种情况下，如果不存在生成的代码，则 polyspace 不会自动启动代码生成。分析 code generated as model reference 时，请在运行 polyspace 分析前生成代码。

您可以在 matlab 命令窗口中跟踪分析进度。

结果将自动打开，除非被显式禁用。默认情况下，结果将保存在当前文件夹的 results_modelname 文件夹中。每次新运行时都会覆盖以前的结果。您可以更改默认文件夹或将结果保存到 simulink 工程。要进行这些更改，请在 polyspace 选项卡上选择 settings。

如果您已关闭结果并要在稍后打开它们，请在 polyspace 选项卡上选择 analysis results。要打开上次运行之前的结果，请选择 open earlier results 并导航到包含之前结果的文件夹。

在代码中审查结果

结果显示在 polyspace 用户界面的 results list 窗格中。点击每个结果即可在 source 窗格中查看源代码，并在 result details 窗格中查看详细信息。另请参阅：

从代码导航到模型

代码注释中的链接会显示生成后续代码行的模块。要查看模型中的模块，请点击链接中的模块名称。如果遇到问题，请参阅。

另外，您也可以右键点击变量名称并选择 go to model。此选项并非适用于所有变量。只有部分源代码变量可以直接追溯到 simulink 模块。go to model 选项适用于此类变量。有关生成的代码中哪些变量可以追溯到 simulink 模块的更多详细信息，请参阅 (embedded coder)。

修复问题

调查代码中的问题是否与模型中的设计缺陷相关。

模型中的设计缺陷可能会导致生成的代码出现问题。例如：

如果您在 s-function 模块中包含手写的 c/c 代码，则 polyspace 分析可以显示手写代码与生成的代码之间可能存在的集成问题。您还可以单独分析手写代码。请参阅。