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