このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Polyspace ユーザー インターフェイスと Polyspace Access の統合

Polyspace® デスクトップ ユーザー インターフェイスを使用している場合、インターフェイスを Polyspace Access™ と統合して、ローカル マシンと Polyspace Access サーバーに保存された結果との間の相互作用を使用可能にすることができます。

Polyspace ユーザー インターフェイスと Polyspace Access を統合するには、次のようにします。

  1. Polyspace デスクトップ ユーザー インターフェイスで、[ツール] 、 [基本設定] に移動して [サーバー設定] タブを選択します。

    Polyspace Preferences window in Polyspace desktop user interface

    Polyspace Platform ユーザー インターフェイス (Polyspace Test)を使用している場合は、ツールストリップから [基本設定] を選択します。

    Polyspace Preferences window in Polyspace Platform user interface

  2. 以下のフィールドに入力します。

    フィールド説明
    Polyspace Access の URL

    Polyspace Access インターフェイスにログインするために使用する URL を以下のように指定します。

    http(s)://hostName:port
    URL がわからない場合は、Polyspace Access 管理者に問い合わせてください。

    クライアントのキーストアのパス

    Polyspace Access を HTTPS で構成するために使用する署名付き証明書をインポートしたキー ストア ファイルのパス。クライアント キーストアの生成を参照してください。

    "Polyspace Access の URL" で HTTPS を使用する場合、このフィールドは必須です。URL で HTTP を使用する場合 (非推奨)、このフィールドは空白のままにします。

    クライアントのキーストアのパスワード

    キー ストア ファイルに関連付けられたパスワード。

    "Polyspace Access の URL" で HTTPS を使用する場合、このフィールドは必須です。URL で HTTP を使用する場合 (非推奨)、このフィールドは空白のままにします。

    デスクトップ インターフェイスと、[Polyspace Access の URL] フィールドで指定した Polyspace Access インスタンスとの間の接続をチェックするには、[Polyspace Access の接続をチェック] をクリックします。必要な場合は、Polyspace Access 資格情報を入力します。[Polyspace Access の接続をチェック] ボタンは、Polyspace Platform ユーザー インターフェイスでは使用できません。

Polyspace デスクトップ インターフェイスを Polyspace Access と関連付けるには、[Polyspace UI の登録] をクリックして [OK] をクリックしてから、変更を有効にするためにデスクトップ インターフェイスを閉じてから再起動します。これで、Polyspace Access Web インターフェイスからデスクトップ インターフェイスを起動して、開いている結果を表示できるようになります。[Polyspace UI の登録] ボタンは、Polyspace Platform ユーザー インターフェイスでは使用できません。

デスクトップ インターフェイスが再起動したら、[アクセス] を選択して以下を行います。

メモ

Linux® では、Polyspace Access で現在開いている結果を表示するためには、デスクトップ インターフェイスを先に開いておく必要があります。

クライアント キーストアの生成

HTTPS を使用するように Polyspace Access を構成する場合は、Polyspace Access とクライアント マシンのこれらの Polyspace インターフェイスとの間の通信を有効にするために Java® キー ストア (JKS) ファイルを生成します。

Polyspace Access を HTTPS で構成するために使用する署名付き証明書を取得して、生成した JKS ファイルにその証明書をインポートします。

Polyspace Access 署名付き証明書の取得

Polyspace Access ソフトウェア インストールを管理する場合、Polyspace Access に HTTPS を構成するために取得した署名付き証明書を、クライアント マシンにコピーします。scp などのユーティリティを使用して、Polyspace Access のインストール元のサーバー マシンからクライアント マシンへ、証明書を安全にコピーします。

Polyspace Access エンド ユーザーは、Polyspace 管理者に連絡して署名付き証明書のコピーを取得してください。あるいは、Web ブラウザーからの署名付き証明書のダウンロードの説明に従います。

JKS ファイルの生成と Polyspace Access 署名付き証明書のインポート

jks ファイルを生成するには、キーおよび証明書管理ユーティリティの keytool を使用します。keytool ユーティリティは、Polyspace のデスクトップまたはサーバー製品のインストール環境の、次のフォルダーから使用できます。

  • Windows®: polyspaceroot\sys\java\jre\win64\jre\bin

  • Linux: polyspaceroot/sys/java/jre/glnxa64/jre/bin

ここで、polyspaceroot は製品のインストール フォルダーです。たとえば、/usr/local/Polyspace/R2025a です。

キーストア ファイルの生成には、Polyspace のデスクトップまたはサーバー製品のインストールに用意されている keytool ユーティリティを使用することをお勧めします。OpenJDK などの JDK の代替製品の keytool ユーティリティは、互換性のない形式のキーストア ファイルを生成する場合があるため、使用しないでください。

たとえば、Polyspace Access 署名付き証明書ファイル admin_cert.cer を取得した場合、対応する JKS ファイルを次のコマンドを使用して生成します。

keytool -import -trustcacerts -alias cert -file admin_cert.cer -keystore client-cert.jks -storepass password
このコマンドは、ファイル client-cert.jks を出力します。キー ストア ファイルに関連付けられたパスワードは password です。

Web ブラウザーからの署名付き証明書のダウンロード

Polyspace Access の署名付き証明書のコピーをダウンロードするには、Web ブラウザーに示される、証明書の表示とダウンロードの方法に関する指示に従います。

証明書をダウンロードしたら、JKS ファイルの生成と Polyspace Access 署名付き証明書のインポートの説明に従ってクライアント キーストアを生成します。

メモ

Web ブラウザーから署名付き証明書をダウンロードする前に、ネットワーク セキュリティ管理者に連絡してください。ネットワークが不正アクセスから保護されていない場合、ブラウザーから証明書をダウンロードすると中間者 (MITM) 攻撃に対して脆弱になる可能性があります。

参考

トピック