Exponenta Banner
exponenta event banner

Метрики кода

Описание и примеры метрик кода

Примечание

Code Prover не поддержит вычисление метрик кода, начинающих с будущего релиза. Мигрируйте на Bug Finder для вычисления метрик кода.

Результаты Polyspace

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

Number of Direct RecursionsКоличество экземпляров функции, вызывая себя непосредственно
Number of Header FilesКоличество включенных заголовочных файлов
Number of FilesКоличество исходных файлов
Number of Protected Shared VariablesКоличество защищенных совместно используемых переменных
Number of RecursionsКоличество циклов графа вызовов по одной или нескольким функциям
Number of Potentially Unprotected Shared VariablesКоличество незащищенных совместно используемых переменных
Program Maximum Stack UsageМаксимальное использование стека в анализируемой программе
Program Minimum Stack UsageМаксимальное использование стека в анализируемой программе, принимая вложенные осциллографы во внимание
Comment DensityОтношение количества комментариев к количеству операторов
Estimated Function CouplingМера сложности между уровнями дерева вызова
Number of LinesОбщее количество линий в файле
Number of Lines Without CommentКоличество линий кода, исключая линии, которые являются комментариями или пробелом
Cyclomatic ComplexityКоличество линейно независимых контуров в теле функции
Higher Estimate of Size of Local VariablesОбщий размер всех локальных переменных в функции
Language ScopeОсциллограф языка
Lower Estimate of Size of Local VariablesОбщий размер локальных переменных в функции, принимая вложенные осциллографы во внимание
Minimum Stack UsageОбщий размер локальных переменных в функции, принимая вложенные осциллографы во внимание плюс максимальное использование стека от вызываемых
Maximum Stack UsageОбщий размер локальных переменных в функции плюс максимальное использование стека от вызываемых
Number of Call LevelsМаксимальная глубина вложения структур потока управления
Number of Call OccurrencesКоличество вызовов в теле функции
Number of Called FunctionsКоличество отличных функций называется в теле функции
Number of Calling FunctionsКоличество отличных вызывающих сторон функции
Number of Executable LinesКоличество исполняемых линий в теле функции
Number of Function ParametersКоличество аргументов функции
Number of Goto StatementsКоличество goto операторы
Number of InstructionsКоличество инструкций на функцию
Number of Lines Within BodyКоличество линий в теле функции
Number of Local Non-Static VariablesОбщее количество локальных переменных в функции
Number of Local Static VariablesОбщее количество локальных статических переменных в функции
Number of PathsПредполагаемое статическое количество пути
Number of Return StatementsКоличество return операторы в функции

Темы

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

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

Определение использования стека программы

Верификация оценивает использование стека от иерархии вызова функции и размеров локальной переменной.

Переместите рабочие процессы Code Prover для проверки стандартов кодирования и метрик кода к Bug Finder

Используйте Bug Finder вместо Code Prover, чтобы проверить соответствие различным стандартам кодирования, соглашениям о присвоении имен и стандартам сложности кода. Вычислите метрики кода при помощи Bug Finder.

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

Поддержка