Выберите настройки для строения анализа. Эта опция позволяет вам быстро активировать проверку правил кодирования на сгенерированный код С++.
Категория параметров конфигурации модели: 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 plus JSF® C++ - правила.
MISRA C++ checking
Проверяйте податливость требуемым правилам MISRA C++: 2008. После проверки правил Polyspace останавливается.
JSF C++ checking
Проверить податливость правилам JSF C++. После проверки правил Polyspace останавливается.
Этот параметр переопределяет пользовательские настройки строения в строениях Project и Use пользовательском файле проекта. Если вы хотите использовать пользовательские настройки правил кодирования, выберите Project configuration
опция.
Используйте pslinkoptions
свойства CxxVerificationSettings
.
The pslinkoptions
функция позволяет вам создать Объект опций Polyspace, которую можно повторно использовать для нескольких моделей. Вы также можете использовать set_param
(Simulink) функция для связи этого свойства с моделью. Используйте параметр PSCxxVerificationSettings
с тем же значением, что и для pslinkoptions
свойства CxxVerificationSettings
. См. Pslinkoptions Properties.
pslinkoptions
| pslinkoptions Свойства