Вы используете Simulink® Проектируйте Verifier™, чтобы регистрировать и анализировать результаты анализа и генерировать отчеты анализа. Можно сгенерировать входные тестовые воздействия и экспортировать их в новые тесты в Simulink Test™.
sldvloadresults | Загрузка результатов анализа Simulink Design Verifier для модели |
sldvhighlight | Выделите модель с помощью данных анализа Simulink Design Verifier |
sldvreport | Сгенерируйте отчет Simulink Design Verifier |
sldvsimdata | Получите данные моделирования в Dataset формат |
sldvruntestopts | Сгенерируйте опции симуляции или выполнения для sldvruntest или sldvruncgvtest |
sldvruntest | Симулируйте модель с помощью входных данных |
sldvharnessopts | Опции по умолчанию для sldvmakeharness |
sldvmakeharness | Сгенерируйте модель тестовой обвязки |
sldvmergeharness | Объедините тесты и инициализации в одну модель тестовой обвязки |
sldvruncgvtest | Активируйте верификация кода (CGV) и выполните модель |
Подсвеченные результаты на модели
Описывает подсветку результатов анализа на модели.
Отчеты 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 Test
Описывает, как сгенерировать тесты в Simulink Test с помощью результатов анализа Simulink Design Verifier, которые могут быть сгенерированы проверкой свойств, поиском ошибок проектирования и генерацией тестов.
