Настройка параметров конфигурации Polyspace ® с помощью пользовательского.psprj файл
Категория параметров конфигурации модели: Polyspace
По умолчанию: Откл. ![]()
Анализ использует опции конфигурации из параметров конфигурации проекта.
Анализ использует опции конфигурации из указанного .psprj файл проекта.
Параметр Settings from переопределяет пользовательские параметры конфигурации для правил кодирования. Если необходимо использовать пользовательские параметры правил кодирования, установите Параметры в меню > Конфигурация проекта.
Используйте pslinkoptions свойства EnablePrjConfigFile и PrjConfigFile.
pslinkoptions функция позволяет создать объект опций Polyspace, который можно повторно использовать для нескольких моделей. Вы также можете использовать set_param (Simulink), чтобы связать это свойство с моделью. Использовать параметры PSEnablePrjConfigFile и PSPrjConfigFile с теми же значениями, что и для pslinkoptions свойства EnablePrjConfigFile и PrjConfigFile. См. раздел Свойства pslinkoptions.
pslinkoptions | Свойства pslinkoptions