Main Content

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

モデル カバレッジ ツールの基本操作

この例では、[コンフィギュレーション パラメーター] ダイアログを使用して Simulink® モデルのカバレッジを有効にし、レポートされる情報のタイプを調整する方法を示します。

モデル例を開く

Simulink に付属している sldemo_clutch モデル例は、モデル カバレッジの概要を知る上で便利です。このモデルには内部判定機能をもつブロックがいくつか含まれ、制御フローは複数のパスを取ることができます。

[カバレッジの設定] ダイアログを開く

カバレッジの設定は、[コンフィギュレーション パラメーター] ダイアログ ボックスの [カバレッジ] ペインにあります。このペインに移動するには、[モデル化] タブから [モデル設定] をクリックします。

複数のカバレッジ メトリクスの有効化

カバレッジを有効にするには、[カバレッジ解析を有効にする] を選択します。この設定により、[カバレッジ] ペイン内の他のオプションが有効になります。

[カバレッジ メトリクス] セクションは、シミュレーション時に収集するカバレッジ情報のタイプを制御します。

[構造カバレッジ レベル] ドロップダウン メニューを使用すると、シミュレーション時に解析する構造カバレッジ メトリクスを選択できます。これらは、最も厳密度が低いもの ([ブロックの実行]) から最も厳密なもの ([修正条件判定カバレッジ (MCDC)]) の順に並べられています。

この例では、[修正条件判定カバレッジ (MCDC)] 構造カバレッジ レベルを選択します。結果のレポートには、判定カバレッジと条件カバレッジの結果も含まれます。

[その他のメトリクス] トグル パネルの下に追加のカバレッジ メトリクスがあります。黒い矢印をクリックしてこのパネルを展開すると、利用可能なメトリクスが表示されます。すべてのカバレッジ メトリクスを選択すると、最も多くのカバレッジ情報が提供されます。

この例では、[信号範囲][ルックアップ テーブル] を選択します。

[OK] をクリックして選択した設定を適用し、[カバレッジの設定] ダイアログ ボックスを閉じます。

シミュレーションの実行と結果の調査

モデルのカバレッジ解析を有効にしたら、モデルをシミュレートしてカバレッジ情報を収集します。シミュレーションが終了すると、モデルの [カバレッジの詳細] ペインが開き、モデルの結果が表示されます。さらに、カバレッジ強調表示オーバーレイが表示され、モデル内の各オブジェクトのカバレッジの完全性が視覚的に示されます。

[実行 (カバレッジ)] ボタンをクリックしてモデルをシミュレートし、カバレッジを収集します。

結果エクスプローラーからカバレッジ レポートを生成

シミュレーションが終了したら、ツールストリップの [カバレッジ] タブで、[結果エクスプローラー] をクリックします。カバレッジの結果エクスプローラーでは、モデルのカバレッジ結果を処理、表示およびレポートするためのさまざまな機能が提供されています。

カバレッジの結果エクスプローラーのウィンドウ下部にある [レポートの生成] リンクをクリックします。これにより、組み込みの MATLAB® Web ブラウザー内に表示されるカバレッジ情報の HTML レポートが生成されます。