В этом примере показано, как создать тестовые примеры, которые обеспечивают полный охват модели для отладчика. Результат каждой точки охвата модели в этой модели является целью теста. Если настроить Simulink Design Verifier на создание наименьшего количества тестовых примеров, он будет удовлетворять максимально возможному количеству задач в каждом тестовом случае.
open_system('sldvdemo_debounce_modelcov');
