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