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