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