Настройки от (C)

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

Смотрите также

|

Похожие темы