白盒测试 逻辑覆盖法

语句覆盖：所有语句至少执行一次
分支(判定)覆盖：每个判定结果至少执行一次（每个判断真和假分支至少执行一次,至少两组测试用例实现，全真、全假）
条件覆盖：每个判断中的每个条件可能出现的结果（真假）至少执行一次。
分支-条件覆盖：分支覆盖的用例和条件覆盖的用例的并集
条件组合覆盖：所有逻辑条件的可能取值组合至少执行一次

例：


语句覆盖：{x=2,y=3,z=4} 执行路径：abd

分支覆盖：
{x=3,y=4,z=5} 执行路径：abd
{x=-1,y=2,z=0} 执行路径：ace

条件覆盖：

条件组合覆盖：

路径覆盖：