Main Content

このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

クルーズ コントロール テストの生成

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

open_system('sldvdemo_cruise_control');