Main Content

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

モデル カバレッジ テストの生成

この例では、デバウンサーに対してすべてのモデル カバレッジを達成するテスト ケースの生成方法を示します。このモデル例では、各モデル カバレッジ ポイントの結果がテスト オブジェクティブです。最小のテスト ケースを生成するように Simulink Design Verifier を設定すると、できるだけ多くのオブジェクティブが各テスト ケースで達成されます。

open_system('sldvdemo_debounce_modelcov');