Выберите, как обработать значения настраиваемого параметра во время анализа. Обработайте значения или как константы или как область значений значений.
Категория параметров конфигурации модели: Polyspace
Значение по умолчанию: Use calibration data
Use calibration data
Анализ принимает постоянные значения для настраиваемых параметров. Используйте это значение, чтобы запустить контекстный анализ. Эта опция может сократить количество ложных положительных результатов.
Use specified minimum and maximum values
Анализ принимает область значений значений для переменных настраиваемого параметра. Задайте максимальные и минимальные значения в модели. Используйте эту опцию, чтобы запустить устойчивый анализ, который включает значения вне ожидаемого значения параметров.
Используйте pslinkoptions
свойство ParamRangeMode
.
pslinkoptions
функция позволяет вам создавать Polyspace®, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать set_param
функционируйте, чтобы сопоставить это свойство с моделью. Используйте параметр PSParamRangeMode
с тем же значением что касается pslinkoptions
свойство ParamRangeMode
. См. pslinkoptions Свойства.
pslinkoptions
| Свойства pslinkoptions