polyspacesetup

将 Polyspace 安装与 Simulink 集成

全页折叠

语法

polyspacesetup('install')
polyspacesetup('install', 'polyspacefolder', folder)
polyspacesetup('install', 'polyspacefolder', folder, 'silent', isSilent)
polyspacesetup('uninstall')
polyspacesetup('showpolyspacefolders')

说明

polyspacesetup 将 Polyspace® 与 MATLAB® 和 Simulink® 集成。可以选择集成安装在非默认文件夹中的 Polyspace 并以静默方式执行集成。此函数还会删除 Polyspace 与 MATLAB 或 Simulink 之间的集成。

polyspacesetup('install') 用于将默认安装文件夹中的 Polyspace 与 MATLAB 或 Simulink 集成。如果您将 Polyspace 安装到了非默认文件夹中，则该函数会提示您指定安装文件夹。请参阅安装文件夹。

若要运行 MATLAB 脚本进行 Polyspace 分析，请将 MATLAB 和 Polyspace 安装在不同的文件夹中，然后使用此函数将它们相集成。请参阅将 Polyspace 与 MATLAB 和 Simulink 集成或将 Polyspace Server 产品与 MATLAB 集成。

示例

polyspacesetup('install', 'polyspacefolder', folder) 用于将安装在文件夹 folder 中的 Polyspace 与 MATLAB 或 Simulink 集成。

示例

polyspacesetup('install', 'polyspacefolder', folder, 'silent', isSilent) 用于将安装在文件夹 folder 中的 Polyspace 与 MATLAB 或 Simulink 集成。当 isSilent 为 true 时将以静默方式集成；当 isSilent 为 false 时会发出提示。当您使用 -batch 选项启动 MATLAB 时，isSilent 默认设置为 true。如果您使用某个非默认文件夹来安装 Polyspace 并且随后未在 folder 中指定该文件夹，则系统会提示您指定安装位置，即使您使用 -batch 启动 MATLAB 也是如此。

示例

polyspacesetup('uninstall') 用于从 MATLAB 取消链接当前链接的 Polyspace 安装。

polyspacesetup('showpolyspacefolders') 用于列出链接到 MATLAB 的当前安装的所有 Polyspace 文件夹。

示例

全部折叠

要将 Polyspace 与 MATLAB 或 Simulink 集成，请使用函数 polyspacesetup。

使用管理员特权或根特权打开 MATLAB。

在 MATLAB 命令提示符下，输入以下命令：

polyspacesetup('install');
如果您将 Polyspace 安装在默认文件夹 C:\Program Files\Polyspace\R2025b 中，该命令会将 Polyspace 与 MATLAB 集成。系统可能会提示您，工作区将被清除，并且所有打开的模型将关闭。点击是。此过程可能需要几分钟的时间才能完成。当您使用 -batch 选项启动 MATLAB 时，安装会在不发出任何提示的情况下完成。

如果在默认位置未检测到 Polyspace 安装，系统会提示您输入安装位置。使用以下命令：

polyspacesetup('install', 'polyspaceFolder', Folder)
其中，Folder 是 Polyspace 的安装文件夹。

重新启动 MATLAB。

要在命令行中以非交互方式将 Polyspace 与 MATLAB 集成，请使用启动选项 -batch 启动 MATLAB。请参阅常用启动选项。

当您使用启动选项 -batch 启动 MATLAB 时，polyspacesetup 默认处于静默状态。也就是说，除非出现输入错误，否则该函数不会发出任何消息。

  1. 使用管理员特权或根特权打开 Windows 命令行提示符。

  2. 要确保集成以非交互方式进行，请指定 Polyspace 的安装文件夹。在命令提示符下，输入以下命令：

    matlab -batch "polyspacesetup('install','polyspaceFolder',folder)"
    其中，folder 是 Polyspace 的安装位置。

  3. 如果集成成功，则会显示以下消息：

    Polyspace plug-in: installation complete.
Restart MATLAB before using Polyspace plug-in.

    您也可以在脚本中输入该命令。例如，您可能有一个脚本，用于执行 MATLAB 和 Polyspace 的安装。将前面的命令追加到您的脚本中，以非交互方式集成 MATLAB 和 Polyspace。

要以静默方式将 Polyspace 与 MATLAB 或 Simulink 集成，请使用函数 polyspacesetup。默认情况下，Polyspace 安装在 C:\Program Files\Polyspace\R2025b 文件夹中。

使用管理员特权或根特权打开 MATLAB。

在 MATLAB 命令提示符下，输入以下命令：

polyspacesetup('install', 'polyspaceFolder', Folder, 'silent', true);
其中，Folder 是 Polyspace 的安装文件夹。此过程可能需要几分钟的时间才能完成。

重新启动 MATLAB。

输入参数

全部折叠

Polyspace 安装文件夹的路径，指定为字符向量。

示例: 'C:\Program Files\Polyspace\R2025b'

数据类型: char

是否以静默方式执行集成（不提示用户进行输入），指定为 true 或 false。当您使用 -batch 选项启动 MATLAB 时，此参量默认设置为 true。

数据类型: logical

版本历史记录

在 R2019a 中推出

另请参阅

主题