更新 Polyspace 产品

本主题介绍了如何在桌面端或服务器端计算机上更新用于静态分析（Bug Finder 和 Code Prover）和动态测试 (Polyspace® Test™) 的 Polyspace 产品。要更新 Polyspace Access™，请参阅Install Update or Upgrade to New Version of Polyspace Access (Polyspace Access)。

按照这些步骤为以下 Polyspace 产品安装最新更新：

  • Polyspace Bug Finder™

  • Polyspace Bug Finder Server™

  • Polyspace Code Prover™

  • Polyspace Code Prover Server

  • Polyspace Test

请关闭所有正在运行的 Polyspace 会话，然后运行更新安装程序二进制文件。每个更新都包含之前更新中的所有修复。例如，如果您安装更新 3，则也会获得更新 1 和 2 中的所有修复。

如果您在具有 Internet 连接和显示器的计算机上安装更新，请使用图形界面运行更新安装程序。要在没有 Internet 连接或显示器的计算机上安装更新，请下载更新包，然后以静默方式运行更新安装程序。

要更新多个 Polyspace 基础产品，请为每个基础产品运行更新安装程序。例如，要更新 Polyspace Test 和 Polyspace Bug Finder Server，请运行更新安装程序两次，每个实例运行一次。

如果您将 Polyspace 分析负载从客户端计算机转移到服务器计算机，请同时更新客户端计算机和服务器计算机上的 Polyspace。客户端计算机和服务器计算机上的 Polyspace 版本必须一致。请参阅Send Polyspace Analysis from Desktop to Remote Servers。

注意

  • 此更新程序仅适用于 R2019a 及更高版本。

  • 要使用 polyspace-access -download (Polyspace Access) 命令下载存储在 Polyspace Access 版本 R2022a Update 1 或更高版本中的结果，请将运行此命令的 Polyspace 产品更新到版本 R2022a Update 1 或更高版本。

在具有显示器和 Internet 连接的计算机上安装更新

在终端命令行中，导航到更新二进制文件并运行该文件。下表显示了该更新二进制文件的路径和文件名，具体视您的平台和 Polyspace 版本而定。

平台 R2023a 之前的版本R2023a 及之后的版本
Windows® 
polyspaceroot\bin\win64
update_installer.exe
 
polyspaceroot\bin\win64
MathWorksUpdateInstaller.exe
Linux® 
polyspaceroot/bin/glnxa64
./update_installer
 
polyspaceroot/bin/glnxa64
./MathWorksUpdateInstaller
macOS 
polyspaceroot/bin/maci64
./update_installer
 
polyspaceroot/bin/maci64
./MathWorksUpdateInstaller

其中，polyspaceroot 是 Polyspace 的安装文件夹，例如 C:\Program Files\Polyspace\R2025b。

也可以在文件资源管理器中打开更新安装程序文件夹，然后双击该二进制文件。要完成更新，请按照用户界面中的提示进行操作。

以静默方式安装更新

注意

从 R2023a 开始，仅当您是许可证管理员时才能遵循此程序。

要确定某个许可证的许可证管理员，请登录到 MathWorks® 许可证中心，点击相关许可证对应的行，然后选择联系管理员选项卡。

如果您要更新的 Polyspace 软件安装在没有 Internet 连接的计算机或没有显示器的计算机（例如服务器）上，请以静默方式运行更新安装程序。

下载更新包

  1. 在连接到 Internet 并具有显示器的计算机上，转到 MathWorks 下载页。从我要列表中选择获取更新，然后从选择版本列表中选择您要应用更新的版本。

  2. 展开获取 Polyspace 产品的更新部分，然后点击获取用于离线安装的更新包。从 R2023a 开始，只有以许可证管理员身份登录时，该链接才可见。

  3. 选择您要应用更新的平台，然后点击下载。

  4. 将您在前面的步骤中下载的压缩文件复制到要应用更新的计算机。

应用 Polyspace 更新

  1. 在复制了更新包的计算机上，将更新包解压缩到一个新文件夹。例如，如果您在 Linux 上将压缩的更新包复制到了 /tmp，请执行以下命令将更新包解压缩到新的文件夹 R2025b_Update_1：

     unzip /tmp/R2023a_Update_1_Linux_package.zip -d R2025b_Update_1
    该命令可将更新包解压缩到当前目录中的 R2025b_Update_1 文件夹。

  2. 导航到适用于您的平台和版本的更新安装程序二进制文件，并使用合适的选项运行该二进制文件：

    平台 R2023a 之前的版本R2023a 及之后的版本
    Windows 
    cd polyspaceroot\bin\win64
update_installer.exe -updatepackage updatePkg 
    cd updatePkg\bin\win64
MathWorksUpdateInstaller.exe --destination polyspaceroot
    Linux 
    cd polyspaceroot/bin/glnxa64
./update_installer -updatepackage updatePkg

    cd updatePkg
         /bin/glnxa64
./MathWorksUpdateInstaller --destination polyspaceroot
    macOS 
    cd polyspaceroot/bin/maci64
./update_installer -updatepackage updatePkg

    cd updatePkg/bin/maci64
./MathWorksUpdateInstaller --destination polyspaceroot

    其中，polyspaceroot 是 Polyspace 的安装文件夹，例如 /usr/local/Polyspace/R2025b，updatePkg 是您在前面的步骤中将更新包解压缩到的文件夹，例如 /tmp/R2025b_Update_1。

检查更新安装程序日志和更新版本

要查看安装状态（如果您以静默方式运行更新安装程序），或者要检查安装更新过程中的错误，请打开更新安装程序日志文件。更新安装程序日志位于您的平台临时文件夹中。

平台 日志文件的路径
Windows

C:\Users\username\AppData\Local\Temp\mathworks_username.log

Linux/macOS

/tmp/mathworks_username.log

您还可以在安装程序正在运行时检查更新日志。例如，在 Windows 上安装更新时，请使用以下命令：

MathWorksUpdateInstaller.exe --destination polyspaceroot; get-content -Last 1 $env:TEMP\mathworks_$env:USERNAME.log -wait
在 Linux 或 macOS 上安装更新时，请使用以下命令：
./MathWorksUpdateInstaller --destination polyspaceroot & tail -f /tmp/mathworks_$USER.log
要在更新安装完成后停止终端的日志输出，请按 Ctrl + C。

要检查 Polyspace 更新版本，请转至 Polyspace 的安装文件夹，并在文本编辑器中打开 VersionInfo.xml 文件。更新版本在 <description><description/> 标记中列出。例如：

...
<release>R2025b</release>
<description>Update 1</description>
...
如果未安装更新，则 <description><description/> 标记为空。

另请参阅

主题