レポートの生成

解析後にレポートを生成するかどうかの指定

説明

解析結果と共にレポートを生成するかどうかを指定します。

指定する形式によっては、外部ソフトウェアを使用してこのレポートを表示できます。たとえば、PDF 形式を指定した場合、レポートを pdf リーダーで表示できます。

以下のいずれかの方法を使用してオプションを設定します。

Polyspace^® ユーザーインターフェイス (デスクトップ製品のみ): プロジェクト構成で [レポート] ノードを選択してから、このオプションを選択します。
Polyspace Platform ユーザーインターフェイス (デスクトップ製品のみ): プロジェクト構成の [静的解析] タブで [レポート] ノードを選択してから、このオプションを選択します。
コマンドラインとオプションファイル: コマンドライン情報を参照してください。

アーカイブを目的に解析結果からレポートを生成できます。このレポートをコード品質の証明として管理者やクライアントに提供できます。

他の解析オプションを使用し、具体的なニーズに合わせてレポートのコンテンツや形式を調整できます。Bug Finder と Code Prover のレポート (-report-template) および出力形式 (-report-output-format) を参照してください。

オン

Polyspace は指定されたテンプレートと形式を使用して解析レポートを生成します。

レポートは、結果フォルダーの Polyspace-Doc サブフォルダーに保存されます。

Polyspace デスクトップ製品でユーザーインターフェイスから結果フォルダーを開くには、[プロジェクトブラウザー] ペインで結果ノードを右クリックし、[ファイルマネージャーでフォルダーを開く] を選択します。

結果フォルダーの場所を変更するには、Polyspace プロジェクトフォルダーと結果フォルダーの内容を参照してください。

コマンドラインでは、結果フォルダーはオプション -results-dir の引数です。

オフ (既定の設定)

Polyspace は解析レポートを生成しません。ただし、結果は Polyspace インターフェイスで表示できます。

このオプションにより、解析を開始する前にレポート生成を指定できます。

解析の完了 "後" にレポートを生成するには、Polyspace デスクトップ製品のユーザーインターフェイスで [レポート] 、 [レポートの実行] を選択します。または、コマンドラインで polyspace-report-generator コマンドを使用します。

解析後、さらにカスタマイズを行うため、結果をテキストファイルとしてエクスポートすることもできます。polyspace-report-generator コマンドでオプション -generate-results-list-file を使用します。

レポート生成プログラムをオンにするだけのコマンドラインオプションはありません。しかし、テンプレートにオプション -report-template を、出力形式にオプション -report-output-format を使用すると、レポート生成プログラムが自動的にオンになります。