Exponenta Banner

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

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

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

Опции анализа

расширить все

Check MISRA C:2004 (-misra2)Проверка на нарушение правил C:2004 MISRA
Check MISRA AC AGC (-misra-ac-agc)Проверка на нарушение правил АРУ переменного тока MISRA
Check MISRA C:2012 (-misra3)Проверка на нарушения правил и директивы C:2012 MISRA
Use generated code requirements (-misra3-agc-mode)Проверяйте на нарушения правил и директивы C:2012 MISRA, которые применяются к сгенерированному коду
Effective boolean types (-boolean-types)Задайте типы данных, которые проверка правил кодирования должна рассматривать так же эффективно, как и Boolean
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)Задайте директивы прагмы, которые документируются
Calculate code metrics (-code-metrics)Вычислите и отобразите метрики сложности кода

Темы

Начало

Задайте опции анализа Polyspace

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

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

Проверка на нарушения AUTOSAR C++ 14, CERT® C, CERT C++ MISRA C, MISRA® C++, JSF AV C++ или ISO-17961 стандарт с Bug Finder или Code Prover.

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

Примените соглашения об именовании и другие инструкции по стилям для кода C/C + + с Polyspace.

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

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

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

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

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

Метрики сложности кода

Вычислите Метрики сложности кода

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

Метрики сложности кода HIS

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

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

Документация Polyspace Code Prover

Поддержка