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