Настраиваемые параметры

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

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

Настройки

Значение по умолчанию: Use calibration data

Use calibration data

Анализ принимает постоянные значения для настраиваемых параметров. Используйте это значение, чтобы запустить контекстный анализ. Эта опция может сократить количество ложных положительных результатов.

Use specified minimum and maximum values

Анализ принимает область значений значений для переменных настраиваемого параметра. Задайте максимальные и минимальные значения в модели. Используйте эту опцию, чтобы запустить устойчивый анализ, который включает значения вне ожидаемого значения параметров.

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

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

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

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

|

Похожие темы