条件: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