Задавать, какое кодирование стандартов вы хотите проверять, например, MISRA C®: 2012 или C++ AUTOSAR 14, используйте кодирующие стандартные опции. Чтобы видеть метрики сложности кода в ваших результатах анализа, например, цикломатической сложности и количестве вызова или вызванных функций, используют метрическую опцию кода.
Примечание
Начиная в будущем релизе, Code Prover не поддержит проверяющее соответствие внешним стандартам кодирования и вычислению метрик кода. Мигрируйте на Bug Finder для этих рабочих процессов. Смотрите Перемещают Рабочие процессы Code Prover для Проверки Стандартов Кодирования и Метрик Кода к Bug Finder.
Задайте опции анализа Polyspace
Задайте Polyspace® опции анализа в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.
Проверяйте на кодирование стандартных нарушений
Проверяйте на нарушения C++ AUTOSAR 14, CERT® C, CERT C++ MISRA C, MISRA® C++, JSF AV C++ или стандарты ISO 17961 с Polyspace Bug Finder или Code Prover.
Создайте пользовательские правила кодирования
Осуществите соглашения о присвоении имен и другие инструкции по стилю по коду C/C++ с Polyspace.
Избегайте нарушений правил MISRA C:2012 8.x
Избегайте конфликтных объявлений или непреднамеренной модификации переменных.
Кодирование подмножеств правила, проверенных рано в анализе
Настройте свою проверку правил кодирования более быстрый анализ.
Вычислите метрики сложности кода
Осуществите пределы на метриках сложности кода, таких как цикломатическая сложность и глубина вложения.
Смотрите, какие метрики сложности кода, поддержанные в Polyspace, являются частью стандарта Hersteller Initiative Software (HIS).
Используйте Bug Finder вместо Code Prover, чтобы проверить соответствие различным стандартам кодирования, соглашениям о присвоении имен и стандартам сложности кода. Вычислите метрики кода при помощи Bug Finder.
Кодирование Standards & Code Metrics
MISRA, AUTOSAR, CERT и JSF, кодирующий наборы правила, пользовательские правила кодирования, метрики кода
