Polyspace Access からの結果のエクスポート

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

  • Web ブラウザーで結果を表示する。

  • カスタム フィルターやパス/失敗の基準の適用などのさらなる処理のために、結果のリストをタブ区切り値 (TSV) ファイルにエクスポートする。

  • polyspace-access -downloadコマンドを使用して結果をダウンロードする。ダウンロードしたこれらの結果を使用して、Polyspace Access プロジェクト間でレビュー情報をマージするか、または Polyspace as You Code™ でベースライン ワークフローの一環としてマージします。参考:

    polyspace-access を使用してダウンロードした結果を Polyspace インターフェイスで開くことはできません。

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™ で生成されたテストまたはカバレッジの結果をエクスポートすることはできません。

参考

トピック