Exponenta Banner
exponenta event banner

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

Проверка правил кодирования, определение пользовательских правил, создание показателей сложности кода

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

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

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

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 MISRA C++ rules (-misra-cpp)Проверка на предмет нарушения правил MISRA C++
Check JSF C++ rules (-jsf-coding-rules)Проверка на предмет нарушений правил JSF C++
Set checkers by file (-checkers-selection-file)Определение пользовательского набора проверок стандартов кодирования для анализа
Check custom rules (-custom-rules)Следовать соглашениям об именовании идентификаторов
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.

Правила MISRA или JSF

Избегайте нарушений правил MISRA C:2012 8.x

Избегайте конфликтующих объявлений или непреднамеренного изменения переменных.

Подмножества правил кодирования, проверенные на ранних этапах анализа

Узнайте, как настроить правила кодирования для более быстрого анализа.

Показатели сложности кода

Показатели сложности вычисляемого кода

Применение ограничений на такие показатели сложности кода, как цикломатическая сложность и глубина вложенности.

Показатели сложности кода HIS

Узнайте, какие показатели сложности кода, поддерживаемые в Polyspace, являются частью стандарта Hersteller Initiative Software (HIS).

Связанная информация

Документация по программе проверки кода Polyspace

Поддержка