サーバーへの Polyspace 製品のインストール

サーバーへの Polyspace® Code Prover™ のインストール、Polyspace Access™ のインストール、ライセンス マネージャーのインストール

Polyspace は静的解析を使用して、C/C++ コードのバグ、ランタイム エラー、コーディング規約違反などの問題をチェックします。以下の製品を使用すると、サーバー クラス マシンで Polyspace 解析を実行して、解析結果を Web ブラウザーでレビューできます。

  • Polyspace Code Prover Server™ (サーバーで Code Prover 解析の実行)。

  • Polyspace Access (Web ブラウザー ベースの結果のレビュー)

これらの製品とビルド自動化ツールを使用して、Polyspace 解析を継続的インテグレーション システムに統合できます。

Polyspace 製品をサーバー上で MATLAB® および Simulink® と一緒に使用するには、Polyspace サーバー製品を MATLAB と統合します。MATLAB や Simulink との Polyspace の統合を参照してください。

カテゴリ