Polyspace-InstallationTutorial

Polyspace 安装教程（2024、2025版本通用）#

1. 解压安装包

   

2. 鼠标右键，装载 解压后文件里面中的ios文件

   

3. 在我的电脑中，双击打开装载的 驱动器

   

4. 右键 setup.exe 以管理员身份运行

5. 点击 高级选项 ，点击 我有文件安装密钥 

   

6. 选择 是 ，点击 下一步

   

7. 输入Polyspace Bug Finder + Polyspace Code Prover密钥： 15315-49347-54135-38668

   

8. 点击 浏览 ，选择 许可证文件 license （解压 matlab_polyspace_bin_licenses.rar 文件，选择 license.lic ），点击下一步

   

9. 选择目标文件夹（建议将 C:\Program Files\Polyspace\R2025a 改为 D:\Program Files\Polyspace\R2025a ）

   

10. 选择产品

    

11. 选择 添加桌面快捷方式

    

12. 开始安装，等待安装完成

    

13. 解压 matlab_polyspace_bin_licenses.rar 文件，找到 win64 文件夹复制

    

14. 打开软件的文件所在位置

    

15. 注意这里的路径，打开文件所在位置后看到win64文件夹，

    不替换 D:\Program Files\MATLAB\Polyspace\R2024b\polyspace\bin 路径文件夹

    

16. 替换 D:\Program Files\MATLAB\Polyspace\R2024b\bin 路径下的 win64文件夹 

    

17. 将刚刚复制的win64文件夹粘贴到这里，覆盖win64文件的内容

    

18. 安装完成，打开使用即可

    

    附件#

    matlab_polyspace_bin_licenses.rar