圈复杂度计算器

什么是圈复杂度计算器？

圈复杂度把代码画成控制流图：节点是语句块，边是可能的跳转。M = E − N + 2P 数出图中「独立环路」的个数，也就是程序所有可能执行路径的基底数量。

更直观的数法是判定节点法：每个会让程序「分叉」的构造（if、三目、循环、case 分支、&& 与 ||）各贡献 1，再加 1。两种方法结果必然一致。

McCabe 给出的经验阈值：M ≤ 10 低风险；10 到 20 中等；20 到 50 高风险；超过 50 基本不可测。数值同时是覆盖率 100% 所需的独立测试用例下限——复杂度即测试成本。

如何使用圈复杂度计算器

1. 1

   第一步：画出或想象目标函数的控制流图，数出边数 E 与节点数 N（顺序执行的语句可合并为一个节点）。

2. 2

   第二步：填入 E、N 与连通分量 P——分析单个函数时 P = 1，分析含多个独立子图的模块时 P 为子图个数。

3. 3

   第三步：点击计算得到 M，并查看风险分级与「全覆盖至少需要 M 个测试用例」的结论。

4. 4

   第四步（可选）：另行数出判定节点数 D，填入做交叉验证。若两种算法结果不一致，说明图计分支数时口径有出入。

5. 5

   第五步：按分级行动——超过 10 就把大函数拆成职责单一的小函数，每个分支点都补一个用例。

计算示例

注意事项

• switch 的 case 各算 1 个判定，但 default 不算；逻辑运算符 && 与 || 在严格口径下也各算 1（有些工具默认不计，导致同一代码在不同工具里数值不同）。

• 圈复杂度衡量分支密度，不衡量数据耦合与函数长度——一个 500 行但全是顺序赋值的函数 M = 1，仍然是坏味道。

• 阈值 10 是经验值不是铁律：解析器、状态机等分支密集但高度表驱动的代码，稍高的 M 也可以接受。

• 测试语境下 M 是独立路径的下界；要做到真正全覆盖还需考虑边界值与数据组合，用例数通常远多于 M。

常见问题

参考资料

1. [1]NIST DLMF：数学函数与公式权威参考
2. [2]Wolfram MathWorld：数学条目百科