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