閉ループシステムのテストケースの拡張

Model ブロックで参照されるモデル内に閉ループコントローラーを含むモデルがあるとします。参照モデルについて 100% のカバレッジは記録されません。既存テストケースを拡張することで、100% のカバレッジを達成できるようになります。Simulink^® Design Verifier™ ソフトウェアは、参照モデルにより実装されるコントローラーを解析する際、既存テストケースにタイムステップを追加します。解析結果としてのテストケースは、閉ループコントローラーで想定された連続時間の動作を実際的に反映します。

"閉ループコントローラー" は制御対象のシステムに命令を与え、制御命令の実行時に環境から情報を受け取ります。コントローラーは、この情報を受信する際、命令の受け入れおよび変更を行うことができます。

開始テストケースのログ

この例では、モデル例 sldemo_mdlref_basic を使用します。CounterA Model ブロックはモデル sldemo_mdlref_counter を参照します。親モデル sldemo_mdlref_basic のシミュレーションを実行してカバレッジを収集すると、sldemo_mdlref_counter について 75% のカバレッジしか記録されません。シミュレーションのデータのログを記録して、参照モデルで 100% のカバレッジを達成するようにそれらのテストケースを拡張します。

モデル例 sldemo_mdlref_basic を開きます。
```
openExample('sldemo_mdlref_basic');
```
[アプリ] タブで、[アプリ] セクションの右側にある矢印をクリックします。
[モデルの検証とテスト] の下で [カバレッジアナライザー] をクリックします。
[カバレッジ] タブで、[設定] をクリックします。
コンフィギュレーションパラメーターの [カバレッジ] ペインで、[カバレッジ解析を有効にする] を選択します。
[参照モデル] を選択します。
解析で記録されるカバレッジは、[シミュレーションモード] が [ノーマル]、[SIL] または [PIL] に設定されている参照モデルのみであることに注意してください。sldemo_mdlref_basic の CounterC Model ブロックは、[シミュレーションモード] が [アクセラレータ] に設定されているため、そのカバレッジは記録できません。
判定カバレッジ、条件カバレッジおよび改良条件判定カバレッジを記録するために、[カバレッジメトリクス] の下で、構造カバレッジレベルを [改良条件判定カバレッジ (MCDC)] に設定します。
[OK] をクリックします。
[カバレッジの解析] をクリックします。
カバレッジレポートを開くには、[結果の確認] セクションで [レポートの生成] をクリックします。
シミュレーションが完了すると、生成されたカバレッジレポートがブラウザーウィンドウで開きます。レポートには、次のように参照モデルのカバレッジの結果が表示されます。
- 条件: 50% (2/4) condition outcomes
- 判定: 25% (1/4) decision outcomes
- MCDC: 0% (0/2) conditions reversed the outcome
カバレッジの結果は参照モデル sldemo_mdlref_counter でも強調表示されます。次のスクリーンショットのように、特定のカバレッジの結果をそれぞれのモデルオブジェクトを選択することで、[カバレッジ] ダイアログボックスに表示できます。
シミュレーションの実行時に sldemo_mdlref_basic の CounterA Model ブロックの入力信号のログを記録するには、MATLAB^® コマンドプロンプトで次のコードを入力します。
```
logged_data = sldvlogsignals('sldemo_mdlref_basic/CounterA');
```
existingtestcase.mat という名前の MAT ファイルにログデータを保存します。
```
save('existingtestcase.mat', 'logged_data');
```
CounterA (sldemo_mdlref_counter) で参照されるモデルを解析して既存テストケースを拡張するときに、この MAT ファイルを指定します。

既存テストケースの拡張

解析の拡張によりこれらのテストケースを既に達成されたものと指定して、sldemo_mdfref_counter モデルを解析します。

sldemo_mdlref_basic モデルで CounterA Model ブロックをダブルクリックして sldemo_mdfref_counter モデルを開きます。
[Design Verifier] タブで、[テスト生成の設定] をクリックします。
[コンフィギュレーションパラメーター] ダイアログボックスの [テスト生成] ペインの [モデルカバレッジオブジェクティブ] ボックスで [MCDC] を選択します。
[詳細設定パラメーター] で、[未達カバレッジのテストを追加] を選択します。
[既存のテストデータを使用して拡張] チェックボックスをオンにします。
[カバレッジデータ] フィールドで、ログデータを含む MAT ファイルの名前を指定します。ここでは、「existingtestcase.mat」と入力します。
[OK] をクリックします。
[テストの生成] をクリックします。
解析は、ログに記録されたテストケースで達成されたオブジェクティブを最初に読み込みます。その後、追加のタイムステップをそれらのテストケースに追加し、未達オブジェクティブを達成させようとします。解析が完了すると、Simulink Design Verifier のログウィンドウが開き、12 のすべてのオブジェクティブが達成されることが示されます。
モデル上に解析結果を表示するには、Simulink Design Verifier のログウィンドウで、[解析結果をモデル上で強調表示] を選択します。
Simulink Design Verifier の結果は参照モデル sldemo_mdlref_counter 内で強調表示されます。次のスクリーンショットのように、特定の解析結果をそれぞれのモデルオブジェクトを選択することで、Simulink Design Verifier の [結果] ダイアログボックスに特定の解析結果を表示できます。
解析結果を検証して生成されたテストケースをレビューするには、Simulink Design Verifier のログウィンドウで [詳細な解析レポートを生成] を選択します。
拡張されたテストスイートを使用してモデルカバレッジを収集するには、Simulink Design Verifier のログウィンドウで、[テストをシミュレートしてモデルカバレッジレポートを生成] を選択します。
シミュレーションが完了すると、生成されたカバレッジレポートがブラウザーウィンドウで開きます。ここで、レポートには参照モデル sldemo_mdlref_counter のカバレッジ結果が以下のように表示されます。
- 条件: 100% (4/4) condition outcomes
- 判定: 100% (4/4) decision outcomes
- MCDC: 100% (2/2) conditions reversed the outcome