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