安装 Polyspace
在桌面端或服务器端安装 Polyspace® 产品进行分析
安装下列一个或多个 Polyspace 产品组合:
桌面端:Polyspace Code Prover™ 主要为在其计算机上运行分析的单一用户提供服务。此产品提供了用于交互式配置和结果审查的用户界面,此外,它还支持自动运行。
服务器端:Polyspace Code Prover Server™ 支持提交代码后在服务器端调度运行检查。Polyspace Access™ 为检查结果提供了一个存储库,并且支持多位评审同时在 Web 浏览器上进行审查。
类别
- 在桌面端安装 Code Prover
在桌面端安装 Polyspace Code Prover
- 在服务器端安装 Polyspace 产品
在服务器端安装 Polyspace Code Prover,安装 Polyspace Access,安装许可证管理器