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