Exponenta Banner

Метрики кода

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

Результаты 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 Local Variable SizeОбщий размер всех локальных переменных в функции
Language ScopeОсциллограф языка
Lower Estimate of Local Variable SizeОбщий размер локальных переменных в функции, принимая вложенные осциллографы во внимание
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Количество операторов перехода
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Количество операторов возврата в функции

Темы

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

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

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

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

Документация Polyspace Code Prover
Поддержка