圈复杂度计算器 - McCabe 指标工具

圈复杂度是 Thomas J. McCabe 于 1976 年提出的软件质量度量。它通过统计源代码中线性独立路径的数量，量化程序的结构复杂度。复杂度越高，覆盖所有分支所需的测试用例就越多，代码也越难理解、修改和维护。 该指标建立在图论基础上。程序被建模为控制流图（CFG），其中每个节点代表一个基本块——也就是只有单一入口和单一出口的一段顺序指令——每条有向边表示从一个块到另一个块的控制转移。条件语句、循环和异常处理器都会产生分支，从而增加边的数量和独立路径的数量。 McCabe 公式为 M = E − N + 2P，其中 E 是 CFG 中的边数，N 是节点数，P 是连通分量数（单个函数或过程通常为 1）。对于完全线性的程序，没有任何分支时，M 等于 1。每增加一个二元决策点，复杂度就会恰好增加 1。包含 k 个分支的 switch 语句会使复杂度增加 k，因为它引入了 k 条新路径。 从实践角度看，一个更简单的计数规则对结构化代码会得到相同答案：M = D + 1，其中 D 是决策点总数。决策点是任何能让执行走向两个或更多路径的结构：if 或 else-if 分支、switch 中的 case、for、while 或 do-while 循环头、三元运算符、会产生短路分支的逻辑与或逻辑或，以及 catch 块。 业界指南通常将 1–4 视为低风险，5–7 视为中等风险，8–10 视为高风险（应考虑重构），10 以上视为很高风险（强烈建议拆分函数）。复杂度值还给出了实现完整分支覆盖所需的最少测试用例数：复杂度为 8 的函数至少需要 8 个测试用例才能覆盖每条独立路径。 需要明确圈复杂度衡量与不衡量的内容。它不直接衡量代码行数、性能或算法正确性。一个很长但完全顺序执行的函数复杂度可以是 1，而一个条件嵌套很深的短函数复杂度可能达到 20。该指标专门捕捉决策路径结构，这是测试工作量的主要驱动因素，也是潜在缺陷最常见的来源。与代码评审和其他质量指标结合使用时，圈复杂度是识别应优先重构和测试的函数的实用指南。