Main Content

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

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

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

open_system('sldvdemo_debounce_modelcov');