モデル カバレッジ
モデル カバレッジは、カバレッジ対象のオブジェクト、ステート、遷移の動作を解析し、シミュレーション経路のうちどの程度が実行されているかをモデル内のカバレッジ対象のオブジェクトごとに測定することによってモデルを検証するのに役立ちます。モデルでカバレッジを有効にしてからシミュレーションを開始することで、モデルのモデル カバレッジを収集できます。または、Simulink® Test™ のテスト マネージャーを使用してテスト ケースを作成することでテスト ケースが達成するカバレッジ オブジェクティブの割合を測定できます。モデル カバレッジを測定可能なオブジェクトの詳細なリストについては、カバレッジの対象となるモデル オブジェクトを参照してください。
モデル カバレッジの概要
モデルのカバレッジを有効にするには、[モデル化] タブで、[モデル設定] をクリックします。[コンフィギュレーション パラメーター] ダイアログ ボックスの左側のペインで、[カバレッジ] をクリックしてから、[カバレッジ解析を有効にする] を選択します。
ブロック実行カバレッジ、判定カバレッジ、条件カバレッジ、および改良条件判定カバレッジなどのさまざまなカバレッジ メトリクスでモデルを解析できます。モデル カバレッジで測定されるカバレッジの種類の完全なリストについては、モデル カバレッジの種類を参照してください。
Simulink Coverage™ は、ノーマル モードでのシミュレーション時のみ、モデルのモデル カバレッジを収集できます。
Embedded Coder® ライセンスをお持ちの場合は、ソフトウェアインザループ (SIL) モードまたはプロセッサインザループ (PIL) モードのモデルから生成されたコードのコード カバレッジも測定できます。コード カバレッジで測定されるカバレッジの種類については、コード カバレッジの種類を参照してください。コード カバレッジを有効にする方法の例については、ソフトウェアインザループ (SIL) モードおよびプロセッサインザループ (PIL) モードのモデルのコード カバレッジを参照してください。
カバレッジ データの種類
[実行] ボタンを使用してカバレッジを有効にしてモデルをシミュレートすると、Simulink Coverage で [カバレッジの詳細] ペインが開き、カバレッジ レポートが表示されます。
モデル カバレッジの解析結果を示すモデル カバレッジ レポートの手動生成もできます。このレポートには、概要だけでなく、モデルに含まれるブロックと選択するカバレッジ メトリクスに応じて、解析した各オブジェクトのカバレッジの詳細も含まれます。
いずれの場合も、表示されるカバレッジ レポートの種類はカバレッジ データの形式によって決まり、カバレッジ データの形式はモデルに何が含まれているかによって決まります。
カバレッジ データ
外部コード ファイルを呼び出さない、またはモデル参照を含まない 1 つのモデルを解析する場合、Simulink Coverage は cvdata
オブジェクトにカバレッジ データを保存します。cvdata
オブジェクトからカバレッジ レポートを生成すると、モデルの最上位モデル カバレッジ レポートが表示されます。このレポートには、モデル内の各解析対象オブジェクトの詳細が含まれます。
カバレッジ データ グループ
外部コード ファイルを呼び出す、またはモデル参照を含むモデルの場合、Simulink Coverage は各モデルまたはファイルに対する cvdata
オブジェクトを含む cvdatagroup
オブジェクトにカバレッジ データを返します。モデル概要カバレッジ レポートは、cvdatagroup
オブジェクトに含まれる各 cvdata
オブジェクトのカバレッジ レポートにリンクします。