第6章系统实施、评价和维护 - 图文

二白盒法(续)

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