Вывод

Выберите, проверить ли выходные значения.

Опция Программы автоматического доказательства кода только. Средство поиска ошибки не может проверять выходные значения.

Категория параметров конфигурации модели: Polyspace

Настройки

Значение по умолчанию: No verification

No verification

Polyspace® не проверяет выходные значения.

Verify outputs are within minimum and maximum values

Проверки Polyspace, чтобы видеть, ли значения выходной переменной в ожидаемых минимальных и максимальных значениях. Задайте минимальные и максимальные значения в выходных диалоговых окнах блока.

Информация о командной строке

Используйте pslinkoptions свойство OutputRangeMode.

pslinkoptions функция позволяет вам создавать Polyspace, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать set_param (Simulink) функция, чтобы сопоставить это свойство с моделью. Используйте параметр PSOutputRangeMode с тем же значением что касается pslinkoptions свойство OutputRangeMode. См. pslinkoptions Свойства.

Смотрите также

|

Похожие темы