Выберите настройки для аналитической настройки. Можно быстро активировать проверку правил кодирования сгенерированный код 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, чтобы сопоставить это свойство с моделью. Используйте параметр PSVerificationSettings с тем же значением что касается свойства pslinkoptions VerificationSettings. См. pslinkoptions Свойства.
pslinkoptions | Свойства pslinkoptions