解析の設定と実行

デスクトップまたはサーバーでの Polyspace®Code Prover™ 解析の設定

C/C++ コードのランタイム エラーを網羅的にチェックする。解析は、製品の構成に応じて以下のいずれかの場所で実行されます。

  • デスクトップ:Polyspace Code Prover を実行している場合は、Polyspace ユーザー インターフェイス、スクリプト、または Simulink® や MATLAB® Coder™ などの他のアプリを使用して、コードを解析できます。解析を (Polyspace Code Prover Server™ を使用して解析が実行される) サーバーにディスパッチし、結果をデスクトップにダウンロードすることもできます。

  • サーバー:Polyspace Code Prover Server を実行している場合は、Jenkins® などの継続的インテグレーション (CI) ツールを使用してサーバーでの自動実行をスケジュールできます。

カテゴリ