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

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

open_system('sldvdemo_debounce_modelcov');