モデル設定の構成と解析の実行
解析用にモデルを準備したら、[コンフィギュレーション パラメーター] ダイアログ ボックスでテスト ケースの生成設定を構成します。Simulink® Design Verifier™ は、モデルの解析の制御とカスタマイズを行うための一連のモデル設定を提供しています。Design Verifier ペインまたはsldvoptions関数を使用して、Simulink Design Verifier の解析設定を指定します。
既定では、Simulink Design Verifier のモデル設定は [コンフィギュレーション パラメーター] ダイアログ ボックスには表示されません。Design Verifier アプリを開くと、Simulink Design Verifier の既定の設定がモデルに関連付けられます。モデルの保存後は、Simulink Design Verifier のオプションに [コンフィギュレーション パラメーター] ダイアログ ボックスから直接アクセスできます。
モデル設定の構成
テスト生成解析のためにモデル設定を構成します。
1.モデル sldvexCruiseControl を開きます。[Design Verifier] タブの [準備] セクションで、[テスト生成の設定] をクリックします。
2.[コンフィギュレーション パラメーター] ダイアログ ボックスの [テスト生成] ペインで [モデル カバレッジ オブジェクティブ] パラメーターを [Decision] に設定します。この例では、解析により判定カバレッジのみが記録されるテスト ケースが生成されます。
3.[テスト スイートの最適化] パラメーターは既定では [Auto] に設定されています。より少数で長いテスト ケースを生成する場合は、[テスト スイートの最適化] パラメーターで [LongTestcases] を選択します。
4.[適用] と [OK] をクリックして変更を保存します。
モデルの解析によるテストの生成
[Design Verifier] タブで、[テストの生成] をクリックします。Simulink Design Verifier がモデルを解析し、テスト ケースが生成されます。
解析中、[結果の概要] ウィンドウには解析の進行状況が表示されます。ここには、処理されたテスト オブジェクティブ数、達成されたオブジェクティブ数、解析の経過時間などの情報が表示されます。
解析後、Simulink Design Verifier は、解析のステータスと結果を表示する [結果] ウィンドウを生成します。
