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

例を开く

例でデバウンサーに対してすべてのカバレッジカバレッジ达成するテストテスト生成方法方法をを示し示し示しますます。モデルモデル例例でではは，各各モデルカバレッジカバレッジポイントの结果ががオブジェクティブ金宝appsimulink设计验证者ををと，だけのオブジェクティブ各テストケースで达成さます。。。

open_system（'sldvdemo_debounce_modelcov'）；