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

open_system('sldvdemo_fuelsys_logic');