時相論理を含むモデルのテストケースの拡張

開始テストケースの作成

この例では、sldvdemo_sbr_extend_design モデルを使用します。このモデルには、時相論理を使用する Stateflow^® チャート SBR が含まれます。Stateflow チャートのシミュレーションが 500 回実行されると、KEY_OFF 状態から KEY_ON 状態への遷移が発生します。この遷移をテストするには、500 のタイムステップをもつテストケースが必要です。

この例では、テストケースの期間中 KEY 入力を 1 に設定して、KEY_ON に遷移させるテストケースを作成します。このテストケースを使用して、モデルのシミュレーションを実行して KEY_OFF/KEY_ON の遷移のオブジェクティブを達成させます。その後、作成したテストケースで既に達成されているオブジェクティブを無視してモデルを解析します。

モデル例を開きます。

openExample('sldv/DefiningExtendingExistingTestsCasesExample',...
'supportingFile','sldvdemo_sbr_extend_design');

SBR Stateflow チャートを開いて KEY_OFF/KEY_ON の遷移を表示します。
モデル参照のハーネスモデルを作成します。
```
[~, harnessModelFilePath] = ...
    sldvmakeharness('sldvdemo_sbr_extend_design',[],[],true);
```
ハーネスモデル sldvdemo_sbr_extend_design_harness には、次が含まれます。
- 元のモデル sldvdemo_sbr_extend_design を参照する Test Unit という名前の Model ブロック。
- Model ブロックで参照されるモデルへのテストケース入力を含む Inputs という名前の Signal Editor ブロック。
  最初、Signal Editor ブロックには既定のテストケースのみが含まれ、3 つの入力はすべて 0 に設定されています。
- テストケースを記述する Test Case Explanation という名前の DocBlock ブロック。
  最初、Test Case Explanation ブロックには既定のテストケースについてのコンテンツはありません。
sldvmakeharness は harnessModelFilePath 内のハーネスモデルファイルへのパスを返します。後で使用するために、ハーネスモデルファイルの名前を harnessModel に抽出します。
```
[~, harnessModel] = fileparts(harnessModelFilePath);
```

KEY_OFF から KEY_ON への状態の遷移を解析するために、Signal Editor ブロックで 500 のタイムステップで KEY_ON 状態に遷移するテストケースを作成します。Signal Editor ブロックを閉じます。

開始テストケースのログ

次のステップは、作成した開始テストケースのログを記録することです。その後の解析の実行時に、そのテストケースが達成したオブジェクティブを Simulink^® Design Verifier™ が無視するように指定することができます。

関数 sldvlogsignals は、sldvData 構造体を含む MAT ファイルにテストケースデータを記録します。この構造体には、解析時に収集および生成されたすべてのデータが格納されます。

開始テストケースのログは次の手順で記録します。

sldvdemo_sbr_extend_design モデルを参照するハーネスモデルの Model ブロックの名前を保存します。
```
[~, modelBlock] = find_mdlrefs(harnessModel, false);
```
新しいテストケースを使用して Model ブロックで参照されるモデルのシミュレーションを実行し、ワークスペース変数 loggeddata の入力信号をログに記録します。
```
loggeddata = sldvlogsignals(modelBlock{1});
```
existingtestcase.mat という名前の MAT ファイルにログデータを保存します。
```
save('existingtestcase.mat', 'loggeddata');
```
sldvdemo_sbr_extend_design モデルを解析するときにこのファイルを指定します。

既存テストケースの拡張

ここで、sldvdemo_sbr_extend_design モデルを解析して、既に達成されているテストケースを解析で拡張するように指定できます。解析ではまず既存テストケースデータを使用し、SBR Stateflow チャートの KEY_OFF から KEY_ON への遷移のテストケースを生成しようとはしません。

開始テストケースを指定してモデルを解析します。

モデルを開きます。

open_system('sldvdemo_sbr_extend_design');

[Design Verifier] タブで、[テスト生成の設定] をクリックします。
[コンフィギュレーションパラメーター] ダイアログボックスの [テスト生成] ペインの [未達カバレッジのテストを追加] の下で、[既存のテストデータを使用して拡張] を選択します。
[テストデータ] フィールドで、ログデータを含む MAT ファイルの名前を入力します。
```
existingtestcase.mat
```
[既存のテスト/カバレッジデータで達成されたオブジェクティブをレポート内で区別] をオフにします。
このオプションをオフにすると、最終的なテストスイートに開始テストケースが含まれます。完全なテストスイートにより 100% のモデルカバレッジが達成されることが示されます。
[OK] をクリックして [コンフィギュレーションパラメーター] ダイアログボックスを閉じます。
sldvdemo_sbr_extend_design モデルを MATLAB^® パス上に sldvdemo_sbr_extend_design_test という名前で保存します。
[テストの生成] をクリックします。
ログウィンドウには、最初に開始テストケースで達成されたオブジェクティブがリストされます。
次に開始テストケース外で生成されたオブジェクティブがリストされます。

解析結果の検証

この解析で完全なテストスイートが作成されたことを確認するため、ハーネスモデルを生成して生成されたテストケースでモデルをシミュレートできるようにします。

[Design Verifier] タブの [結果の確認] セクションで、[テストハーネスモデルの作成] をクリックします。
ハーネスモデル sldvdemo_sbr_extend_design_test_harness で、Inputs という名前の Signal Editor ブロックを開きます。
すべてのテストケースを使用してモデルをシミュレートするには、[すべてを実行しカバレッジを生成] ボタンをクリックします。
シミュレーションが完了すると、モデルカバレッジレポートが表示されます。
sldvdemo_sbr_extend_design_test モデルのカバレッジ情報を表示して、完全なテストスイートが 100% のカバレッジを達成していることを確認します。