Polyspace Code Prover Server のインストール

サーバーへの解析エンジンのインストール

Polyspace^® は静的解析を使用して、C/C++ コードのバグ、ランタイムエラー、コーディング規約違反などの問題をチェックします。

サーバー製品 (Polyspace Bug Finder™Server™ および Polyspace Code Prover™Server) では、コード送信前に継続的インテグレーションサーバー上でこれらのチェックを実行できます。ローカルマシンから、オンサイトまたはクラウドのより高性能なサーバーマシンへ解析の負荷を移行することもできます。

トピック

オンサイトインストール

Polyspace Server および Access 製品のインストール
Polyspace Bug Finder Server または Polyspace Code Prover Server、および Polyspace 解析のトリガーに必要な製品をインストールします。
コマンドラインでの Polyspace Server 製品のインストール
ユーザーが操作することなく、コマンドラインで Polyspace Server 製品をインストールする (サイレントインストール)。
Install Products for Submitting Polyspace Analysis from Desktops to Remote Server
Configure server-client connection so that clients can offload the Polyspace analysis to a remote server and download results after analysis.
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 Bug Finder と Polyspace Code Prover (デスクトップまたはサーバーのインストール) の更新。

クラウドデプロイ

Install Products for Submitting Polyspace Analysis from Desktops to Servers Hosted on AWS
Offload a Polyspace analysis from a client machine to Polyspace Server installed on AWS^® cloud infrastructure.
Install Products for Submitting Polyspace Analysis from Desktops to Servers Hosted on Azure
Offload a Polyspace analysis from a client machine to Polyspace Server installed on Azure^® cloud infrastructure.

Polyspace Code Prover Server のインストール

トピック

オンサイト インストール

クラウド デプロイ

オンサイトインストール

クラウドデプロイ