Выберите необходимость проверки выходных значений.
Только параметр «Проверка кода». Функция поиска ошибок не может проверить выходные значения.
Категория параметров конфигурации модели: Polyspace
По умолчанию: No verification
No verificationPolyspace ® не проверяет выходные значения.
Verify outputs are within minimum and maximum valuesПолиспейс проверяет, находятся ли значения выходных переменных в пределах ожидаемых минимального и максимального значений. Укажите минимальное и максимальное значения в диалоговых окнах блока вывода.
Используйте pslinkoptions собственность OutputRangeMode.
pslinkoptions функция позволяет создать объект опций Polyspace, который можно повторно использовать для нескольких моделей. Вы также можете использовать set_param (Simulink), чтобы связать это свойство с моделью. Использовать параметр PSOutputRangeMode с тем же значением, что и для pslinkoptions собственность OutputRangeMode. См. раздел Свойства pslinkoptions.
pslinkoptions | Свойства pslinkoptions