Рассмотрите результаты анализа

Просмотрите активные результаты

После того, как анализ завершен, окно Summary Simulink® Design Verifier™ Results открывается, показывая различные способы, которыми можно использовать результаты. Смотрите Исследуют Результаты.

Если вы закрываете окно Results Summary, таким образом, можно зафиксировать причину любых аналитических ошибок в модели, вы можете должны быть рассмотреть результаты анализа снова. Если вы не закрыли свою модель, поскольку вы запустили анализ, можно вновь открыть последние результаты анализа для модели. В Редакторе Simulink выберите Analysis> Design Verifier> Results> Active. Окно Results Summary вновь открылось с последними результатами анализа для вашей модели.

Вы можете также результаты анализа представления Simulink Design Verifier в Model Explorer.

Загрузите предыдущие результаты

Если вы хотите рассмотреть результаты предыдущего анализа модели, можно загрузить эти результаты аналитического файла данных. В Редакторе Simulink выберите Analysis> Design Verifier > Results> Load. Просмотрите и выберите файл данных, который соответствует анализу, который вы хотите рассмотреть.

Для получения дополнительной информации об аналитических файлах данных смотрите Файлы данных Simulink Design Verifier.

Если вы, анализ нагрузки происходит для модели от файла данных, который был сгенерирован с предыдущей версией той модели, вы можете видеть неожиданные эффекты. Чтобы избежать несоответствий между вашими данными об образцовых и результатах анализа, когда вы загружаете результаты для модели, выбирают файл данных, который содержит результаты той же версии той модели.

Исследуйте результаты

С активными или предыдущими результатами анализа, загруженными в окне Model Explorer или Results Summary, можно выполнить следующие задачи.

ЗадачаДля получения дополнительной информации

Подсветите результаты анализа на модели.

Подсвеченные результаты на модели

Сгенерируйте отчет детального анализа.

Отчеты Simulink Design Verifier

Создайте модель тестовой обвязки, или если модель тестовой обвязки уже существует, откройте его.

Вы не сможете создать модель тестовой обвязки если:

  • Никакие цели ошибки проектирования не были сфальсифицированы

  • Никакие тесты не были сгенерированы

  • Никакие контрпримеры не были созданы

Модели тестовой обвязки Simulink Design Verifier

Просмотрите файл данных.

Файлы данных Simulink Design Verifier

Просмотрите файл журнала.

Файлы журнала Simulink Design Verifier

Похожие темы