软件工程 white box 测试 logical flow coverage

逻辑覆盖是以程序内部的逻辑结构为基础的测试用例设计技术。它属于白盒测试方法的一种。通常情况下，逻辑覆盖主要包含以下四个方面：执行路径覆盖 • 条件判断涵盖 • 控制流程检查 • 复杂条件关系处理 。下面将逐一说明这四个方面的主要内容与作用机制。

先给出一个流程图：

一、语句覆盖：

制定测试方案以确保所有可执行指令均被调用一次，并通过这条路线a-c-e即可覆盖全部四个可执行指令。我们计划将该路径的条件判断进行整合，并在操作过程中同时需注意各种情况的变化。当结果为False时需取反处理以确保逻辑正确。

取得满足条件的测试用例【（2，0，4），（2，0，3）】

二、分支覆盖

分枝覆盖的目标是精心设计一组测试用例，并通过执行目标程序来确保每个判断节点的真路径和假路径均被访问到。例如，在图中选择路径a→b→d或a→c→e即可覆盖所有判断节点的所有可能路径。同样的逻辑可应用于其