静态分析—扇入、扇出、圈复杂度

静态分析是一种检查代码的方法，无需执行程序。它提供了一种机制，可以审查代码结构、控制流和数据流，检测潜在的可移植性和可维护性问题，计算适当的软件质量测度。

其中控制流分析包括：扇入、扇出、圈复杂度。

常见的控制流图：

圈复杂度：

常用的一种代码复杂度的衡量标准。它是对源代码中线性独立路径数的定量测量，用来衡量一个模块判定结构的复杂程度。

圈复杂度与分支语句、循环语句的个数，以及判定复合条件的逻辑组合符成正相关。

圈复杂度计算公式：

其中：V(G)表示圈复杂度；

e表示控制流图中边的数量；n表示控制流图中节点数量（包括起点和终点，所有终点只计算一次）；

P表示控制流图中的判定节点数（每个判定条件对应一个判定节点，另：判定条件和判定语句不是一个概念，一条判定语句中可能存在多个判定条件，如if((a<7)|(b>5))）；

A表示控制流图中的封闭区域数。

圈复杂度大，说明程序代码的逻辑判断复杂，可能代码质量低且难以测试和维护。

例子：一段C语言代码绘制控制流图如下图

 可知e=9,n=8,P=2,A=2，因此圈复杂度为3

扇入、扇出：

扇入、扇出表示函数之间的调用关系。

扇入指直接调用该模块的上级模块的个数；扇出指该模块直接调用的下级模块的个数。

扇入大表示模块的复用程度高；扇出大表示模块的复杂度高。