テスト生成解析のためのモデルの準備

ライブ スクリプトを開く

Simulink® Design Verifier™ の解析でモデル設定を構成して、モデル sldvexCruiseControl をテスト生成解析のために準備します。

モデル設定の構成

1.モデルを開きます。

open_system("sldvexCruiseControl");

example_model_description.png

2.[アプリ] タブの [アプリ] ギャラリーで、[Design Verifier] を選択します。

3.[Design Verifier] タブの [準備] セクションのモード設定のドロップダウン メニューから、[設定] をクリックします。

4.[コンフィギュレーション パラメーター] ダイアログ ボックスで、[ソルバー] ペインを選択します。[ソルバーの選択] セクションで、次のようにします。

  • [タイプ] オプションを [Fixed-step] に設定します。

  • [ソルバー] オプションを [discrete (no continuous states)] に設定します。

solver_settings.png

Simulink Design Verifier は、固定ステップ ソルバーを使用するモデルのみを解析します。詳細については、Simulink の固定ステップ ソルバーを参照してください。

モデルの互換性のチェック

モデルを解析するときに、Simulink Design Verifier は最初に互換性チェックを行います。エラーなしでコンパイルされる場合、モデルは解析に対して互換性があります。モデルに互換性がない場合、解析できません。

解析の前に、モデルの互換性をチェックできます。Simulink エディターの [Design Verifier] タブで、[互換性チェック] をクリックします。

Simulink Design Verifier がサポートしないオブジェクトが 1 つ以上含まれるモデルを解析できます。既定では、Simulink Design Verifier の解析で互換性のないブロックがスタブされるため、解析結果は不完全になる場合があります。自動スタブの詳細については、自動スタブによるモデルの複雑度の処理を参照してください。

モデルが Simulink Design Verifier と互換性がない場合は、診断ビューアーのメッセージを介して非互換を特定し、修正できます。詳細については、エラーと警告の系統的診断を参照してください。