主要内容

代码指标

代码指标的描述和示例

PolySpace结果

展开全部

直接递归数量 直接调用自己的函数的实例数
标题文件数量 含有标题文件的数量
文件数量 源文件数量
受保护的共享变量的数量 受保护的共享变量的数量
递归次数 一个或多个功能上的呼叫图循环的数量
可能未受保护的共享变量的数量 未受保护的共享变量的数量
程序最大堆栈使用 分析程序中的最大堆栈用法
计划最小堆栈使用 分析程序中的最大堆栈用法将嵌套范围考虑在内
评论密度 评论数量与陈述数量的比率
估计函数耦合 呼叫树级别之间复杂性的测量
的行数 文件中的总行数
没有评论的行数 不包括注释或空白的行的行数
圈复杂性 功能体中线性独立路径的数量
估计局部变量尺寸 功能中的所有局部变量的总大小
语言范围 语言范围
估计局部变量尺寸 函数中的局部变量的总大小考虑嵌套范围
最小堆叠使用 函数中的局部变量的总大小将嵌套范围考虑到Callees的最大堆栈用法
最大堆叠用法 功能中的局部变量的总大小加上卡尔斯的最大堆栈用法
呼叫级别数量 控制流动结构的最大嵌套深度
呼叫次数 功能体中的呼叫数
称为函数的数量 在函数的主体内称为不同函数的数量
呼叫函数的数量 功能的不同呼叫者数量
可执行行数 功能体中可执行行数
功能参数数量 函数参数的数量
转到陈述的数量 数量陈述
指令数量 每个功能的指令数
身体内的线数 功能体中的线路数量
局部非静态变量的数量 功能中的局部变量总数
局部静态变量的数量 功能中的本地静态变量总数
路径数量 估计静态路径计数
退货陈述数量 数量返回函数中的陈述

话题

他的代码复杂性度量

查看PolySpace中支持哪些代码复杂性度量标准金宝app®是赫斯特尔倡议软件(他的)标准的一部分。

确定程序堆叠用法

验证估计函数调用层次结构和局部变量大小的堆栈用法。