このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Polyspace Platform ユーザー インターフェイスでのレポートの生成

解析結果のレポートによる品質の監視

Polyspace® は解析結果の固有の特徴を選択するために事前定義されたレポート テンプレートを提供します。要件に対して適切な情報を収集するレポート テンプレートを選択します。詳細は、Bug Finder と Code Prover のレポート (-report-template)を参照するか、サンプルの結果で別のレポート テンプレートをお試しください。

MATLAB® Report Generator™ がシステムにインストールされている場合、要件に合わせてレポート テンプレートをさらにカスタマイズできます。

システム コマンド

polyspace-report-generator(システム コマンド) ローカルで、または Polyspace Access に保存される Polyspace 解析結果のレポートの生成
polyspace-results-export(システム コマンド) CSV や JSON などの外部形式への Polyspace 結果のエクスポート

MATLAB API

すべて展開する

polyspace_reportPolyspace 解析結果のレポートを生成
polyspace.CodeProverResultsPolyspace Code Prover の結果を MATLAB から読み取る

Polyspace オプション

レポートの生成解析後にレポートを生成するかどうかの指定
Bug Finder と Code Prover のレポート (-report-template)解析レポートを生成するためのテンプレートの指定
出力形式 (-report-output-format)生成されるレポートの出力形式の指定

Report Generator コンポーネント

すべて展開する

コード メトリクスの概要Polyspace メトリクスのテーブルの作成
コード検証の概要Polyspace 解析結果のテーブルの作成
コーディング ルールの概要コーディング ルール違反の数を示すテーブルの作成
欠陥の概要欠陥のテーブルの作成 (Bug Finder のみ)
ファイル順に並べられた実行時チェックの概要実行時チェックがファイル別に並べ替えられているテーブルの作成 (Code Prover のみ)
ソフトウェア品質目標 - コーディング ルールの概要Polyspace Metrics からダウンロードした結果内のコーディング ルール違反を示すテーブルの作成
ソフトウェア品質目標 - 実行時チェックの概要Polyspace Metrics からダウンロードした結果の概要のテーブルの作成
各ファイルの概要Polyspace 結果の概要をファイル別に示す表の作成
呼び出し階層ソース コード内の呼び出しグラフを示すテーブルの作成
コードと検証の情報検証時間とコード特性のテーブルの作成
コード メトリクスの詳細ファイルおよび関数で分類された Polyspace メトリクスのテーブルの作成
コーディング ルールの詳細ファイルで分類されたコーディング ルール違反のテーブルの作成
グローバル変数のチェックグローバル変数のテーブルの作成 (Code Prover のみ)
再帰関数再帰関数のテーブルの作成
レポートのカスタマイズ (フィルタリング)Polyspace レポートに適用するフィルターの作成
色/ファイル順に並べられた実行時チェックの詳細Polyspace レポートにおけるグローバル フィルターのオーバーライドの作成 (Code Prover のみ)
レビュー情報順に並べられた実行時チェックの詳細実行時チェックがレビュー情報別に並べ替えられているテーブルの作成 (Code Prover のみ)
ソフトウェア品質目標 - 実行時チェックの詳細Polyspace Metrics からダウンロードした結果の詳細のテーブルの作成
変数アクセスソース コード内のグローバル変数アクセスを示すテーブルの作成 (Code Prover のみ)
レビュー情報順に並べられた変数チェックの詳細グローバル変数の結果がレビュー情報別に並べ替えられている表の作成 (Code Prover のみ)
頭字語の定義レポートで使用される Polyspace 頭字語とその完全形のテーブルの作成
コンフィギュレーション パラメーター解析オプション、仮定およびコーディング ルール構成のテーブルの作成

トピック

レポートの作成 (PDF、Word、HTML)

結果のエクスポート (Excel、MATLAB)