安装用于桌面端的 Code Prover
在桌面端安装 Polyspace® Code Prover™
安装 Polyspace Code Prover 以在桌面端检查 C/C++ 代码中的运行时错误。根据所需的 Code Prover 运行方式，您需要执行额外的一次性产品设置步骤。
主题
- 安装 Polyspace 桌面端产品
安装 Polyspace Bug Finder™ 或 Polyspace Code Prover。
- 将 Polyspace 与 MATLAB 和 Simulink 集成
将 Polyspace 与 MATLAB® 和 Simulink® 集成，以标识模型和代码中潜在的 Bug、运行时错误以及编码标准违规。
- 为 Polyspace 产品配置许可证借用 (Polyspace Access)
可借用许可证以离线使用 Polyspace。
- 更新 Polyspace 产品
更新用于桌面端和服务器端安装的 Polyspace 产品。
- 在产品升级后迁移 Polyspace 工程
在更新 Polyspace 版本后更新选项和处理新的结果。
- 为 Polyspace 产品配置许可证借用
可借用许可证以离线使用 Polyspace。
