このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
クラスターでの Code Prover 解析
デスクトップで Polyspace®Code Prover™ 解析を設定して、計算能力がより高いリモート サーバーで解析を実行できます。このワークフローには以下が必要です。
デスクトップに PolyspaceBug Finder™ ライセンスがあること。
サーバーに MATLAB® Parallel Server™ ライセンスおよび Polyspace Code Prover Server™ ライセンスがあること。
サーバーには単独のマシンを使用することも、複数のマシンで構成された分散システム (クラスター) を使用することもできます。クラスターでは 1 台のマシンがヘッド ノードとして機能し、解析ジョブを他のマシン (ワーカー ノード) に分散します。このワークフローに必要な製品の詳細については、Install Products for Submitting Polyspace Analysis from Desktops to Remote Serverを参照してください。
Polyspace オプション
リモート クラスターで Bug Finder または Code Prover 解析を実行 (-batch) | バッチ リモート解析の有効化 |
関数
polyspaceJobsManager | Polyspace ジョブを MATLAB Parallel Server クラスターで管理 |
クラス
polyspace.Project | C および C++ に対する Polyspace 解析の実行と結果の読み取り |
トピック
- 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.
- デスクトップからリモート サーバーへの Polyspace 解析の送信
Polyspace ユーザー インターフェイスから Polyspace 解析ジョブをリモート サーバーに送信する。
- スクリプトを使用したデスクトップからリモート サーバーへの Polyspace 解析の送信
バッチ ファイル (
.bat) またはシェル スクリプト (.sh) を使用して Polyspace 解析ジョブをリモート サーバーに送信する。 - MATLAB スクリプトを使用した Polyspace 解析の実行
M ファイルを使用して Bug Finder や Code Prover で C/C++ コードをチェックし、デスクトップでローカルに、またはリモート サーバーで解析を実行する。
