Выберите настройки для конфигурации анализа. Эта опция позволяет быстро активировать правила кодирования, проверяя сгенерированный код C++.
Категория параметров конфигурации модели: Polyspace
По умолчанию: Project configuration
Project configurationЗапустите программу Polyspace ® с параметрами, указанными в конфигурации проекта или в файле пользовательского проекта .
Правила кодирования не проверяются, если не выбран набор правил в конфигурации.
Project configuration and MISRA C++ checkingЗапустите программу Polyspace с параметрами, указанными в конфигурации проекта, а также с обязательными правилами MISRA ® C++.
Project configuration and JSF C++ checkingЗапустите Polyspace с параметрами, указанными в конфигурации проекта плюс правила JSF ® C++.
MISRA C++ checkingПроверьте соответствие требованиям MISRA C++: 2008. После проверки правил Полиспейс останавливается.
JSF C++ checkingПроверить соответствие правилам JSF C++. После проверки правил Полиспейс останавливается.
Этот параметр переопределяет пользовательские параметры конфигурации в параметрах «Конфигурация проекта» и «Использовать пользовательский файл проекта». Если вы хотите использовать пользовательские настройки правил кодирования, выберите Project configuration вариант.
Используйте pslinkoptions собственность CxxVerificationSettings.
pslinkoptions функция позволяет создать объект опций Polyspace, который можно повторно использовать для нескольких моделей. Вы также можете использовать set_param (Simulink), чтобы связать это свойство с моделью. Использовать параметр PSCxxVerificationSettings с тем же значением, что и для pslinkoptions собственность CxxVerificationSettings. См. раздел Свойства pslinkoptions.
pslinkoptions | Свойства pslinkoptions