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