（三）动态白盒测试逻辑覆盖练习

条件：x>8 and y>5
x>0 or y>0 x>16 or y>10
1、语句覆盖

基本思想：设计若干条测试用例，保证程序中所有可执行语句 ，至少被执行一次

x=-2 y=-3      00（左）语句块1
x=3  y=4       01(左中)语句块2
x=18 y=7       11（右）语句块3

2、判定(分支)覆盖
基本思想：设计若干条测试用例，保证程序中每一个判定的真分支、假分支至少被执行一次

x=-2 y=-3        00（左）
x=3  y=4         01 （左中）
x=11 y=8         10（右中）
x=18 y=7         11（右） 

3、条件覆盖
基本思想：设计若干条测试用例，保证每个判定中每个条件的取值情况，至少被执行一次

x=-2 y=-3        0000(左)
x=3  y=4         0011（左中）
x=11 y=8         1100（右中）
x=18 y=7         1111（右）

4、判定-条件覆盖
基本思想：设计若干条测试用例，保证程序中每个判定中的每个条件的取值情况至少执行一次，并且要保证每个判定的所有取值情况至少执行一次

x=-2 y=-3        0000(左)
x=3  y=4         0011（左中）
x=11 y=8         1100（右中）
x=18 y=7         1111（右）

5、条件组合

（左）   
x=-2 y=-3  00   00 
           01   01（冲突，则可以写冗余的组合，否则条件不够,不满足条件组合）
x=5  y=8   01   11
x=-5 y=2   00   01
x=10 y=-5  10   10

（右）
x=11 y=8   11   00
x=10 y=15  11   01
x=18 y=7   11   10
x=18 y=7   11   11

6、路径覆盖

x=-2 y=-3  1-2-3
x=3  y=4   1-2-4
x=11 y=8   1-5-6
x=18 y=7   1-5-7