更新 Polyspace 产品
本主题介绍了如何在桌面端或服务器端计算机上更新用于静态分析（Bug Finder 和 Code Prover）和动态测试 (Polyspace® Test™) 的 Polyspace 产品。要更新 Polyspace Access™，请参阅安装更新或升级到新版本的 Polyspace Access (Polyspace Access)。
按照这些步骤为以下 Polyspace 产品安装最新更新：
Polyspace Bug Finder™
Polyspace Bug Finder Server™
Polyspace Code Prover™
Polyspace Code Prover Server
Polyspace Test
请关闭所有正在运行的 Polyspace 会话，然后运行更新安装程序二进制文件。每个更新都包含之前更新中的所有修复。例如，如果您安装 update 3，则也会获得 update 1 和 update 2 中的所有修复。
如果您在具有 Internet 连接和显示器的计算机上安装更新，请使用图形界面运行更新安装程序。要在没有 Internet 连接或显示器的计算机上安装更新，请下载更新包，然后以静默方式运行更新安装程序。
要更新多个 Polyspace 基础产品，请为每个基础产品运行更新安装程序。例如，要更新 Polyspace Test 和 Polyspace Bug Finder Server，请运行更新安装程序两次，每个实例运行一次。
如果您将 Polyspace 分析负载从客户端计算机转移到服务器计算机，请同时更新客户端计算机和服务器计算机上的 Polyspace。客户端计算机和服务器计算机上的 Polyspace 版本必须一致。请参阅Send Polyspace Analysis from Desktop to Remote Servers Using Scripts。
安装更新
从 MathWorks® 下载页下载更新安装程序，并将更新安装到您的 Polyspace 安装文件夹中。对于 R2025b 之前的版本更新，请参阅以前的版本文档。
步骤 1：下载更新包
在连接到 Internet 并具有显示器的计算机上，转到 MathWorks 下载页。从我要列表中选择获取更新，然后从选择版本列表中选择您要应用更新的版本。
展开获取 Polyspace 产品的更新部分，然后点击获取用于离线安装的更新包。
仅当您是许可证管理员时才可看到此链接。如果您不是许可证管理员，并且想要确定某个许可证的管理员，请登录到 MathWorks 许可证中心，点击相关许可证对应的行，然后选择联系管理员选项卡。
选择您要应用更新的平台，然后点击下载。
将您在前面的步骤中下载的压缩文件复制到要应用更新的计算机。
步骤 2：应用 Polyspace 更新
在复制了更新包的计算机上，将更新包解压缩到一个新文件夹。例如，您可以执行以下命令，将更新包
<updatePackageZipFile>.zip解压缩到新的文件夹：该命令可将更新包解压缩到当前目录中的unzip <updatePackageZipFile>.zip -d <updatePkgFolder><updatePkgFolder>文件夹。导航到适用于您的平台和版本的更新安装程序二进制文件，并使用合适的选项运行该二进制文件：
Windows®:
cd <updatePkgFolder>\bin\win64 MathWorksUpdateInstaller.exe --destination <polyspaceroot>Linux®:
cd <updatePkgFolder>/bin/glnxa64 ./MathWorksUpdateInstaller --destination <polyspaceroot>macOS：
cd <updatePkgFolder>/bin/maci64 ./MathWorksUpdateInstaller --destination <polyspaceroot>
其中，
polyspaceroot/usr/local/Polyspace/R2026a，<updatePkgFolder>是您在前面的步骤中将更新包解压缩到的文件夹。
检查更新安装程序日志和更新版本
要查看安装状态，或者要检查安装更新过程中的错误，请打开更新安装程序日志文件。更新安装程序日志位于您的平台临时文件夹中。
| 平台 | 日志文件的路径 |
|---|---|
| Windows |
|
| Linux/macOS |
|
您还可以在安装程序正在运行时检查更新日志。例如，在 Windows 上安装更新时，请使用以下命令：
MathWorksUpdateInstaller.exe --destination <polyspaceroot>; get-content -Last 1 $env:TEMP\mathworks_$env:USERNAME.log -wait
./MathWorksUpdateInstaller --destination <polyspaceroot> & tail -f /tmp/mathworks_$USER.log要检查 Polyspace 更新版本，请转至 Polyspace 的安装文件夹，并在文本编辑器中打开 VersionInfo.xml 文件。更新版本在 <description><description/> 标记中列出。如果未安装更新，则 <description><description/> 标记为空。
