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

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

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

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