結果を Polyspace Access にアップロード

Polyspace^® Access™ には、共有やコラボレーションレビューのために Polyspace 解析結果を保存できる一元的なデータベースが用意されています。結果をアップロードした後、Polyspace Access ユーザーインターフェイスを開いて、コードの品質についての統計を表示したり、個々の結果を順位付けしてレビューしたりできます。

Polyspace は、アップロードする各解析実行に一意の実行 ID を割り当て、いずれかのプロジェクトをアップロードするたびに実行 ID をインクリメントします。結果のアップロードに Jenkins などの自動化ツールを使用する場合、Polyspace Access 実行 ID とツールのジョブ ID とは関係しません。

メモ

Polyspace Access への 1 回のアップロードでは最大 2 GB の結果をアップロードできます。
Polyspace Access はユーザー定義のコーディング規約をサポートしていません。ユーザー定義のコーディング規約に対する違反を含む解析結果をアップロードした場合、Polyspace Access はこれらの違反を無視します。カスタムコーディング規約の詳細については、Check for Violations of User-Defined Coding Standard Using Polyspace Bug Finderを参照してください。

Polyspace デスクトップクライアントからの結果のアップロード

結果をアップロードする前に、Polyspace Access と通信するために Polyspace デスクトップクライアントを設定しなければなりません。Polyspace ユーザーインターフェイスと Polyspace Access の統合 (Polyspace Access)を参照してください。

解析結果を Polyspace デスクトップクライアントから Polyspace Access データベースにアップロードするには、[プロジェクトブラウザー] ペインで結果のセットを選択するか、[結果のリスト] ペインで結果を開きます。[Access] 、 [結果のアップロード] に移動してプロンプトに従います。ログイン要求が表示された場合、Polyspace Access のログイン資格情報を使用します。

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

結果を Polyspace Access にアップロードした後、デスクトップインターフェイスで結果のローカルコピーを開いた場合、[ステータス]、[重大度]、またはコメントフィールドを変更できません。[ステータス]、[重大度]、またはコメントフィールドを変更するには、[Access] 、 [結果を開く] に移動して、Polyspace Access の結果を開きます。

デスクトップインターフェイスでこれらのフィールドに行った変更を保存すると、変更が Polyspace Access Web インターフェイスに反映されます。カスタムステータスを作成するには、Polyspace Access プロジェクトでのカスタムステータスの追加 (Polyspace Access)を参照してください。

Polyspace Platform ユーザーインターフェイスからの結果のアップロード

結果をアップロードする前に、Polyspace Access と通信するために Polyspace Platform ユーザーインターフェイスを構成する必要があります。Polyspace ユーザーインターフェイスと Polyspace Access の統合 (Polyspace Access)を参照してください。

静的または動的解析結果を Polyspace Platform ユーザーインターフェイスから Polyspace Access データベースにアップロードするには、[結果] ペインで結果のセットを選択して、結果を開きます。ツールストリップで [Access] > [結果のアップロード] を選択します。

Upload results to Polyspace Access repository window with example information

表示されるダイアログボックスの [サーバー] の値は、Polyspace デスクトップクライアントで設定するサーバーです。Polyspace Access ユーザー名とパスワードを入力します。プロジェクト名と、Polyspace Access でプロジェクトを保存するプロジェクトパスを入力します。

unit-by-unit の結果をアップロードする場合は、すべての結果をアップロードするため [すべての結果をアップロード] を選択します。現在のユニットのみをアップロードする場合は、[すべての結果をアップロード] をオフにします。unit-by-unit 解析の結果をすべてアップロードするには、すべてのユニットの解析が正常に完了している必要があります。unit-by-unit 解析のアップロードする場合、設定したプロジェクト名が、Polyspace Access 内のすべてのユニットの親プロジェクトになります。

Polyspace Access へ結果をアップロードした後では、[ステータス]、[重大度]、[コメント] の変更は Polyspace Access からのみ実行できます。アップロードされた結果の [ステータス]、[重大度]、[コメント] は、Polyspace Platform ユーザーインターフェイスによってロックされます。

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

結果が Polyspace Bug Finder™ Server™ または Polyspace Code Prover™ Server で生成された場合のみ、コマンドラインから結果をアップロードできます。

解析結果を DOS または UNIX のコマンドラインから Polyspace Access にアップロードするには、polyspace-access -upload (Polyspace Access) コマンドを使用します。

このコマンドに、.psbf、.pscp、または .rte 結果ファイルが保存されているフォルダーのパスを指定します。たとえば、ファイル BF_results\ps_results.psbf に保存されている Polyspace Bug Finder の結果をアップロードするには、次のコマンドを使用します。

polyspace-access %login% -upload BF_results\ps_results.psbf

このコマンドによって Polyspace Access データベースの "パブリック" フォルダーに結果がアップロードされ、アップロードに関する情報が出力されます。出力される情報には、ACCESS URL も含まれます。この URL を使用して、アップロードされた結果を PolyspaceAccess インターフェイスで表示できます。結果を別のフォルダーにアップロードするには、-parent-project オプションを使用します。

ここで、%login% は、ログイン資格情報やその他の接続情報を格納する変数です。この変数を構成するには、Encrypt Password and Store Login Options in a Variable (Polyspace Access)を参照してください。

アップロードを高速化するには、静的解析を実行するときに解析結果を専用の結果フォルダーに格納します。Polyspace 解析結果とは無関係のファイルが大量に入ったフォルダー (リポジトリのルートフォルダーなど) に結果を格納すると、Polyspace Access で結果のアップロードにかかる時間が長くなります。

結果アップロードの互換性とアクセス許可

結果の互換性

解析結果は、結果を生成した Polyspace 製品のバージョンより前のバージョンの Polyspace Access にはアップロードできません。たとえば、Polyspace 製品バージョン R2019b で生成された結果を Polyspace Access バージョン R2019a にアップロードすることはできません。

Polyspace 製品バージョン R2018b 以前で生成された結果をアップロードする場合、その結果を Polyspace Access [確認] パースペクティブで表示することはできません。Polyspace Access にアップロードした R2018b 以前の結果をレビューするには、デスクトップインターフェイスで Polyspace Access の結果を開く (Polyspace Access)を参照してください。

結果を既存の Polyspace Access プロジェクトにアップロードできるのは、その結果が同じタイプの解析から生成された場合のみです。たとえば、Bug Finder 解析の結果を Code Prover の結果を含むプロジェクトにアップロードすることはできません。

アップロードされた結果に関するユーザーのアクセス許可

ユーザーは、自分がアップロードしたすべての結果のプロジェクト [オーナー] になります。プロジェクト [オーナー] または [管理者] は他のユーザーを [コントリビューター] として追加し、結果を参照するアクセス許可を与えなければなりません。ただし、他のユーザーが既に参照するためのアクセス許可を持っているフォルダーに結果をアップロードした場合は例外です。

[パブリック] フォルダーにアップロードした結果はすべての Polyspace Access ユーザーに表示されます。詳細は、Manage Project Permissions (Polyspace Access)を参照してください。

参考

polyspace-access -upload (Polyspace Access)