デスクトップからリモート サーバーへの Polyspace 解析の送信

Polyspace® 解析をデスクトップでローカルに実行したり、解析の負荷を 1 台以上の専用サーバーに移したりできます。Polyspace Bug Finder™ などの Polyspace デスクトップ製品から Polyspace 解析の負荷を移しますが、解析は Polyspace Bug Finder Server™ などの Polyspace サーバー製品を使用してサーバー上で実行されます。

このトピックでは、Polyspace デスクトップ製品のユーザー インターフェイスから Polyspace 解析を送信する方法を説明します。

解析を実行するためのクライアント/サーバー ワークフロー

初期設定の後、Polyspace 解析をクライアント デスクトップからサーバーに送信できます。クライアント/サーバー ワークフローは 3 つのステップで行われます。3 つのステップすべてが同じコンピューターで実行されるか、3 つの異なるコンピューターで実行されます。

  1. クライアント ノード:Polyspace 解析オプションを指定し、クライアント デスクトップで解析を開始します。コンパイルまでの解析の初期段階は、デスクトップ上で実行されます。コンパイル後、解析ジョブはサーバーに送信されます。

    クライアント ノードとして機能するコンピューター上に Polyspace デスクトップ製品 Polyspace Bug Finder が必要です。

  2. ヘッド ノード:サーバーはヘッド ノードと複数のワーカー ノードで構成されています。ヘッド ノードは、ジョブ スケジューラを使用して複数のクライアント デスクトップからの送信を管理します。ジョブはワーカー ノードが使用可能になると、ワーカー ノードに分散されます。

    ヘッド ノードとして機能するコンピューター上に製品 MATLAB® Parallel Server™ が必要です。

  3. ワーカー ノード:ワーカーが使用可能になると、ジョブ スケジューラが解析をそのワーカーに割り当てます。Polyspace 解析はワーカーで実行され、結果はレビューのために元のクライアント デスクトップにダウンロードされます。

    ワーカー ノードとして機能するコンピューター上に製品 MATLAB Parallel Server が必要です。解析を実行するには、Polyspace サーバー製品 Polyspace Bug Finder Server や Polyspace Code Prover™ Server も必要です。

メモ

クライアント ノードとワーカー ノードの Polyspace のバージョンは一致している必要があります。

Flow diagram of a typical workflow for submitting analysis jobs from several desktops to a remote server.

前提条件

Polyspace デスクトップ製品のユーザー インターフェイスから解析の負荷を移す前に、プロジェクトのソース ファイル、解析オプションおよびリモート解析設定を設定しなければなりません。まだ実行していない場合は、以下を参照してください。

Polyspace プロジェクトを設定し、デスクトップとリモート サーバーの間の通信を確立すると、Polyspace 解析の負荷を移す準備が整います。

Polyspace ユーザー インターフェイスでの解析の負荷の移行

リモート解析を開始するには、以下を行います。

  1. 解析するプロジェクトを選択します。

  2. [構成] ペインで、[実行設定] を選択します。

    [リモート クラスターで Bug Finder 解析を実行] や [リモート クラスターで Code Prover 解析を実行] を選択します。

    The Run Settings node on the Configuration pane contains options to run analyses on a remote cluster.

  3. 解析を開始します。たとえば、Bug Finder 解析を開始するには、[Bug Finder の実行] ボタンをクリックします。

    解析のコンパイル部分は、デスクトップ製品で実行されます。コンパイル後、解析の負荷はサーバーに移されます。

  4. 解析を監視するには、[ツール] 、 [ジョブ モニターを開く] を選択します。Polyspace ジョブ モニターでキューに入っているジョブを確認し進行状況を監視します。

    解析が完了すると、結果が Polyspace デスクトップ製品のユーザー インターフェイスにダウンロードされます。結果はユーザー インターフェイスで直接開くことができます。

    コンパイル後に解析が停止し、解析を再開しなければならない場合、コンパイル段階から再開されないようにするには、オプション -submit-job-from-previous-compilation-results を使用します。

参考

トピック