Интерпретация результатов и использование

Регистрируйте и рассмотрите результаты анализа, сгенерируйте отчет, создайте модель тестовой обвязки

Вы используете Simulink® Design Verifier™, чтобы регистрировать и рассмотреть результаты анализа и сгенерировать аналитические отчеты. Можно сгенерировать тестовые воздействия и экспортировать их в новые тесты в Simulink Test™.

Функции

sldvloadresultsЗагрузите результаты анализа Simulink Design Verifier для модели
sldvhighlightПодсветите модель с помощью данных из анализа Simulink Design Verifier
sldvreportСгенерируйте отчет
sldvsimdataПолучите данные моделирования в формате Набора данных
sldvruntestoptsСгенерируйте опции симуляции или выполнения для sldvruntest или sldvruncgvtest
sldvruntestМоделируйте модель при помощи входных данных
sldvharnessoptsОпции по умолчанию для sldvmakeharness
sldvmakeharnessСгенерируйте модель тестовой обвязки
sldvmergeharnessОбъедините тесты и инициализации в одну модель тестовой обвязки

Темы

Темы

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

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

Отчеты Simulink Design Verifier

Описывает различные части отчета Simulink Design Verifier.

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

Описывает основную модель тестовой обвязки.

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

Описывает содержимое файла данных Simulink Design Verifier.

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

Описывает аналитические файлы журнала.

Панель верификатора проекта: результаты

Задайте опции, которые управляют, как Simulink Design Verifier обрабатывает результаты, которые он генерирует.

Панель верификатора проекта: отчет

Задайте опции, которые управляют, как Simulink Design Verifier сообщает о своих результатах.

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

Рассмотрите результаты анализа в  окне Simulink Design Verifier Results Summary.

Экспортируйте тесты в Simulink Test

Описывает, как сгенерировать тесты в Simulink Test с помощью результатов анализа Simulink Design Verifier, которые могут быть сгенерированы доказательством свойства, поиском ошибок проектирования и генерацией теста.

Популярные примеры