白盒测试的逻辑覆盖
符号说明: ^ 代表逻辑运算符 && 或者 || T 代表 True F 代表 False A / B 代表条件表达式 六种逻辑覆盖的强弱关系: 在外面很多的教程都认为这六种逻辑覆盖从弱到强的排列顺序是: 语句覆盖->判定覆盖->条件覆盖->判定-条件覆盖->条件组合覆盖->路径覆盖 但经过上面的分析,它们之间的关系实际上可以用下图表示 语句覆盖 每条语句至少执行一次。 测试用例条件: A ^ B = T 判定覆盖(分支覆盖) 分支执行一致 测试用例条件: A ^ B = T A ^ B = F 条件覆盖 每个条件取到各种可能的值 测试用例条件: A=T A=F B=T B=F 判定/条件覆盖 判定覆盖、条件覆盖 测试用例条件: A ^ B = T A ^ B = F A=T A=F B=T B=F 条件组合 每个判断语句中条件结果的所有可能组合至少出现一次 测试用例条件: A= T B= T A= T B= F A= F B= T A= F B= F 路径覆盖 覆盖程序中所有可能的执行路径 优点:这种覆盖方法可以对程序进行彻底的测试用例覆盖