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