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