Стандарты кодирования и метрики кода

Наборы правил кодирования MISRA, AUTOSAR, CERT и JSF, пользовательские правила кодирования, метрики кода

Чтобы указать, какие стандарты кодирования необходимо проверить, например, MISRA C ®: 2012 или AUTOSAR C++ 14, используйте параметры стандартов кодирования. Чтобы увидеть метрики сложности кода в результатах анализа, например цикломатическую сложность и количество вызывающих или вызываемых функций, используйте опцию метрик кода.

Параметры анализа

развернуть все

Стандарты кодирования: C

`Check MISRA C:2004 (-misra2)`	Проверка на нарушение правил MISRA C:2004
`Check MISRA AC AGC (-misra-ac-agc)`	Проверка на нарушение правил MISRA AC AGC
`Check MISRA C:2012 (-misra3)`	Проверка нарушений правил и директив MISRA C:2012
`Use generated code requirements (-misra3-agc-mode)`	Проверка нарушений правил и директив MISRA C:2012, относящихся к сгенерированному коду
`Effective boolean types (-boolean-types)`	Укажите типы данных, которые средство проверки правил кодирования должно считать логическими
`Check SEI CERT-C (-cert-c)`	Проверка нарушений правил и рекомендаций CERT C
`Check ISO/IEC TS 17961 (-iso-17961)`	Проверка на предмет нарушений правил ISO/IEC TS 17961

Стандарты кодирования: C++

`Check MISRA C++:2008 (-misra-cpp)`	Проверка на предмет нарушения правил MISRA C++
`Check JSF AV C++ (-jsf-coding-rules)`	Проверка на предмет нарушений правил JSF C++
`Check AUTOSAR C++14 (-autosar-cpp14)`	Проверка на нарушения правил AUTOSAR C++ 14
`Check SEI CERT-C++ (-cert-cpp)`	Проверка нарушений правил CERT C++

Стандарты кодирования: Все

`Set checkers by file (-checkers-selection-file)`	Определение пользовательского набора проверок стандартов кодирования для анализа
`Check custom rules (-custom-rules)`	Следовать соглашениям об именовании идентификаторов
`Check Guidelines (-guidelines)`	Проверка на предмет нарушения Руководящих принципов
`Allowed pragmas (-allowed-pragmas)`	Укажите задокументированные директивы pragma

Метрики кода

Calculate code metrics (-code-metrics) Показатели сложности вычислений и отображения кода

Темы

Начало

Задать параметры анализа в пространстве

Задайте параметры анализа Polyspace ® в интерфейсе пользователя Polyspace, других среде IDE или сценариях.

Проверка нарушений стандартов кодирования

Проверьте наличие нарушений стандартов AUTOSAR C++ 14, ^CERT ® C, CERT C++ MISRA C, ^MISRA ® C++, JSF AV C++ или ISO-17961 с помощью средства поиска ошибок или средства проверки кода.

Создание пользовательских правил кодирования

Применение правил именования и других правил стиля к коду C/C + + с помощью Polyspace.

Снижение сложности программного обеспечения с помощью средств проверки в полиспейсе

Включите и настройте средства проверки сложности программного обеспечения для выявления проблем, затрудняющих чтение, понимание и отладку кода.