Выберите настройки для конфигурации анализа. Можно быстро активировать правила кодирования, проверяя сгенерированный код C
Категория параметров конфигурации модели: Polyspace
По умолчанию: Project configuration
Project configurationЗапустите программу Polyspace ® с параметрами, указанными в конфигурации проекта или в файле пользовательского проекта .
Правила кодирования не проверяются, если не выбран набор правил в конфигурации.
Project configuration and MISRA AC AGC checkingЗапустите программу Polyspace с параметрами, указанными в конфигурации проекта, а также обязательными и рекомендуемыми правилами MISRA ® AC-AGC.
Project configuration and MISRA C 2004 checkingЗапустите Polyspace с параметрами, указанными в конфигурации проекта, а также со всеми правилами MISRA C 2004.
Project configuration and MISRA C 2012 checkingЗапустите Polyspace с параметрами, указанными в конфигурации проекта, а также со всеми правилами MISRA C 2012. Этот параметр автоматически применяет категории правил для созданного кода. Посмотрите Use generated code requirements (-misra3-agc-mode).
MISRA AC AGC checkingПроверить соответствие обязательным и рекомендуемым правилам MISRA AC-AGC. После проверки правил Полиспейс останавливается.
MISRA C 2004 checkingПроверьте соответствие всем правилам MISRA C 2004. После проверки правил Полиспейс останавливается.
MISRA C 2012 checkingПроверьте соответствие всем правилам MISRA C 2012. Этот параметр автоматически применяет категории правил для созданного кода. Посмотрите Use generated code requirements (-misra3-agc-mode). После проверки правил Полиспейс останавливается.
Этот параметр переопределяет пользовательские параметры конфигурации в параметрах «Конфигурация проекта» и «Использовать пользовательский файл проекта». Если вы хотите использовать пользовательские настройки правил кодирования, выберите Project configuration вариант.
Используйте pslinkoptions собственность VerificationSettings.
pslinkoptions функция позволяет создать объект опций Polyspace, который можно повторно использовать для нескольких моделей. Вы также можете использовать set_param (Simulink), чтобы связать это свойство с моделью. Использовать параметр PSVerificationSettings с тем же значением, что и для pslinkoptions собственность VerificationSettings. См. раздел Свойства pslinkoptions.
pslinkoptions | Свойства pslinkoptions