安装

在桌面端或服务器端安装 Polyspace® 产品进行分析

安装下列一个或多个 Polyspace 产品组合：

  • 安装用于桌面端的 Polyspace Code Prover™。此产品提供了用于交互式配置和结果审查的用户界面，此外，它还支持自动运行。

  • 在服务器端安装 Polyspace Code Prover Server™ 和 Polyspace Access™ 以实现自动运行。使用 Polyspace Code Prover Server，您可以在提交代码后在服务器端执行调度运行。Polyspace Access 提供了一个用于存储结果的存储库，并且支持多位评审同时在 Web 浏览器上进行审查。

类别