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