sldvextract | Извлеките подсистему или содержимое субдиаграммы в новую модель для анализа |
sldvoptions | Создайте объект опций верификации проекта |
sldvrun | Модель Analyze |
sldvreport | Сгенерируйте отчет Simulink Design Verifier |
sldvmakeharness | Сгенерируйте модель тестовой обвязки |
Что такое поиск ошибок проектирования?
Объясняет опция анализа поиска ошибок проектирования.
Выведенные области значений в поиске ошибок проектирования
Объясняют концепции областей значений проекта и выведенных областей значений относительно поиска ошибок проектирования.
Запустите анализ поиска ошибок проектирования
Описывает рекомендуемый рабочий процесс для обнаружения ошибок проектирования.
Проверяйте на заданные нарушения минимального и максимального значения
Описывает, как анализировать модель, чтобы проверить, что задал проект соблюдаются, минимальные и максимальные значения.
Спроектируйте панель верификатора
Задайте опции анализа и сконфигурируйте Simulink® Design Verifier™ выход.
Панель верификатора проекта: поиск ошибок проектирования
Задайте опции, которые управляют, как Simulink Design Verifier обнаруживает ошибки периода выполнения в моделях, которые он анализирует.
Опции Simulink Design Verifier
Обзор опций Simulink Design Verifier в диалоговом окне Configuration Parameters.
Рассмотрите результаты анализа
Рассмотрите результаты анализа в окне Simulink Design Verifier Results Summary.