Main Content

このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

結果エクスプローラーを使用したモデル カバレッジ結果のアクセス、管理および累積

カバレッジ オプションの指定を行いカバレッジの結果を記録した後に結果エクスプローラーを使用して、記録したカバレッジ データにアクセスし、その管理と累積を行うことができます。必要なカバレッジ結果を累積した後に、累積したカバレッジ データを使用して最上位モデル カバレッジ レポートの作成またはモデル カバレッジ Web ビューのエクスポートが可能です。

結果エクスプローラーからカバレッジ データへのアクセス

カバレッジ解析後に結果エクスプローラーを開くには、[カバレッジ アナライザー] アプリで [結果エクスプローラー] をクリックします。結果エクスプローラーが開き、直近のカバレッジの実行が表示されます。

Default view of the Results Explorer. The system name is on the left, with sub-fields for settings, applied filters, current cumulative data, and data repository. The overview of the current run is on the right, including the model version, author, execution start time and date, coverage data file name, short description, and coverage summary.

現在のデータの検証結果の概要は、結果エクスプローラー内から、または [レポートの生成] をクリックしてフル カバレッジ レポートを作成することによって表示できます。カバレッジを記録した後にモデルに変更を加えない場合は、モデルを再度シミュレートして新しいカバレッジ レポートを生成する必要はありません。カバレッジ レポートの詳細については、最上位モデル カバレッジ レポートを参照してください。

[カバレッジの結果によりモデルを強調表示] をクリックしてモデルの結果を強調表示すると、モデル オブジェクトのカバレッジ結果を簡単に確認できます。詳細については、モデル カバレッジの強調表示の概要を参照してください。

設定

カバレッジの結果エクスプローラーで、カバレッジ データのデータとレポートの設定にアクセスできます。これらの設定にアクセスするには、[設定] をクリックします。

Default Results Explorer Settings. On the right is a list of Settings available for edit.

オプション説明

累積データの収集を有効にする

既定では、連続シミュレーションによるカバレッジの結果を累積します。[コンフィギュレーション パラメーター] ダイアログ ボックスの結果セクションで、.cvt ファイルの名前と出力フォルダーを指定します。詳細については、累積カバレッジ データを参照してください。

累積進行状況レポートの表示

[現在の実行] のカバレッジ結果、以前の累積データと比較したカバレッジの [デルタ]、現在のすべての累積データから合計した [累積] データを、別々にカバレッジ レポートに表示します。このオプションを選択しない場合は、現在のすべての累積データから合計した [累積] データのみが表示されます。

レポートの表示

モデルのシミュレーション終了時に、生成された HTML カバレッジ レポートを MATLAB® ブラウザー ウィンドウで開きます。詳細については、最上位モデル カバレッジ レポートを参照してください。

HTML レポートには、Simulink® Coverage™ のコンテキスト タブからアクセスします。コンテキスト タブは、[カバレッジ アナライザー] アプリを開いたときに表示されます。

Web ビュー レポートの生成

モデルのシミュレーション終了時に、生成されたモデル カバレッジ Web ビューを MATLAB ブラウザー ウィンドウで開きます。詳細については、モデル カバレッジ Web ビューのエクスポートを参照してください。

モデルの概要に各テストを含める

HTML レポートの最上部で、モデルの階層構造表に各テストのカバレッジ メトリクスの列が表示されます。このオプションを選択しない場合、モデル概要レポートにはカバレッジの合計のみが表示されます。

集計されたテスト情報の表示

1 つ以上のサブシステムハーネスのカバレッジを記録した場合、[テスト集計] セクションに、実行された各ユニット テストがリストされます。詳細については、テスト集計を参照してください。

モデルの概要で棒グラフを生成

モデルの概要に各カバレッジ結果の棒グラフが表示され、カバレッジが視覚的に表されます。

2 つの色付き棒グラフ (赤色、青色) を使用

白色と黒色の棒グラフの代わりに、赤色と青色の棒グラフがレポートに表示されます。

モデルの概要でヒット/カウント数の割合を表示

カバレッジの数値をパーセンテージと割合 (67% (8/12) など) で表示します。

完全にカバーされているモデル オブジェクトをレポートから除外

カバレッジ レポートには、シミュレーションで完全にカバーされていないモデル オブジェクトのみが表示されます。生成レポートのサイズが小さくなるため、テスト開発時に便利です。

完全にカバーされているモデル オブジェクトの詳細をレポートから除外

完全にカバーされているモデル オブジェクトをレポートに含めることを選択した場合、完全にカバーされているモデル オブジェクトの詳細はレポートに含められません。

概要に循環的複雑度の数値を含める

モデルの循環的複雑度 (モデル カバレッジの種類を参照) と、モデルの最上位のサブシステムとチャートがレポートの概要に表示されます。循環的複雑度の値が太字で表示されている場合、複雑度の計算時にサブシステム自体がオブジェクトとみなされていることを表しています。太字テキストは、アトミック サブシステムおよび条件付きで実行されるサブシステムと Stateflow® Chart ブロックで表示される可能性があります。

ブロックの詳細に循環的複雑度の数値を含める

レポートのブロック詳細セクションに、循環的複雑度のメトリクスが表示されます。

レポートからの Stateflow イベントにフィルターをかける

Stateflow イベントのカバレッジ データが除外されます。

実行メトリクスをレポートからフィルターにより除外

実行メトリクスのカバレッジ データが除外されます。

リンクされた要件をカバレッジ レポートの集計に含める

Simulink Requirements™ の要件にリンクされた Simulink Test™ のテスト ケースを少なくとも 2 つ実行すると、カバレッジ レポートの集計に、モデル要素間のリンク、テスト ケース、リンクされている要件の詳細が記載されます。詳細については、要件テストの詳細を参照してください。

フィルターの作成と管理

結果エクスプローラー内から、現在のカバレッジ データ用のフィルターを作成し、読み込み、編集できます。

  1. 結果エクスプローラーを開きます。

  2. [適用済みのフィルター] タブをクリックします。

Default view of the Filter Editor pane of the Results Explorer. On the right there are 4 selections: New filter, Load filter, Make justification filter rules for dead logic (using Simulink Design Verifier), and Make justification filter rules for dead logic (using Polyspace Code Prover results).

モデル オブジェクトのフィルター処理の詳細については、カバレッジ フィルターの作成と使用を参照してください。

結果エクスプローラーからのカバレッジ データの管理

カバレッジを記録した後に、カバレッジ データを結果エクスプローラーから管理することができます。カバレッジ データの詳細を表示するには、[現在の累積データ] で、対象のカバレッジ データをクリックします。実行ごとに説明とタグを編集できます。カバレッジ データの詳細表示を終了する前に、[適用] をクリックして変更を適用します。そうしない場合、変更は元に戻ります。

説明やタグを追加するなど、カバレッジ データに変更を適用すると、データのアイコンの横にアスタリスクが表示されます。これらの変更を保存するには、データを右クリックして [変更されたカバレッジ データを保存] をクリックします。

結果エクスプローラーからのカバレッジ データの累積

複数のカバレッジ実行を記録する場合、各実行はデータ リポジトリ内で別々に表示されます。[データ リポジトリ] から [現在の累積データ] に実行をドラッグ アンド ドロップすると、累積カバレッジ データに含める実行を管理できます。あるいは、[データ リポジトリ] または [現在の累積データ] で実行を右クリックして、累積カバレッジ データに含めたり、累積カバレッジ データから除外したりします。

Default view of the Results Explorer with "Current Cumulative Data" selected. The overview of the current run is on the right, including the model version, author, execution start time and date, coverage data file name, short description, and coverage summary.

現在の累積データセットを .cvt ファイルに保存するには、[累積カバレッジ データを保存] をクリックします。また、[現在の累積データ] を右クリックして [累積カバレッジ データを保存] を選択することもできます。

既存のカバレッジ データの読み込み

[データ リポジトリ] にはカバレッジ データが含まれており、これは入力フォルダーに保存されます。入力フォルダーは、[コンフィギュレーション パラメーター] ダイアログ ボックス[カバレッジ]結果セクション[出力ディレクトリ] フィールドで指定します。

Default view of the Results Explorer with "Data Repository" selected. On the right, the Simulink model and Input folder are displayed, as well as a Checksum for the current data.

入力フォルダー内のデータとデータ リポジトリ内のデータを同期するには、[現在のカバレッジ データ フォルダーと同期] をクリックします。

既存のカバレッジ データをデータ リポジトリに読み込むには、次を行います。

  1. [データ リポジトリ] を右クリックします。

  2. [カバレッジ データの読み込み] を選択します。

  3. 現在のモデルの既存のカバレッジ データを選択して [開く] をクリックします。