代码度量

代码度量的描述和示例

Polyspace结果

全部展开

直接递归的次数 直接调用自身的函数的实例数
头文件数量 包含的头文件的数量
文件数量 源文件数量
受保护的共享变量的数量 受保护的共享变量的数量
递归的 调用图在一个或多个函数上的循环次数
可能不受保护的共享变量的数量 不受保护的共享变量的数量
程序最大堆栈使用量 所分析程序中的最大堆栈使用量
程序最小栈使用 考虑嵌套作用域的分析程序中的最大堆栈使用量
评论密度 注释数与语句数之比
估计函数耦合 度量调用树级别之间的复杂性
的行数 文件中的总行数
没有注释的行数 不包括注释的代码行数
圈复杂度 函数体中线性无关的路径数
局部变量大小的更高估计 函数中所有局部变量的总大小
语言的范围 语言的范围
局部变量大小的较低估计 考虑嵌套作用域的函数中局部变量的总大小
最小堆使用情况 将嵌套作用域考虑在内的函数中局部变量的总大小，加上来自调用的最大堆栈使用量
最大堆栈的使用 函数中局部变量的总大小加上调用的最大堆栈使用量
通话次数 控制流结构嵌套的最大深度
调用次数 函数体中的调用次数
被调用函数数 函数被调用的次数
调用函数数 函数的不同调用者的数目
可执行行数 函数体中的可执行行数
函数参数数 函数参数个数
Goto语句的数量 的数量转到语句
数的指令 每个函数的指令数
体内的线数 函数体中的行数
局部非静态变量的数目 函数中局部变量的总数
局部静态变量的数目 函数中局部静态变量的总数
数量的路径 估计静态路径数
返回语句数 的数量返回函数中的语句

主题

他的代码复杂度度量

查看Polyspace支持哪些代码复杂度指标万博1manbetx®是Hersteller Initiative软件(HIS)标准的一部分。

确定程序堆栈的使用情况

验证根据函数调用层次结构和局部变量大小估计堆栈使用情况。

Polyspace代码验证器文档
万博1manbetx

尝试MATLAB、Sim万博1manbetxulink和其他产品s manbetx 845

得到审判现在