圈复杂度是什么

圈复杂度由 Thomas J. McCabe 在 1976 年提出：以控制流图上的判定点计数衡量分支规模，公式 M = E − N + 2P，也就是边数减节点数再加两倍连通分量，实践中约等于判定点个数加一。它同时给出分支测试数量的下界参考——复杂度为 4 的函数，至少要 4 条路径级用例才算覆盖到位。

基本信息

典型使用场景

• 函数大到难以测试：先用复杂度找出最该拆的几个
• 评审判断风险：高复杂度叠加高频变更，通常是缺陷高发区
• 制定检查阈值：先看现状分布，再定多数函数能达到的目标值
• 排查历史缺陷集中区：热点分析中复杂度是常用的一维
• 评估测试充分性：复杂度给出分支用例数量的下界参考

哪些结构会被计入

• if 与 else if 分支
• for、while、do-while 循环
• switch 的 case 分支
• 部分工具把逻辑与或的短路求值也计入
• catch 块与三元表达式

计数示例

int f(int a, int b) {
    if (a > 0) { ... }        // +1
    while (b-- > 0) { ... }   // +1
    return a > b ? 1 : 0;     // +1
}
// M = 1 + 3 = 4，至少需要 4 条路径级的用例

取值区间与常见处理