Observer Reference ブロックを使用したテスト ケースの生成

モデルを開き検証サブシステムを置換

Test Objective ブロックでは、ブロック "True" が出力信号を 2 にします。"Masked Objective" 内のブロック "Edge" は、出力信号が 2 から 1 に遷移するように指定します。モデルを開くには、次を入力します。

open_system('sldvdemo_debounce_testobjblks');

モデル内の検証サブシステム Masked Objective を Observer Reference ブロックに置き換えるには、次の手順に従います。

1.sldvdemo_debounce_testobjblks モデルで Masked Objective サブシステムを右クリックします。Simulink Test アプリ オプションをメニューに追加するために、[アプリの選択] にカーソルを合わせ、[Simulink Test] ボタンをクリックします。次に、Simulink Test アプリのセクションで [選択したブロックをオブザーバーに移動]、[新規オブザーバー] を選択します。表示される ['Verify Output' をオブザーバーに移動] ダイアログ ボックスで、[はい] クリックします。

2.Observer Reference ブロックがシステム モデルに追加され、オブザーバー モデル sldvdemo_debounce_testobjblks_Observer1 が作成されて開きます。

3.ファイル sldvdemo_debounce_validprop_Observer1 を MATLAB® パス上にある書き込み可能なフォルダーに保存します。

4.[Observer Port] をダブルクリックして [オブザーバーの管理] 構成ウィンドウを開きます。信号 Switch 1 が sldvdemo_debounce_testobjblks_Observer1 内の Observer Port ブロックに自動的にマッピングされます。

5.sldvdemo_debounce_testobjblks 内の "Masked Objective" サブシステムへの入力信号を選択し、[信号] ペインの [テスト ポイント] をクリックして、Simulink® Design Verifier™ によって解析用のモデル表現が正常に作成されたことを確認します。

テスト生成解析の実行

テスト生成解析を実行するには、次の手順に従います。

[Design Verifier] タブで、[テスト生成] をクリックします。

解析が完了すると、[結果の概要] ウィンドウに、テスト ケースで両方のオブジェクティブが達成されたことが表示されます。

[結果の概要] ウィンドウで [HTML] をクリックして、詳細な解析レポートを参照します。レポートでは、テスト オブジェクティブのステータスの章の個別のサブセクションに、[設計モデル] と [オブザーバー モデル] のオブジェクティブのステータスが一覧表示されます。

オブザーバー モデルの変更と、設計モデル表現を再作成しない再解析

機能要件のテスト ケースを生成するために、信号 debounced が設計モデルのモデル表現を再作成せずに 1 から 2 に遷移します。設計モデル表現の再利用を有効にするには、次の手順に従います。

1.[Design Verifier] タブで、[テスト生成の設定]、[設定] をクリックします。

2.[コンフィギュレーション パラメーター] ダイアログ ボックスの [Design Verifier] ペインにある [詳細設定パラメーター] で、[モデル表現の再作成] オプションを [If change is detected] に設定し、[OK] をクリックします。

3.モデル パラメーターを更新するには、sldvdemo_debounce_testobjblks_Observer1 ウィンドウで "Masked Objective" サブシステムをダブルクリックして開き、定数 In1 の値を 1 から 2 に、関係演算子を > から < に変更します。書き込み可能な MATLAB パスに変更を保存します。

4.テスト ケース生成解析を実行して結果を確認します。[Design Verifier] タブで、[テストの生成] をクリックします。ソフトウェアは、キャッシュされた設計モデル表現を検証し、設計モデルに変更がないことを検出して、その表現を解析に再利用します。

解析が完了すると、[結果の概要] ウィンドウに 1 つのテスト オブジェクティブのみが達成されたことが表示されます。

[結果の概要] ウィンドウで [HTML] をクリックして、詳細な解析レポートを参照します。

メモ: 新規モデルを作成すると、既定の設定で、[モデル表現の再作成] オプションが If change is detected に設定されます。ソフトウェアはキャッシュされたモデル表現を検証し、変更を検出せず、モデル表現を解析に再利用します。

関連するトピック