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

サンプルをアップロードして Polyspace Access のインターフェイスを開く

前提条件

• Cluster Admin の構成と起動

• User Manager の構成

• Issue Tracker の構成

• Polyspace Access アプリ サービスの構成

Polyspace^® Access™ を使い始めるには、結果を Polyspace Access データベースにアップロードしてから Web インターフェイスを開き、アップロードした結果を表示します。

サンプルのアップロード

コマンド ラインからの結果のアップロード

Polyspace Bug Finder™ Server™ または Polyspace Code Prover™ Server インストールに付属のサンプルをコマンド ラインからアップロードするには、polyspaceroot\polyspace に移動して、以下のコマンドを実行します。

bin\polyspace-access -host hostname -port port^
-upload examples\cxx\Bug_Finder_Example\Module_1\BF_Result

polyspaceroot は、Polyspace のインストール先のパスです。hostname は、Polyspace Access をホストしているマシンの完全修飾ドメイン名 (FQDN) です。port は、admin-docker-agent バイナリを起動するときに指定したポート番号です。コマンド ラインから結果をアップロードする方法についての詳細は、コマンド ラインでの結果のアップロード (Polyspace Bug Finder)を参照してください。

各コマンドの後に、ユーザー名とパスワードを入力するよう求められます。Polyspace Access にログインするために使用する資格情報を入力します。

コマンド ラインを使用して、Polyspace デスクトップ製品の解析による結果を Polyspace Access データベースにアップロードすることはできません。

デスクトップ インターフェイスからの結果のアップロード

Polyspace Bug Finder または Polyspace Code Prover に付属のデモ サンプルをアップロードするには、次のようにします。

1. デスクトップ インターフェイスでサンプルを開き、[プロジェクト ブラウザー] ペインで結果を選択するか、[結果のリスト] ペインに切り替えます。

2. メニューで [Access] 、 [結果のアップロード] をクリックします。ログインするよう求められたら、Polyspace Access の資格情報を使用してログインします。

3. [Upload results to Polyspace Access repository] ウィンドウで、フォルダーをクリックしてアップロード先を選択してから、[アップロード] をクリックします。必要に応じてプロジェクトの名前を変更できます。

[プロジェクト ブラウザー] ペインで結果を選択し、コンテキスト メニューを使用して結果を Polyspace Access データベースにアップロードすることもできます。

Polyspace Access と通信するようにデスクトップ インターフェイスを構成する必要があります。Polyspace ユーザー インターフェイスと Polyspace Access の統合を参照してください。

Polyspace Access への結果のアップロード後:

• デスクトップ インターフェイスで結果のローカル コピーを開いた場合、[ステータス]、[重大度]、またはコメント フィールドを変更できません。

• [ステータス]、[重大度]、またはコメント フィールドを変更するには、[Access] 、 [結果を開く] に移動して、Polyspace Access の結果を開きます。

  デスクトップ インターフェイスでこれらのフィールドで行った変更を保存すると、変更が Polyspace Access Web インターフェイスに反映されます。

Polyspace Access Web インターフェイスを開く

Polyspace Access インターフェイスを開くには、[Cluster Dashboard] で [Open UI] をクリックします。

アドレス バーの URL (例: https://access-machine.company.com:9443/metrics/index.html) をコピーして、Polyspace Access ユーザーと共有します。ユーザーはこの URL を使用して、Polyspace Access をホストしているサーバーに接続された任意のマシンから Polyspace Access インターフェイスを開くことができます。

インストールを完了したら、[Cluster Admin] インターフェイスを閉じて、"Ctrl+C" を押して、コマンド ラインで admin-docker-agent バイナリを停止します。インターフェイスを閉じる前にバイナリを停止すると、アプリのステータスが「不明」として表示されます。

参考

トピック

• Web ブラウザーでの Polyspace Bug Finder の結果のレビュー (Polyspace Bug Finder)