安装 Polyspace Code Prover Server

在服务器端安装分析引擎

Polyspace^® 使用静态分析检查 C/C++ 代码中是否存在 Bug、运行时错误、编码标准违规和其他问题。

使用服务器端产品 Polyspace Bug Finder™ Server™ 和 Polyspace Code Prover™ Server，您可以在提交代码后在持续集成服务器上执行这些检查。您还可以将分析负载从本地计算机转移到更强大的本地或云端服务器计算机上。

主题

安装 Polyspace Server 和 Access 产品
安装 Polyspace Bug Finder Server 或 Polyspace Code Prover Server，以及触发 Polyspace 分析所需的产品。
在命令行中安装 Polyspace Server 产品
在不进行用户交互的情况下，使用命令行安装 Polyspace Server 产品（静默安装）。
安装用于将 Polyspace 分析从桌面端提交到远程服务器端的产品
配置服务器-客户端连接，使客户端可以将 Polyspace 分析负载转移到远程服务器端并在分析后下载结果。
Offload Polyspace Analysis from Continuous Integration Server to Another Server
Send analysis to dedicated server, download results after analysis and then upload to Polyspace Access for review.
更新 Polyspace 产品
更新用于桌面端和服务器端安装的 Polyspace 产品

安装相关产品以将 Polyspace 分析从桌面端提交到 AWS 上托管的服务器
将 Polyspace 分析负载从客户端计算机转移到安装在 AWS^® 云端基础架构上的 Polyspace Server。
安装相关产品以将 Polyspace 分析从桌面端提交到在 Azure 上托管的服务器
将 Polyspace 分析负载从客户端计算机转移到安装在 Azure^® 云端基础架构上的 Polyspace Server。