主要内容

安装 Polyspace

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

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

  • 桌面端Polyspace Code Prover™ 主要为在其计算机上运行分析的单一用户提供服务。此产品提供了用于交互式配置和结果审查的用户界面,此外,它还支持自动运行。

  • 服务器端Polyspace Code Prover Server™ 支持提交代码后在服务器端调度运行检查。Polyspace Access™ 为检查结果提供了一个存储库,并且支持多位评审同时在 Web 浏览器上进行审查。

类别