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

open_system('sldvdemo_fuelsys_logic');