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

カバレッジオプションの指定を行いカバレッジの結果を記録した後に結果エクスプローラーを使用して、記録したカバレッジデータにアクセスし、その管理と累積を行うことができます。必要なカバレッジ結果を累積した後に、累積したカバレッジデータを使用して最上位モデルカバレッジレポートの作成またはモデルカバレッジ 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 つ実行すると、カバレッジレポートの集計に、モデル要素間のリンク、テストケース、リンクされている要件の詳細が記載されます。詳細については、要件テストの詳細を参照してください。

フィルターの作成と管理

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

結果エクスプローラーを開きます。
[適用済みのフィルター] タブをクリックします。

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.