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

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

Образцовая категория параметров конфигурации: Polyspace

Настройки

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

Use calibration data

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

Use specified minimum and maximum values

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

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

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

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

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

|

Похожие темы