0 个投票

我正在尝试安装一个Polyspace桌面产品。启动以下链接下载的安装程序：Download MATLAB
然后选择我的 MATLAB 许可证，但是在“选择安装产品”面板中没有显示 Polyspace 产品。在早期版本中，我可以从这个列表中选择 Polyspace 产品进行安装。
我该如何安装 Polyspace  的Bug Finder、Polyspace Code Prover、Polyspace as You Code 或 Polyspace Test ？

请先登录，再回答此问题。

 采纳的回答

MathWorks Support Team
MathWorks Support Team 2026-11-2，0:00
编辑：MathWorks Support Team 2026-11-2，7:27

0 个投票

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 测试。
更多信息请参见：

更多回答（0 个）

类别

在 帮助中心 和 File Exchange 中查找有关 Run Settings 的更多信息

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!