从 Polyspace 用户界面生成 MATLAB 脚本

您可以在 Polyspace® 平台用户界面中指定分析选项，随后生成 MATLAB® 脚本，以便轻松重用这些选项。

该用户界面提供工具提示、函数名称自动补全、快捷帮助以及其他功能，帮助您选择合适的选项。选项指定完毕后，您可以生成 MATLAB 脚本。在以后的分析中，您可以修改并运行此脚本，而无需重新打开 Polyspace 用户界面。

前提条件

在从 MATLAB 中运行 Polyspace 之前，必须将已安装的 Polyspace 与 MATLAB 相关联。请参阅将 Polyspace 与 MATLAB 和 Simulink 集成。

示例文件

此示例使用 Polyspace 安装附带的演示工程。在 Polyspace 平台用户界面中检查该工程：

  1. 要打开该工程，请在工具条上选择帮助 > 示例 > 证明不存在 C 运行时错误。

  2. 打开工程配置并记下其中的一些选项，以便后续与生成的 MATLAB 脚本进行比较。例如，记下编译工具链(静态分析) 选项设置为 gnu13.x。

    A snapshot of a Polyspace configuration showing the Target & Compiler section.

从 Polyspace 工程创建脚本

要从示例工程生成 MATLAB 脚本，请执行以下操作：

  1. 打开 MATLAB。

  2. 从示例 Polyspace 工程创建一个 polyspace.Options 对象。

    projectFile = fullfile(polyspaceroot, 'polyspace', 'examples', 'cxx', ...
         'Code_Prover_Example', 'Code_Prover_Example.psprj');
opts = polyspace.loadProject(projectFile);

    您无法对通过使用 polyspace-configure 从编译命令创建的工程文件使用 loadProject 方法。

  3. 将该对象追加到 MATLAB 脚本。

    filePath = opts.toScript('runPolyspace.m','append');

    打开脚本 runPolyspace.m，查找您之前在用户界面中记下的选项值。例如，您会看到用于静态分析的编译工具链：

    opts.TargetCompiler.Compiler='gnu13.x';

    之后，您可以运行该脚本以重新创建 polyspace.Options 对象并在 MATLAB 中继续分析。

    run(filePath);
    有关使用 polyspace.Options 对象在 MATLAB 中运行分析的详细信息，请参阅 polyspace.Options。

另请参阅

主题