変更されたモデルへのテストケースの拡張

このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。

Simulink^® Design Verifier™ を使用して既に解析されているモデルがあり、そのモデルを修正するとします。変更されたモデルでは、元のテストスイートが 100% のカバレッジを記録しない場合があります。変更されたモデルを再解析して、すべての新しいテストオブジェクティブが達成されることを確認します。モデル全体を再解析する代わりに、モデルの変更された部分のみに新しい解析の焦点を絞ります。このように、元のモデルで作成されたテストケースを活用して、新しいオブジェクティブを達成させるようにそれを拡張します。

この例では、sldvdemo_cruise_control モデルを使用します。モデルを解析してテストケースを生成します。その後、元の解析からテストケースを拡張して、変更されたバージョンのモデル sldvdemo_cruise_control_mod を解析します。解析は、新しいモデルの完全なテストスイートを返します。

開始テストケースの作成

sldvdemo_cruise_control モデルを解析して、100% のカバレッジを達成するテストケースを生成します。

モデル例を開きます。
```
sldvdemo_cruise_control
```
Run Simulink Design Verifier ブロックをダブルクリックして sldvdemo_cruise_control モデルの Simulink Design Verifier の解析を開始します。
解析により、sldvdemo_cruise_control モデルの 34 のテストオブジェクティブが達成されます。MATLAB^® の現在のフォルダーのサブフォルダーに結果のデータファイルが保存されます。
```
sldv_output\sldvdemo_cruise_control\sldvdemo_cruise_control_sldvdata.mat
```
次の節で、変更されたモデルを解析するときに、拡張する開始テストケースをこのデータファイルにより指定します。
sldvdemo_cruise_control モデルと解析で作成されたすべてのファイルを閉じます。確認を求められた場合、モデルへの変更は保存しないでください。

既存テストケースの拡張

sldvdemo_cruise_control_mod モデルは sldvdemo_cruise_control の変更されたバージョンです。Controller サブシステムには、ターゲット速度が 70 を超えられないことを示す Saturation ブロックが含まれます。

変更されたモデルを開き、sldvdemo_cruise_control モデルの解析時に生成されたテストケースを拡張して解析します。

モデル例 (sldvdemo_cruise_control の変更されたバージョン) を開きます。
```
sldvdemo_cruise_control_mod
```
元のモデルに加えられた変更 (最高速度を指定する Saturation ブロック) を表示するには、Controller サブシステムをダブルクリックします。
Controller サブシステムを閉じます。
[Design Verifier] タブで、[テスト生成の設定] をクリックします。
[コンフィギュレーションパラメーター] ダイアログボックスの [テスト生成] ペインの [既存のテストケース] の下で、[既存テストケースの拡張] を選択します。
[データファイル] フィールドで [参照] をクリックして、元のモデルの解析時に MATLAB の現在のフォルダーに作成された MAT ファイルを参照します。
```
sldv_output\sldvdemo_cruise_control\sldvdemo_cruise_control_sldvdata.mat
```
[既存のテストケースで条件が満たされているオブジェクティブを無視する] をオフにします。
このオプションをオフにすると、ファイル sldvdemo_cruise_control_sldvdata.mat に記録されたテストケースが解析により最終的なテストスイートに含まれます。
[適用] をクリックして、これらの設定を保存します。
[テスト生成] をクリックして解析を開始します。
解析では、最初にテストケースで達成された 34 のオブジェクティブが読み込まれます。その後、追加のタイムステップをそれらのテストケースに追加し、未達オブジェクティブを達成させようとします。
[検証結果の概要] ウィンドウで、[詳細な解析レポートを生成] をクリックします。
sldvdemo_cruise_control_mod モデルでは合計 38 のオブジェクティブが達成されます。解析では、Saturation ブロックに対応する追加の 4 つのオブジェクティブが達成されています。