白盒测试——逻辑覆盖

白盒测试中的逻辑覆盖有以下六种方法：

1.语句覆盖：每个可执行语句至少被执行一次。
2.判定覆盖：每个判定的每个分支都至少执行一次。
3.条件覆盖：判定式中每个条件的每个分支至少执行一次。
4.判定条件覆盖：判定中每个条件的每个分支至少执行一次，所有判定的可能结果至少执行一次。
（修正判定条件覆盖：当锁定其他条件保护不变，改变判定条件中的一项的值，可以引起整个表达式执行的变化。）
5.条件组合覆盖：每个判定中所有可能的条件取值组合至少执行一次。
6.路径覆盖：覆盖程序中所有可能的路径。

（1）当程序中，每个判定语句中只有一个条件时，判定覆盖==条件覆盖。
（2）当情况如下：

判定覆盖：

需要条件	M==T	M==F
测试用例	a=1,b=0	a=-1,b=-1

条件覆盖：

需要条件	(a>0)==T	(a>0)==F	(b>0)==T	(b>0)==F

   测试用例：a=1,b=-1;a=-1,b=1
   判定结果：M=T

判定条件覆盖：

需要条件	(a>0)==T	(a>0)==F	(b>0)==T	(b>0)==F	M==T	M==F

   测试用例：a=1,b=1;a=-1,b=-1
   判定结果：M=T;M=F

条件组合覆盖：

需要条件	(a>0)==T && (b>0)==T	(a>0)==T&&(b>0)==F	(a>0)==F && (b>0)==T	(a>0)==F&& (b>0)==F
测试用例	a=1,b=1	a=1,b=-1	a=-1,b=1	a=-1,b=-1