发布时间 : 星期三 文章第6章系统实施、评价和维护 - 图文更新完毕开始阅读7085f75b9b6648d7c1c74690
二白盒法(续)
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