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