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