常见的白盒测试方法： - **语句覆盖**：设计用例确保程序中的每一条可执行语句都至少被执行一次，是最基础的覆盖要求。 - **判定覆盖（分支覆盖）**：确保程序中每个判断语句的 “真”“假” 两种分支都至少被执行一次，比语句覆盖更严格。 - **条件覆盖**：针对判断语句中的每个条件，确保其 “真”“假” 两种取值都能被覆盖，进一步细化分支覆盖的颗粒度。 - **路径覆盖**：设计足够多的用例，覆盖程序中所有可能的执行路径，是白盒测试中覆盖程度最高的方法之一。 白盒测试方法对比表： | 覆盖方法 | 覆盖目标 | 严格程度 | 优点 | 缺点 | 适用场景 | | ------------ | ------------------------------------------------------------ | -------- | ------------------------------------------------------------ | ------------------------------------------------------------ | ------------------------------------------------------------ | | **语句覆盖** | 确保程序中**每一条可执行语句**至少被执行一次。 | 最低 | 1. 实现简单，无需复杂逻辑分析；<br />2. 能快速发现未执行的 “死代码”。 | 1. 覆盖程度极低，无法检测分支逻辑错误；<br />2. 即使覆盖所有语句，仍可能存在功能漏洞。 | 1. 初步测试，快速排查代码是否存在未启用的部分；<br />2. 简单模块或小程序的基础验证。 | | **判定覆盖** | 确保程序中**每个判断语句**（如 if、while）的 “真”“假” 两种分支都至少执行一次。 | 中等 | 1. 覆盖程度高于语句覆盖，能检测分支逻辑漏洞；<br />2. 用例设计难度适中。 | 1. 未考虑判断语句内部多个条件的组合情况；<br />2. 可能遗漏条件取值相关的错误。 | 1. 对分支逻辑有基础验证需求的模块；<br />2. 中等复杂度程序的核心逻辑测试。 | | **条件覆盖** | 确保判断语句中**每个独立条件**的 “真”“假” 两种取值都至少被覆盖一次。 | 较高 | 1. 覆盖颗粒度更细，能检测单个条件的取值错误；<br />2. 比判定覆盖更全面。 | 1. 可能满足条件覆盖，但未覆盖所有分支（如条件组合导致分支未触发）；<br />2. 用例数量比判定覆盖多。 | 1. 判断语句中条件较多（如多条件组合的 if 语句）的模块；<br />2. 对条件逻辑准确性要求高的场景。 | | **路径覆盖** | 确保程序中**所有可能的执行路径**（语句组合、分支跳转的完整流程）都至少执行一次。 | 最高 | 1. 覆盖程度最全面，能最大程度发现逻辑漏洞；<br />2. 几乎能验证所有代码逻辑的正确性。 | 1. 用例数量极多，尤其复杂程序（如多层循环）中路径数呈指数级增长；<br />2. 执行和维护成本极高。 | 1. 核心算法模块、安全敏感模块（如支付、权限校验）；<br />2. 复杂度低、路径数量可控的关键程序。 |