软件测试白盒黑盒测试第2章(2).ppt

二、控制流/覆盖测试（Control-flow/CoverageTesting）语句覆盖（StatementCoverage）语句覆盖是一种衡量测试所覆盖的程序语句百分比的措施。通过测试应该达到100%程序语句覆盖的目标。,语句覆盖,语句覆盖”是一个比较弱的测试标准，它的含义是：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。,PROCEDUREExample(A,B:real;X:real);BeginIF(A1)AND(B=0)THENX:=X/A;IF(A=2)OR(X1)THENX:=X+1END;,PROCEDUREExample(A,B:real;X:real);BeginIF(A1)AND(B=0)THENX:=X/A;IF(A=2)OR(X1)THENX:=X+1END;,I.A=2,B=0,X=4-sacbed,e,F,(A1)and(B=0),(A=2)or(X1),X=X/A,X=X+1,2,s,d,1,a,F,4,c,T,b,5,T,6,3,7,为使程序中每个语句至少执行一次，只需设计一个能通过路径ace的例子就可以了，例如选择输入数据为：A=2，B=0，X=4就可达到“语句覆盖”标准,语句覆盖,从上例可看出，语句覆盖实际上是很弱的，如果第一个条件语句中的AND错误地编写成OR，上面的测试用例是不能发现这个错误的；又如第三个条件语句中X1误写成X0，这个测试用例也不能暴露它，此外，沿着路径abd执行时，X的值应该保持不变，如果这一方面有错误，上述测试数据也不能发现它们。,e,F,(A1)and(B=0),(A=2)or(X1),X=X/A,X=X+1,2,s,d,1,a,F,4,c,T,b,5,T,6,3,7,课堂练习：按语句覆盖的标准设计测试用例voidDoWork(intx,inty,intz)intk=0,j=0;if(x3)/语句块3,voidDoWork(intx,inty,intz)intk=0,j=0;if(x3)/语句块3,为了测试语句覆盖率只要设计一个测试用例就可以把三个执行语句块中的语句覆盖了。测试用例输入为：x=4、y=5、z=5程序执行的路径是：abd,语句覆盖,该测试用例虽然覆盖了可执行语句，但并不能检查判断逻辑是否有问题，例如在第一个判断中把X:real);BeginIF(A1)AND(B=0)THENX:=X/A;IF(A=2)OR(X1)THENX:=X+1END;,X=X/A,I:A=3,B=0,X=1:sacbd,II:A=2,B=1,X=3:sabed,(A1)and(B=0),(A=2)or(X1),X=X+1,2,s,d,1,a,F,4,c,T,b,5,T,e,F,3,7,满足判定覆盖,（A1）and(B=0)为一个判定A1为一个条件,每个语句至少执行一次！每个判定的每种可能都至少执行一次！即每个判定的真假分支都至少执行一次！,6,课堂练习：按判定覆盖的标准设计测试用例voidDoWork(intx,inty,intz)intk=0,j=0;if(x3)/语句块3,设计两个测试用例则可以满足判定覆盖的要求。测试用例的输入为：x=4、y=5、z=5x=2、y=4、z=5上面的两个测试用例虽然能够满足判定覆盖的要求，但是也不能对判断条件进行检查，例如把第二个条件y5错误的写成y1)AND(B=0)THENX:=X/A；IF(A=2)OR(X1)THENX:=X+1；END.例1的程序有四个条件：A1、B=0、A=2、X1为了达到“条件覆盖”标准，需要执行足够的测试用例使得在a点有：A1、A1、B=0、B0等各种结果出现，以及在b点有：A=2、A2、X1、X1等各种结果出现。,PROCEDUREM(VARA，B，X：REAL)；BEGINIF(A1)AND(B=0)THENX:=X/A；IF(A=2)OR(X1)THENX:=X+1；END.现在只需设计以下两个测试用例就可满足这一标准：A=2，B=0，X=4(沿路径ace执行)；A=1，B=1，X=1(沿路径abd执行)。,每个语句至少执行一次，而且判定表达式中的每个条件都要取得各种可能的结果。,第一判定表达式:设条件A1取真记为T1假F1条件B=0取真记为T2假F2第二判定表达式:设条件A=2取真记为T3假F3条件X1取真记为T4假F4,条件覆盖要求这8种值都要取到,e,F,(A1),(A1),(B=0),(B0),(A=2),(A2),(X1),(X1),:A=1,B=1,X=2:sabed,:A=2,B=0,X=1:sacbed,不满足判定覆盖,F,(A1),(A1),(B=0),(B0),(A=2),(A2),(X1),(X1),:A=1,B=1,X=1:sabd,:A=2,B=0,X=4:sacbed,同时满足判定覆盖,e,F,课堂练习：按条件覆盖的标准设计测试用例voidDoWork(intx,inty,intz)intk=0,j=0;if(x3)/语句块3,对例2中的所有条件取值加以标记。对于第一个判断：条件x3取真值为T1，取假值为-T1条件z5取真值为T4，取假值为-T4,则可以设计测试用例如下,上面的测试用例不但覆盖了所有分支的真假两个分支，而且覆盖了判断中的所有条件的可能值。,条件覆盖,“条件覆盖”通常比“判定覆盖”强，因为它使一个判定中的每一个条件都取到了两个不同的结果，而判定覆盖则不保证这一点。“条件覆盖”并不包含“判定覆盖”，如对语句IF(AANDB)THENS设计测试用例使其满足条件覆盖,即使A为真并使B为假,以及使A为假而且B为真,但是它们都未能使语句S得以执行。,条件覆盖,如设计了下面的测试用例，则虽然满足了条件覆盖，但只覆盖了第一个条件的取假分支和第二个条件的取真分支，不满足判定覆盖的要求。,条件覆盖,实际应用中需考虑的情况,执行看得到的语句A5,语句覆盖,【优点】：可以很直观地从源代码得到测试用例，无须细分每条判定表达式。【缺点】：由于这种测试方法仅仅针对程序逻辑中显示存在的语句，但对于隐藏的条件是无法测试的。如在多分支的逻辑运算中无法全面的考虑。语句覆盖是最弱的逻辑覆盖。,判定覆盖,A5,No,Yes,每个判定真假各一次A5yesA5&b5&b=0noa5&b5和a=0有两种共有2*2=4种a5&b5&b=0a=0,【优点】：条件组合覆盖准则满足判定覆盖、条件覆盖和判定/条件覆盖准则。【缺点】：线性地增加了测试用例的数量。,路径覆盖,d5,c0,Yes,No,A,B,E,F,走完所有路径A-B-CA-B-DA-E-FA-E-G,b0,Yes,No,D,C,G,【优点】：这种测试方法可以对程序进行彻底的测试，比前面五种的覆盖面都广。【缺点】：需要设计大量、复杂的测试用例，使得工作量呈指数级增长，不见得把所有的条件组合都覆盖。,两个测试覆盖准则,准则1对于ArelB(rel表示关系，可以是，和)型的分支谓词，应适当地选择A与B的值，使得测试执行到该分支语句时，AB，AB和AB的情况分别出现一次。,准则1是为了检测rel的错误,两个测试覆盖准则,准则2对于Arel1C(rel1可以是或，A是变量，C是常