Программное обеспечение Simulink ® Design Verifier™ работает наиболее эффективно при анализе больших моделей с использованием подхода снизу вверх. При таком подходе программное обеспечение сначала анализирует компоненты модели меньшего размера, что может быть быстрее, чем при использовании Large model оптимизация набора тестов.
Восходящий подход дает несколько преимуществ:
Она позволяет решить проблемы, замедляющие обнаружение ошибок, генерацию тестов или проверку свойств в контролируемой среде.
Решение проблем с малыми компонентами модели перед анализом модели в целом является более эффективным, особенно если в модели имеются недостижимые компоненты, которые можно обнаружить только в контексте модели.
Вы можете выполнить итерацию быстрее - найти проблему и исправить ее, найти другую проблему и исправить ее и так далее .
Если один компонент модели имеет проблему - например, компонент недоступен в моделировании - которая может помешать программному обеспечению генерировать тесты для всех целей в большой модели.
Попробуйте этот рабочий процесс с большой моделью:
Используйте Test Generation Advisor для определения анализируемых компонентов модели и создания тестов для этих компонентов. Дополнительные сведения см. в разделе Использование помощника по созданию тестов для определения анализируемых компонентов.
Устраните все проблемы, добавив зависимости или указав замены блоков.
После анализа компонентов меньшего размера повторно примените требуемые ограничения и замены к исходной модели. Проанализируйте полную модель.
По завершении анализа снизу вверх появляется модель верхнего уровня, которую Simulink Design Verifier может быстро проанализировать.