С Simulink® Проектируйте Verifier™, можно анализировать модели Simulink на:
Обнаружение ошибок проектирования, которые могут возникнуть во время запуска.
Сгенерируйте тесты, которые достигают покрытия модели.
Доказывайте свойства и выявляйте нарушения свойств.
Прежде чем Simulink Design Verifier проанализирует модель, программное обеспечение проверяет, совместима ли модель с анализом. Модель совместима для анализа, когда:
Модель компилируется в исполняемую форму.
Модель совместима с генерацией кода.
Модель выполняет симуляцию с нулями секунд без ошибок, то есть начало симуляции и времени остановки 0.
Программное обеспечение поддерживает широкую область значений Simulink и Stateflow® возможности программного обеспечения в ваших моделях. Однако существуют возможности, которые продукт не поддерживает, описанные в разделе Ограничения поддержки функций программного обеспечения Simulink и Ограничения поддержки функций программного обеспечения Stateflow.
Дополнительные сведения о поддерживаемых блоках Simulink см. в разделах Поддерживаемые и неподдерживаемые блоки Simulink в Simulink Design Verifier.
Прежде чем программа начнет анализ, она проверяет совместимость вашей модели, а затем создает представление модели. Представление модели включает программные продукты модели, которые используются во время анализа. Для получения дополнительной информации см. «Представление модели для анализа».
Перед началом анализа можно запустить проверку совместимости модели с помощью одного из следующих методов. Когда вы используете любой из этих методов, представление модели всегда перестраивается.
На вкладке Design Verifier, в разделе Analyze, нажмите Check Compatibility.
В Model Advisor выберите любого By Product> Simulink Design Verifier> Check compatibility with Simulink Design Verifier или By Task> Simulink Design Verifier Compatibility Check> Check compatibility with Simulink Design Verifier. Нажмите Run This Check.
Для получения дополнительной информации см. Раздел «Проверки Simulink Design Verifier».
Чтобы выполнить проверку совместимости программно в командной строке или в MATLAB® программировать, использовать sldvcompat функция. Для получения дополнительной информации см. sldvcompat.
Чтобы проверить совместимость Subsystem, щелкните правой кнопкой мыши по Subsystem и выберите Design Verifier > Check Subsystem Compatibility.
При запуске проверки совместимости модели в окне Сводка результатов (Results Summary) отображается один из следующих результатов:
Если ваша модель совместима, можно продолжить анализ в окне Сводных данных результатов. Для примера, чтобы продолжить анализ генерации тестов, нажмите Generate Tests.
Примечание
После завершения проверки совместимости, если вы измените модель, продолжение анализа в окне Сводных данных результатов невозможно. Если вы измените модель, перезапустите проверку совместимости для анализа.
Если модель несовместима с Simulink Design Verifier, можно идентифицировать и исправить несовместимости с помощью сообщений Diagnostic Viewer. Для получения дополнительной информации см. Раздел «Просмотр диагностики».
Если ваша модель использует решатель с переменной степенью, сконфигурируйте решатель Type, чтобы Fixed-step.
Если ваша модель имеет нефинитные данные, измените значение данных или сконфигурируйте модель так, чтобы данные рассматривались как переменная во время анализа Simulink Design Verifier. Для получения дополнительной информации см. Раздел «Нефинитные данные».
Если ваша модель большая и содержит много подсистем, можно использовать Генерация Тестов Advisor, чтобы определить, вызывают ли определенные подсистемы несовместимость. Для получения дополнительной информации смотрите Использовать Генерация Тестов Advisor для идентификации анализируемых компонентов.
Модель частично совместима, если хотя бы один объект модели в модели несовместим. Simulink Design Verifier продолжает анализ для частично совместимой модели, выпоров неподдерживаемые элементы. По умолчанию для опции Автоматическое упругость неподдерживаемых блоков и функций задано значение On. Для получения дополнительной информации см. Раздел «Несовместимость указателей с автоматическим упругостью».
Основной рабочий процесс для Simulink Design Verifier | Замена блоков без поддержки | Представление модели для анализа
