Exponenta Banner

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

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

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

Аналитические опции

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

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 MISRA C++ rules (-misra-cpp)Проверяйте на нарушения правил C++ MISRA
Check JSF C++ rules (-jsf-coding-rules)Проверяйте на нарушения правил C++ JSF
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 или скриптах.

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

Проверяйте на нарушения C++ AUTOSAR 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 Code Prover
Поддержка