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

Создание тестовых примеров, удовлетворяющих условиям решения, условия и требованиям MCDC. Simulink Design Verifier автоматически генерирует тестовые данные и доказывает свойства моделей. Он создает последовательности входных значений, которые удовлетворяют критериям тестирования или демонстрируют контрпример доказательства. Опции конфигурации, связанные с моделью, определяют цели анализа. При анализе модели Simulink Design Verifier использует исчерпывающие методы поиска для создания входных данных. При успешном выполнении он генерирует тестовые данные и создает новую модель электрического жгута, содержащую блок Signal Builder со значениями данных, удовлетворяющими целям анализа. ПРИМЕЧАНИЕ: Сложность этой модели может помешать завершению создания теста за отведенное время. Можно остановить генерацию тестов и создать частичные результаты, или можно продлить срок, изменив параметры Simulink Design Verifier.

Создание тестовых примеров, обеспечивающих полный охват модели. По умолчанию Simulink Design Verifier генерирует тестовые примеры, удовлетворяющие поставленным целям в наименьшем количестве шагов. Одна из целей теста заставляет дискретный интегратор в PI-контроллере превышать свой верхний предел. При запуске Simulink Design Verifier без ограничений предел превышается за один шаг, что приводит к увеличению скорости до 500. Ограничение скорости ограничивает значения в тестовых случаях от 0 до 100. Это вынуждает тестовые случаи брать несколько выборок, чтобы превысить предел интегратора.

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