Если вы моделируете модель и записываете данные покрытия, но ваша модель не достигает 100% покрытия, Simulink ® Design Verifier™ может найти тестовые примеры, которые достигают недостающего покрытия. Программное обеспечение нацелено на анализ генерации тестов для части модели, в которой отсутствует покрытие, игнорируя данные покрытия модели, которые были записаны во время моделирования.
Следующие примеры описывают, как сфокусировать анализ генерации тестов на части модели, которая не достигла 100% охвата: