帮助中心帮助中心

安装 polyspace code prover server -凯发k8网页登录

在服务器端安装分析引擎

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

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

主题

现场安装

安装 polyspace bug finder server 或 polyspace code prover server，以及触发 polyspace 分析所需的产品。
在不进行用户交互的情况下，使用命令行安装 polyspace server 产品（静默安装）。
配置服务器-客户端连接，使客户端可以将 polyspace 分析负载转移到远程服务器端并在分析后下载结果。
send analysis to dedicated server, download results after analysis and then upload to polyspace access for review.
更新 polyspace bug finder 和 polyspace code prover（桌面端或服务器端安装）。

云端部署

将 polyspace 分析负载从客户端计算机转移到安装在 aws^® 云端基础架构上的 polyspace server。
将 polyspace 分析负载从客户端计算机转移到安装在 azure^® 云端基础架构上的 polyspace server。