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