クルーズ コントロール テストの生成
この例では、すべてのモデル カバレッジを達成するテスト ケースの生成方法を示します。既定で、Simulink® Design Verifier™ は最小ステップでオブジェクティブを達成するテスト ケースを生成します。いずれか 1 つのテスト オブジェクティブにより、PI コントローラーの離散積分器がその上限を超過するように強制されます。制約なしで Simulink Design Verifier を実行する場合、速度を 500 に強制することにより、この制限は単一のステップで超過します。速度の制約により、テスト ケースの値は 0 ~ 100 の間で制限されます。これにより、テスト ケースはいくつかのサンプルをとり、積分器の制限を超えるように強制されます。
open_system('sldvdemo_cruise_control');