Выберите настройки для аналитической настройки. Можно быстро активировать проверку правил кодирования сгенерированный код 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Проверьте соответствие AC-AGC MISRA обязательные и рекомендуемые правила. После проверки правил, остановок 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 configuration опция.
Используйте pslinkoptions свойство VerificationSettings.
pslinkoptions функция позволяет вам создавать объект опций Polyspace, который можно снова использовать для многоуровневых моделей. Можно также использовать set_param (Simulink) функция, чтобы сопоставить это свойство с моделью. Используйте параметр PSVerificationSettings с тем же значением что касается pslinkoptions свойство VerificationSettings. См. pslinkoptions Свойства.
pslinkoptions | Свойства pslinkoptions