Polyspace Access から結果を開くまたはエクスポートする

Polyspace^® Access™ には、チームとの共有やコラボレーションレビューのために Polyspace 解析結果を保存できる一元的なデータベースが用意されています。解析結果をデータベースにアップロードした後、次のことができます。

Web ブラウザーで結果を表示する。
Polyspace Access 用に構成されている Polyspace デスクトップインターフェイスから結果を開く
カスタムフィルターやパス/失敗の基準の適用などのさらなる処理のために、結果のリストをタブ区切り値 (TSV) ファイルにエクスポートする。
polyspace-access -downloadコマンドを使用して結果をダウンロードする。ダウンロードしたこれらの結果を使用して、Polyspace Access プロジェクト間でレビュー情報をマージするか、または Polyspace as You Code でベースラインワークフローの一環としてマージします。参考:
- 既存の Polyspace Access プロジェクトからのレビュー情報のインポート
- Polyspace as You Code でのベースライン結果の使用 (Polyspace Bug Finder)
polyspace-access を使用してダウンロードした結果を Polyspace インターフェイスで開くことはできません。

このトピックの残りの部分では、デスクトップインターフェイスで Polyspace Access の結果を開く方法と、結果を TSV ファイルにエクスポートする方法について説明します。

デスクトップインターフェイスで Polyspace Access の結果を開く

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

Polyspace Access データベースに保存されている結果を開くには、デスクトップインターフェイスで [Access] 、 [結果を開く] に移動し、プロンプトに従います。ログイン要求が表示された場合、Polyspace Access のログイン資格情報を使用します。

Polyspace Access Web インターフェイスからデスクトップインターフェイスを開くこともできます。ツールストリップで、[デスクトップで開く] をクリックします。デスクトップインターフェイスが開き、Polyspace Access Web インターフェイスに現在表示されている解析結果が表示されます。

メモ

Linux^® で、Polyspace Access で現在開いている解析結果を表示するためには、デスクトップインターフェイスを先に開いておかなければなりません。

Polyspace デスクトップインターフェイスで結果を開いた後は、[ステータス]、[重大度]、またはコメントフィールドに加えた変更が、それらの変更の保存後に Polyspace Access にも反映されます。

デスクトップインターフェイスで Polyspace Access にアップロードした結果のローカルコピーを開いた場合、[結果の詳細] ペインのレビューフィールドは読み取り専用になります。[ステータス]、[重大度]、またはコメントフィールドを編集することはできません。

Polyspace Access の結果を TSV ファイルにエクスポートする

Polyspace Access の結果のタブ区切り値 (TSV) ファイルへのエクスポートは、polyspace-access バイナリを使用してコマンドラインからのみ行うことができます。結果をエクスポートすると、Polyspace Access Web インターフェイスの結果のリストとほぼ同じ結果属性をもつ結果をリストする TSV ファイルが生成されます。リストされた各結果には、Polyspace Access で結果を開くための URL も含まれます。エクスポートする結果のリストにフィルターを適用するには、polyspace-access -export コマンドを参照してください。

たとえば、Polyspace Access の [パブリック] フォルダーに保存されているプロジェクト [myProject] から、ステータスが [未確認] のすべてのコーディングルールをエクスポートするには、コマンドプロンプトターミナルを開いて次のように入力します。

polyspace-access -host hostName -port port ^
-export public/myProject -coding-rules -review-status Unreviewed ^
-output coding_rules.tsv

このコマンドは、ユーザーに Polyspace Access のログイン資格情報を入力するよう求めてから、ファイル coding_rules.tsv を出力します。

hostName と port は、Polyspace Access インターフェイスの URL (例: https://hostName:port/metrics/index.html) に指定するホスト名とポート番号に対応します。使用するホスト名とポート番号がわからない場合は、Polyspace Access 管理者にお問い合わせください。構成によっては、コマンドに -protocol オプションを指定しなければならない場合もあります。Cluster Admin の構成と起動を参照してください。

polyspace-access コマンドを使用して、Polyspace Test™ で生成されたテストまたはカバレッジの結果をエクスポートすることはできません。

参考

polyspace-access -export