Выберите настройки для аналитической настройки. Эта опция позволяет вам быстро активировать проверку правил кодирования сгенерированный Код С++.
Категория параметров конфигурации модели: 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