二白盒法(续)
2 判定覆盖(边覆盖)
–执行足够多的测试用例,使得被测程序中每个语句至少被执行一次,且每个判断的真假
分支至少执行一次。
–上例中可设计两组测试用例:
A=3,B=0 ,X=3可覆盖c、d分支
A=2,B=1 ,X=1可覆盖b、e分支
两组测试用例可覆盖所有判定
的真假分支
–判定覆盖仍是弱的覆盖标准。
–将程序模块抽象为程序图,判开始aA>1 and B=0bYcX=X/AYNA=2 or X>1dN返回eX=X+145
二白盒法(续)
?3 条件覆盖
–执行足够多的测试用例,使得被测程序中每个判定的每个条件的可能值至少执行一次。
46
二白盒法(续)
?3 条件覆盖(续)
?上例中,第一判定表达式:A>1 and B=0?设条件A>1 取真记为T1 ?假F1?条件B=0 取真记为T2 ?假F2?第二判定表达式:A=2 or X>1?设条件A=2 取真记为T3 ?假F3?条件X>1 取真记为T4 ?假F4
47
二白盒法(续)
3 条件覆盖(续)
–上例中,测试用例通过覆盖A B X 路径分支
满足的条件
开始aA>1 and B=0bYcX=X/ANY1 0 3 abe F1,T2,F3,T4 b,e21 1 abe T1,F2,T3,F4 b,e
A=2 or X>1dNeX=X+1两个测试用例覆盖了四个条件八种可能取值。
–未覆盖c、d分支,不满足判定覆盖的
返回48