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