При создании модели можно задать минимальное и максимальное значения на входных портах, чтобы имитировать ограничения окружающей среды как часть конструкции. Анализ Simulink ® Design Verifier™ может автоматически рассматривать эти значения в качестве ограничений для:
Обнаружение ошибок конструкции
Создание тестового случая
Проверка свойств
Задание минимального и максимального входных значений аналогично использованию блока «Тестовое условие» для ограничения сигналов для генерации тестового случая или блока «Подтверждение допущения» для ограничения сигналов для проверки свойств. Блоки «Тестовое условие» и «Подтверждение допущения» фиксируют ограничения анализа. Программа Simulink Design Verifier также может рассматривать конструктивные ограничения, зафиксированные в минимальных и максимальных параметрах блока Inport, в качестве ограничений для анализа.
Примечание
Дополнительные сведения о значениях сигналов см. в разделе Исследование значений сигналов.
По умолчанию Simulink Design Verifier учитывает любые минимальные и максимальные входные значения, указанные для блоков Inport в модели. Чтобы включить эту возможность, выполните следующие действия.
На вкладке «Design Verifier» в разделе «Prepare» в раскрывающемся меню параметров режима выберите «Settings».
В диалоговом окне Параметры конфигурации (Configuration Parameters) на панели Проверка проекта (Design Verifier) выберите параметр Использовать указанные входные минимальные и максимальные значения (Use specified input minimum and maximum values).
После завершения анализа для просмотра минимальных и максимальных ограничений конструкции для модели щелкните Создать подробные отчеты об анализе (Generate detailed analysis reports).
Ограничения перечислены в главе «Информация об анализе» отчета Simulink Design Verifier.
Поддержка Simulink Design Verifier для указанных минимальных и максимальных значений имеет следующие ограничения:
Анализ учитывает указанные минимальные и максимальные значения только для блоков ввода корневого уровня. При анализе игнорируются минимальные и максимальные значения, указанные в других блоках Simulink.