分支与循环测试需精准覆盖各判断路径和边界：分支覆盖要求每个if/else、switch-case的真假分支及default均被执行；组合条件须分别验证各子表达式真值与假值。
Java 分支与循环逻辑的测试用例设计，核心在于让每条判断路径、每个循环边界都被真实触发——不是穷举所有可能，而是精准命中关键分支点和迭代状态。
分支覆盖：每个 if/else 和 switch-case 都要“走一遍”
分支覆盖（也称判定覆盖）要求每个判断语句的真、假两个出口至少各执行一次。重点不是条件多复杂，而是“是否都跑到了”。
- 单个 if：提供一组使条件为 true 的输入，再提供一组为 false 的输入
- if-else if-else 多分支：确保每个 else if 分支、以及最终的 else 都被进入（例如成绩分级中，95、75、45、0 四组数据可覆盖全部分支）
- switch-case：每个 case 标签、default 分支都要有对应输入；特别注意 break 缺失导致的“穿透”，可用异常输入验证 default 是否生效
- 组合条件（如 if (a > 0 && b < 10)）：需单独验证 a>0 为真/b0 为假/b
循环覆盖：关注“进不进、跑几次、停不停”
对 for/while/do-while，不能只测正常循环次数；Z路径覆盖理念在此非常实用——把循环抽象为三种典型行为：
- 0 次迭代：循环条件初始即不满足（如 for(int i=0; i<0; i++) 或 while(false)），验证跳过逻辑是否正确
- 1 次迭代：刚好满足一次循环（如 for(int i=0; i<1; i++)），检验初始化、执行体、更新逻辑是否连贯
- 多次迭代 + 边界后行为：例如数组遍历中，用长度为 2、5、10 的集合测试；同时检查循环退出后变量状态（如计数器、累加值）是否符合预期
- 嵌套循环不逐层穷举，而是每层独立控制：外层执行 0/1 次，内层也执行 0/1 次，组合成少量但高代表性的用例（如 2×2=4 组，而非 n×m 组）
测试结构与用例组织：Arrange-Act-Assert 清晰落地
JUnit 测试方法应严格遵循三段式，让意图一目了然：
立即学习“Java免费学习笔记（深入）”；
- Arrange：构造输入数据（如 new User("test", 18)）、模拟依赖（Mockito.when(service.findById(1)).thenReturn(user)）
- Act：调用被测方法（String result = calculator.calculate(x, y)）
- Assert：断言返回值、异常、状态变更（assertEquals("PASS", result); verify(logger).info("calc done")）
- 每个测试方法聚焦一个逻辑点（如“空列表时循环不执行”“负数输入触发 else 分支”），方法名体现场景（testCalculateWithNegativeInput、testProcessEmptyList）
覆盖率验证与常见盲区
仅靠人工设计不够，必须用工具确认实际覆盖效果：
- 使用 JaCoCo 运行测试后生成报告，重点关注“Branch Coverage”百分比，红色未覆盖分支会高亮显示
- 警惕“伪覆盖”：比如 if 中只写了 if 分支没写 else，测试只跑 if 就算分支覆盖 100%，但逻辑不完整
- 循环中的 break/continue 容易遗漏：需专门设计触发提前退出的用例（如 for 中遇到特定值 break）
- 异常分支常被忽略：try-catch 中的 catch 块必须用模拟异常触发，不能只测正常流程
