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