Polyspace Platform ユーザーインターフェイスでの Bug Finder または Code Prover の結果からのレポートの生成

このトピックでは、Polyspace Platform ユーザーインターフェイスで解析結果からレポートを生成する方法を説明します。標準の Polyspace ユーザーインターフェイスを使用している場合は、Polyspace の結果からのレポートの生成を参照してください。

Polyspace Platform ユーザーインターフェイスでレポートを生成するには、まず Polyspace^® 解析を実行する必要があります。その後、解析結果からレポートを作成するか、結果を CSV 形式でエクスポートできます。

Polyspace Access™ にアップロードされた結果のレポートを実行する際、レポートを作成する対象の Polyspace Access の結果を特定するために、プロジェクトのパスを入力するか、実行 ID を入力するかを選択することができます。これらのフィールドには、現在選択されている結果の情報が自動的に事前入力されています。

Polyspace の結果からレポートを生成するには、以下のいずれかを行います。

Polyspace 解析を実行し、その解析結果からレポートを作成します。ここに記載しているワークフローを参照してください。
解析後にレポートが自動生成されるよう指定します。オプションの詳細については、レポートを参照してください。解析直後のレポート生成は、デスクトップ製品とサーバー製品の両方でサポートされています。
結果をテキストファイルにエクスポートして、グラフと統計を生成します。Polyspace 解析結果のエクスポートを参照してください。

使用するテンプレートに応じて、レポートには [結果のリスト] ペインからの結果の特定の型についての情報が含まれます。結果に関する次の情報を確認できます。

ID: 現在の解析結果固有の番号。
ソースコードで結果を特定するには、Polyspace ユーザーインターフェイスの [結果のリスト] ペイン内か、Polyspace プラグインを使用している場合は IDE 内で、ID を使用します。
チェック: 欠陥名や MISRA C™: 2012 コーディングルール番号など。
ファイルおよび関数
ステータス、重大度、コメント: 結果に関して入力した情報。¹

このレポートを使用して、統計のアーカイブと収集を行い、また、結果が (認証またはそれ以外の目的で) レビューおよび対処されているかをチェックします。ソースコードの結果をレビューするには、Polyspace プラグインを使用している場合は、Polyspace ユーザーインターフェイスまたは IDE を使用します。

レポートの生成

ローカルで開いている結果、または Polyspace Access にアップロードされた任意の結果について、レポートを生成できます。ローカルの結果と Polyspace Access にアップロードされた結果には、違いがある場合があります。

ローカルの結果からのレポートの生成

現在の解析結果からレポートを生成するには、次のようにします。

Polyspace Platform ユーザーインターフェイスで結果ファイルを開きます。
ツールストリップで [レポート] 、 [レポートの実行] を選択します。[レポートの実行] ダイアログボックスが開きます。
レポートの生成に関するオプションを指定します。
- [レポートテンプレートの選択] セクションで、レポートを生成するために使用するレポートテンプレートを選択します。一度に選択できるレポートは 1 つのみです。
  既定のテンプレートは、Polyspace Bug Finder™ の場合は BugFinderSummary.rpt、Polyspace Code Prover™ の場合は Developer.rpt です。
- unit-by-unit 解析のレポートを作成する場合は、[すべてのファイルのレポート] を選択します。そうしない場合は、レポートには現在選択されているユニットの結果のみが含まれます。unit-by-unit 解析のすべての結果のレポートを作成するには、すべてのユニットの解析が正常に完了している必要があります。
- レポートの保存先となる [出力フォルダー] を選択します。
- レポートの [出力形式] を選択します。
[レポートの実行] をクリックします。

Polyspace Access の結果からのレポートの生成

Polyspace Access にアップロードされた結果からレポートを生成するには、次のようにします。

Polyspace Platform ユーザーインターフェイスで結果ファイルを開きます。
ツールストリップで [Access] 、 [Access の結果のレポートを実行] を選択します。[レポートの実行] ダイアログボックスが開きます。
レポートの生成に関するオプションを指定します。
- リストされたサーバーの Polyspace Access ログイン資格情報を入力します。[サーバー] フィールドには、Polyspace Platform で設定したサーバー情報が取り込まれます。Polyspace ユーザーインターフェイスと Polyspace Access の統合 (Polyspace Access)を参照してください。
- プロジェクトのパスまたは結果セットの実行 ID を入力します。Polyspace Platform ユーザーインターフェイスで現在開いている結果が Polyspace Access にアップロードされている場合、これらのフィールドには自動的にプロジェクト情報が取り込まれます。あるいは、[Web インターフェイスを開く] をクリックして Polyspace Access Web インターフェイスを開き、プロジェクトのパスまたは特定の実行 ID を確認します。
- [レポートテンプレートの選択] セクションで、レポートを生成するために使用するレポートテンプレートを選択します。一度に選択できるレポートは 1 つのみです。
  既定のテンプレートは、Polyspace Bug Finder の場合は BugFinderSummary.rpt、Polyspace Code Prover の場合は Developer.rpt です。
- unit-by-unit 解析のレポートを作成する場合は、[すべてのファイルのレポート] を選択します。[すべてのファイルのレポート] を選択しない場合、レポートには現在選択されているユニットの結果のみが含まれます。unit-by-unit 解析のすべての結果のレポートを作成するには、すべてのユニットの解析が正常に完了している必要があります。
- レポートの保存先となる [出力フォルダー] を選択します。
- レポートの [出力形式] を選択します。
[レポートの実行] をクリックします。

指定したレポートがソフトウェアによって作成され、[レポートの実行] ウィンドウにレポート生成のステータスが表示されます。ソフトウェアによるレポートの作成が完了すると、レポートが開きます。あるいは、ツールストリップで [レポート] 、 [開く] を選択して、任意のレポートを開くこともできます。

結果のエクスポート

解析結果は、TSV、JSON、または CSV ファイルにエクスポートできます。エクスポートされたコンテンツを使用すると、次のことができます。

ユーザーインターフェイスから簡単に取得できない結果のグラフや統計を生成する場合は、Microsoft^® Excel^® などのソフトウェアを使用します。たとえば、Code Prover チェックタイプ ([ゼロ除算]、[オーバーフロー] など) ごとに、レッド、オレンジまたはグリーンのチェック数を計算できます。
コードに対して実行した他のチェックと解析結果とを組み合わせることができます。

Polyspace Platform ユーザーインターフェイスで結果をタブ区切りのテキストファイル (TSV) にエクスポートするには、次のようにします。

解析結果を開きます。
すべての結果またはすべての変数アクセス情報をエクスポートします。
- すべての結果をエクスポートするには、[レポート] 、 [すべての結果をエクスポート] を選択します。
- すべての変数アクセス情報をエクスポートするには、[レポート] 、 [変数アクセスのエクスポート] を選択します。変数アクセスの詳細については、Polyspace デスクトップユーザーインターフェイスの [変数アクセス] (Polyspace Code Prover)を参照してください。
テキストファイルを保存する場所を選択します。ファイルは CSV、JSON、TSV のいずれかの形式で保存できます。保存するには、ファイルタイプ All Files (*.*) を選択して、手動でファイルの拡張子を編集します。[保存] をクリックします。

コマンドラインからのレポートの生成

レポートの生成をスクリプトで実行するには、polyspace-report-generator コマンドを使用します。

C:\Users\johndoe\Documents\Polyspace\Examples\Bug_Finder_Example\Module_1\BF_Result にある結果の BugFinder および CodeMetrics の HTML レポートを生成するには、コマンドで次のオプションを使用します。

SET template_path=^
"C:\Program Files\MATLAB\R2018a\toolbox\polyspace\psrptgen\templates\bug_finder"
SET bf_templates=^
%template_path%\BugFinder.rpt,%template_path%\CodingMetrics.rpt
SET results_dir=^
"C:\Users\johndoe\Documents\Polyspace\Examples\Bug_Finder_Example\Module_1\BF_Result"

polyspace-report-generator ^
-results-dir %results_dir% ^
-template %bf_templates% ^
-format html

参考

レポートの生成 | Bug Finder と Code Prover のレポート (-report-template) | 出力形式 (-report-output-format)

トピック

既存の Bug Finder レポートテンプレートのカスタマイズ

¹ Reports generated from Polyspace results are typically meant for archiving and certification. Therefore, the reports contain all Polyspace results, justified or otherwise. Justified results show the justification status, for instance, No Action Planned, along with comments supporting the justification. These reports allow standards committees such as certification authorities to verify if a Polyspace result was justified for approved reasons.