カバレッジ結果へのアクセス、管理および集計

カバレッジオプションの指定を行いカバレッジの結果を収集した後に、結果エクスプローラーを使用して、収集したカバレッジデータにアクセスし、その管理と集計を行うことができます。必要なカバレッジ結果を集計した後に、集計したカバレッジデータを使用して最上位モデルカバレッジレポートまたはモデルカバレッジ 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.

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

[バリアントの非アクティブな選択肢を除外] を選択し、バリアントの非アクティブな選択肢に対するカバレッジ結果を除外します。バリアントの非アクティブな選択肢に関するカバレッジ情報を受け取るには、このオプションをオフにします。このオプションは、[バリアントのアクティベーションのタイミング] が [起動] に設定されたバリアントブロックと Stateflow^® チャートのバリアントコンフィギュレーションに適用されます。詳細については、バリアントブロックのモデルカバレッジを参照してください。

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

[シミュレーションデータインスペクターを開く] をクリックして、シミュレーションデータインスペクターで現在選択されている実行シミュレーションデータを表示します。このオプションを使用可能にするには、信号ログ用の信号を選択するなどして、シミュレーションデータインスペクターで開くことができる有効なデータをモデルが生成する必要があります。シミュレーションデータインスペクターの詳細については、シミュレーションデータインスペクターでのシミュレーションデータの表示を参照してください。

設定

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

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 イベントのカバレッジデータが除外されます。
実行メトリクスをレポートからフィルターにより除外	実行メトリクスのカバレッジデータが除外されます。
リンクされた要件をカバレッジレポートの集計に含める	Requirements Toolbox™ の要件にリンクされた Simulink Test™ のテストケースを少なくとも 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).

オプション	説明
新規フィルター	空白のフィルターを作成し、カバレッジの結果エクスプローラーの [フィルターエディター] ペインを開きます。
フィルターの読み込み	[フィルターの読み込み] 選択ウィンドウが開きます。
デッドロジックに対する正当化フィルター規則を作成 (Simulink Design Verifier™ を使用)	Simulink Design Verifier 設計エラー検出が起動します。詳細については、モデルにおける設計エラーの解析 (Simulink Design Verifier)を参照してください。
デッドロジックに対する正当化フィルター規則を作成 (Polyspace^® Code Prover™ の結果を使用)	Polyspace Code Prover の結果ファイルの選択を求めるファイル選択ウィンドウが開きます。

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

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

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

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

カバレッジ結果をもつモデルを強調表示すると、カバレッジの結果エクスプローラーの [現在の累積データ] の横に [(H)] と表示されます。

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

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

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.