Кодирование Standards & Code Metrics

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

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

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

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

Кодирование стандартов: C

`Check MISRA C:2004 (-misra2)`	Проверяйте на нарушение правил MISRA C:2004
`Check MISRA AC AGC (-misra-ac-agc)`	Проверяйте на нарушение правил AGC AC MISRA
`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)`	Проверяйте на нарушения правил C++ MISRA
`Check JSF AV C++ (-jsf-coding-rules)`	Проверяйте на нарушения правил C++ JSF
`Check AUTOSAR C++14 (-autosar-cpp14)`	Проверяйте на нарушения C++ AUTOSAR 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 или скриптах.

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

Проверяйте на нарушения C++ AUTOSAR 14, CERT^® C, CERT C++ MISRA C, MISRA^® C ++, JSF AV C++ или стандарт ISO 17961 с Программой автоматического доказательства Кода или Bug Finder.

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

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

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

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