白盒测试判断闰年控制流图

### 白盒测试构建判断闰年的控制流图

#### 定义白盒测试与控制流图
白盒测试是一种基于程序内部结构的测试技术，通过检查程序逻辑路径来发现缺陷。控制流图（Control Flow Graph, CFG）用于表示程序执行流程中的基本块及其连接关系。

#### 判断闰年算法描述
通常情况下，判断某一年份是否为闰年的条件如下：
- 如果该年能被4整除但不能被100整除，则是闰年；
- 或者如果该年既能被100也能被400整除也是闰年；其他情况则不是闰年[^3]。

bool isLeapYear(int year){
    if (year % 4 != 0) {
        return false;
    } else if (year % 100 != 0) {
        return true;
    } else if (year % 400 != 0) {
        return false;
    } else {
        return true;
    }
}

#### 绘制控制流图
对于上述`isLeapYear()`函数可以绘制相应的控制流图：

节点(Node)代表语句或表达式的集合，边(Edge)显示从一个节点到另一个节点之间的转移路径。以下是此特定代码片段对应的简化版控制流图说明：

1. 节点N1: 函数入口
2. N2: `if(year%4!=0)`
- 若成立转向N7(`return false`)
- 否则继续至下一条指令
3. N3: `else if(year%100!=0)`
- 成立转去N8 (`return true`)
- 不满足前进往下一步骤
4. N4: `else if(year%400!=0)`
- 条件达成跳向N9 (`return false`)
- 反之前往最后一个返回点
5. N5: 默认分支即最后一种情形下的处理方式——当输入年数同时可被400整除时
6. N6: 返回true作为最终结果
7. N7/N8/N9: 分别对应不同条件下结束并给出相应布尔值的结果

请注意，在实际应用中可能会有更复杂的实现版本，这里仅提供了一个较为简单的例子以便理解概念[^3]。