将 Polyspace 与 MATLAB 和 Simulink 集成

Polyspace^® Bug Finder™ 和 Polyspace Code Prover™ 是两个独立的产品。使用 MathWorks^® 安装程序安装这些 Polyspace 产品。请参阅安装 Polyspace 和其他 MathWorks 产品。

Polyspace 产品安装在与其他 MathWorks 产品不同的根文件夹中。例如，在 Windows^® 中：

要从 MATLAB、Simulink^® 或 MATLAB Coder™ 运行 Polyspace，请执行安装后过程以将 Polyspace 与 MATLAB 和 Simulink 集成。

集成过程和支持的 MATLAB 版本可能与以前的 Polyspace 版本不同。如果您使用的是旧版本的 Polyspace，请查看与您的版本对应的文档。

如果 Polyspace 和 MATLAB 的版本相同，则在集成 Polyspace 和 MATLAB 后，您可以执行以下操作：

在 Simulink 编辑器中，对从模型生成的或作为自定义代码包含在模型中的 C/C++ 代码运行 Polyspace 分析。也可以使用 MATLAB 脚本运行这些分析。请参阅Simulink 中进行 Bug Finder 分析。
如果您有 Embedded Coder^®，请对使用 MATLAB Coder 基于 MATLAB 代码生成的 C/C++ 代码运行 Polyspace 分析。请参阅 MATLABCoder 中的 Bug Finder 分析。
使用 MATLAB 脚本对手写的 C/C++ 代码运行 Polyspace 分析。请参阅使用 MATLAB 脚本进行 Bug Finder 分析。

在将相同版本的 Polyspace 与 MATLAB 或 Simulink 集成之前，请确定您的 MATLAB 或 Simulink 是否已经与 Polyspace 集成。请参阅检查 MATLAB 与 Polyspace 之间的集成。

使用管理员特权或根特权打开 MATLAB。例如，在 Windows 中，要以管理员特权打开 MATLAB，请右键点击 MATLAB 可执行文件并选择以管理员身份运行。
在 MATLAB 命令提示符下，输入以下命令：
```
polyspacesetup('install');
```
如果您将 Polyspace 安装在默认文件夹 C:\Program Files\Polyspace\R2025a 中，该命令会将 Polyspace 与 MATLAB 集成。如果在默认位置未检测到 Polyspace 安装，系统会提示您输入安装位置。或者，使用以下命令：
```
polyspacesetup('install','polyspaceFolder',Folder)
```
其中，Folder 是 Polyspace 的安装文件夹。如果系统提示您将清除工作区并关闭所有打开的模型，请点击是。此过程可能需要几分钟的时间才能完成。要避免出现交互式提示，请输入以下命令：
```
polyspacesetup('install', 'polyspaceFolder', Folder, 'silent', true);
```
重新启动 MATLAB。

您只能将 MATLAB 与 Polyspace 的一个实例集成。要与 Polyspace 的其他实例集成，请卸载当前集成。在 MATLAB 命令提示符下，输入以下命令：

polyspacesetup('uninstall')

此步骤仅卸载 MATLAB 与 Polyspace 之间的集成。要卸载 Polyspace 的实例，请使用 MathWorks 安装程序。

您还可以将 Polyspace 与较早版本的 MATLAB 或 Simulink 集成。与同版本集成相比，这种跨版本集成提供的功能有限。在跨版本工作流中：

要执行跨版本集成，必须满足以下条件：

MATLAB 或 Simulink 版本支持与 Polyspace 版本的跨版本集成。请参阅Polyspace 对不同 MATLAB 和 Simulink 版本的支持。
MATLAB 或 Simulink 尚未与 Polyspace 集成。要确定是否已集成 Polyspace，请参阅检查 MATLAB 与 Polyspace 之间的集成。

除了使用命令行提示符之外，您还可以使用脚本来执行集成。请参阅在命令行中使用 -batch 以非交互方式将 Polyspace 与 MATLAB 集成。

您只能将 MATLAB 与 Polyspace 的一个实例集成。要与 Polyspace 的其他实例集成，请卸载当前集成。在 MATLAB 命令提示符下，输入以下命令：

polyspacesetup('uninstall')

此步骤仅卸载 MATLAB 与 Polyspace 之间的集成。要卸载 Polyspace 的实例，请使用 MathWorks 安装程序。

要确定 MATLAB 是否已链接到 Polyspace，请打开 MATLAB 并输入以下命令：

ver

如果 Polyspace 已与 MATLAB 集成，您会在已安装产品列表中看到 Polyspace 产品。

MATLAB 与 Polyspace 的集成会将 Polyspace 安装子文件夹添加到 MATLAB 搜索路径中。要查看添加的路径，请输入以下命令：

polyspacesetup('showpolyspacefolders')

另请参阅