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

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

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

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

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

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

`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 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)`	Задайте директивы прагмы, которые документируются

Метрики кода

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.

Уменьшите сложность программного обеспечения при помощи Polyspace Checkers

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