如何安装 Polyspace？

我正在尝试安装一个Polyspace桌面产品。启动以下链接下载的安装程序：Download MATLAB

然后选择我的 MATLAB 许可证，但是在“选择安装产品”面板中没有显示 Polyspace 产品。在早期版本中，我可以从这个列表中选择 Polyspace 产品进行安装。

我该如何安装 Polyspace  的Bug Finder、Polyspace Code Prover、Polyspace as You Code 或 Polyspace Test ？

Answer 1

[MathWorks Support Team]

Polyspace 产品独立于 MATLAB。订阅了 Polyspace 产品软件维护服务的用户获得新的 Polyspace 许可证。

要安装Polyspace，您必须在安装程序中选择新的Polyspace许可证。请按照以下步骤操作：

1. 下载 MathWorks 安装程序
2. 运行 MathWorks 安装程序，从上方 “Download MATLAB” 链接下载（例如：“matlab_R2026a_Windows.exe”）。
3. 按照安装程序的说明登录您的 MathWorks 账户。
4. 请选择您的 “Polyspace Desktop”、“Polyspace Server”或 “Polyspace Test” 许可证。如果没有显示 Polyspace 许可证，请联系您当地的 MATLAB 许可证管理员。
5. 按照安装程序的说明安装 Polyspace 产品。

注意：如果你想从 R2019a 开始将 Polyspace 与 MATLAB/Simulink 集成，必须执行额外步骤。详情请参见以下 MATLAB 回答帖：

我如何在 Simulink R2019a 上使用 Polyspace R2019a？

Polyspace 静态分析产品（Polyspace Bug Finder、Polyspace Code Prover）、Polyspace 动态测试产品（Polyspace Test 以及 Polyspace as You Code）需要三个独立许可和四个独立安装（Polyspace Bug Finder 和 Polyspace Code Prover 两个，Polyspace Test 一个， Polyspace as You Code 两个）。不过，你可以在同一安装文件夹下管理这三套产品，并在同一用户界面上运行 Polyspace 漏洞查找器、Polyspace 代码校验器和 Polyspace 测试。

更多信息请参见：

• 安装 Polyspace 桌面产品：查看如何安装 Polyspace 漏洞查找器或 Polyspace 代码校验器的详细信息。
• 安装 Polyspace as You Code：查看如何安装 Polyspace as You Code 的更多细节。
• 安装 Polyspace 服务器产品：查看如何安装 Polyspace 漏洞查找服务器或 Polyspace 代码校验服务器的更多细节。
• 安装Polyspace Test：查看更多安装 Polyspace Test 的详细信息。