Разработайте проверки диапазона

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

Функции

sldvextractИзвлеките подсистему или содержимое подграфика в новую модель для анализа
sldvoptionsСоздайте объект опций верификации проекта
sldvrunМодель Analyze
sldvreportСгенерируйте отчет
sldvmakeharnessСгенерируйте модель тестовой обвязки

Темы

Что такое поиск ошибок проектирования?

Объясняет аналитическая опция поиска ошибок проектирования.

Выведенные области значений в поиске ошибок проектирования

Объясняют концепции областей значений проекта и выведенных областей значений относительно поиска ошибок проектирования.

Запустите анализ поиска ошибок проектирования

Описывает рекомендуемый рабочий процесс для обнаружения ошибок проектирования.

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

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

Разработайте панель верификатора

Задайте аналитические опции и сконфигурируйте Simulink® Design Verifier™ вывод.

Панель верификатора проекта: поиск ошибок проектирования

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

Опции Simulink Design Verifier

Обзор опций Simulink Design Verifier в диалоговом окне Configuration Parameters.

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

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