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

開始テストケースの作成

この例では、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 Builder ブロック。
  最初、Signal Builder ブロックには既定のテストケースのみが含まれ、3 つの入力はすべて 0 に設定されています。
- テストケースを記述する Test Case Explanation という名前の DocBlock ブロック。
  最初、Test Case Explanation ブロックには既定のテストケースについてのコンテンツはありません。
sldvmakeharness は harnessModelFilePath 内のハーネスモデルファイルへのパスを返します。後で使用するために、ハーネスモデルファイルの名前を harnessModel に抽出します。
```
[~, harnessModel] = fileparts(harnessModelFilePath);
```

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

ハーネスモデルの [Signal Builder] ダイアログボックスを開きます。
[座標軸] 、 [時間範囲の変更] を選択します。
Signal Builder の時間範囲は、その出力が明示的に定義される時間の区間を決定します。[合計時間範囲設定] ダイアログボックスで、[最大時間] フィールドを 5 秒に設定し、0.01 秒間隔の 500 のタイムステップを作成します。
この開始テストケースの期間中、KEY 入力を 1 に設定し、これにより KEY_ON 状態に遷移させます。Inputs.KEY 信号を選択するには、2 回のクリックが必要です。最初に、信号をクリックすると信号の両端に点が表示されます。
再度 Inputs.KEY の信号をクリックします。その信号が太くなり、選択された状態になったことが示されます。
[Signal Builder] ダイアログボックスの下部の [左ポイント] の下の [Y] に「1」と入力します。
Enter キーを押して、変更を適用します。
テストケースの期間に対して Inputs.KEY 信号が 1 に設定されます。
[Signal Builder] ダイアログボックスを閉じます。

開始テストケースのログ

次のステップは、作成した開始テストケースのログを記録することです。その後の解析の実行時に、そのテストケースが達成したオブジェクティブを 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 Builder ブロックを開きます。
すべてのテストケースを使用してモデルをシミュレートするには、[すべてを実行しカバレッジを生成] ボタンをクリックします。
シミュレーションが完了すると、モデルカバレッジレポートが表示されます。
sldvdemo_sbr_extend_design_test モデルのカバレッジ情報を表示して、完全なテストスイートが 100% のカバレッジを達成していることを確認します。