语句覆盖测试用例实用教案

《语句覆盖测试用例实用教案》由会员分享，可在线阅读，更多相关《语句覆盖测试用例实用教案（55页珍藏版）》请在装配图网上搜索。

1、会计学1语句语句(yj)覆盖测试用例覆盖测试用例第一页，共55页。白盒测试基本概念白盒测试基本概念1逻辑覆盖逻辑覆盖2基本路径测试基本路径测试3循环测试循环测试4面向对象的白盒测试面向对象的白盒测试5其他白盒测试方法简介其他白盒测试方法简介6主主要要内内容容第四章第四章 白盒测试方法白盒测试方法第1页/共55页第二页，共55页。第2页/共55页第三页，共55页。第3页/共55页第四页，共55页。白盒测试的常用方法白盒测试的常用方法逻辑覆盖逻辑覆盖基本路基本路径测试径测试 程序结程序结构分析构分析 插桩插桩第4页/共55页第五页，共55页。WHILE 循环结构 顺序结构 UNTIL循环结构 IF

2、选择结构 CASE 多分支结构选择结构 控制流图的图形符号控制流图的图形符号 第5页/共55页第六页，共55页。 R3 R2 R1 区域 （a）程序流程图 ) 7 1 2 3 4 5 6 8 1（b）控制流图 1 2 6 4 7 8 9 10 11 边 结点 R4 第6页/共55页第七页，共55页。白盒测试基本概念白盒测试基本概念1逻辑覆盖逻辑覆盖2基本路径测试基本路径测试3循环测试循环测试4面向对象的白盒测试面向对象的白盒测试5其他白盒测试方法简介其他白盒测试方法简介6主主要要内内容容第四章第四章 白盒测试方法白盒测试方法第7页/共55页第八页，共55页。语句语句(yj)覆盖覆盖判定覆盖判定

3、覆盖条件覆盖条件覆盖判定条件覆盖判定条件覆盖条件组合覆盖条件组合覆盖路径覆盖路径覆盖第8页/共55页第九页，共55页。1 语语 句句 覆覆 盖盖Statement Coverage设计足够多的测试用例，使设计足够多的测试用例，使得得(sh de)(sh de)程序中的每个语程序中的每个语句至少执行一次。句至少执行一次。第9页/共55页第十页，共55页。入口入口A 1AND B=0TA=2OR X 1TX = X / AX = X + 1返回返回FF用例用例ABX1204语句覆盖对程语句覆盖对程序的逻辑覆盖很序的逻辑覆盖很少，只能测试部少，只能测试部分语句，是很弱分语句，是很弱的逻辑判断标准。的

4、逻辑判断标准。第10页/共55页第十一页，共55页。int foo(int a, int b)return a / b; 尽管语句覆盖率达到了所谓的尽管语句覆盖率达到了所谓的100%，但是却没有发现最简单但是却没有发现最简单(jindn)的的Bug，如：，如：b=0时会出现一个除零异时会出现一个除零异常。常。第11页/共55页第十二页，共55页。2 判判 定定 覆覆 盖盖Dicision Coverage 不仅每个语句都必须至少执不仅每个语句都必须至少执行一次，而且行一次，而且(r qi)(r qi)每个判定每个判定表达式的每种可能的结果都应该表达式的每种可能的结果都应该至少执行一次，即每个判

5、定的至少执行一次，即每个判定的“真真”分支和分支和“假假”分支至少都执分支至少都执行一次。判定覆盖又称分支覆盖行一次。判定覆盖又称分支覆盖。第12页/共55页第十三页，共55页。用例用例ABX12042 1 1 1判定覆盖比语判定覆盖比语句覆盖强，但是句覆盖强，但是对程序逻辑的覆对程序逻辑的覆盖程度仍然不高。盖程度仍然不高。入口入口A 1AND B=0TA=2OR X 1TX = X / AX = X + 1返回返回FF12第13页/共55页第十四页，共55页。3 条条 件件 覆覆 盖盖Condition Coverage 不仅不仅(bjn)(bjn)每个语句都必每个语句都必须至少执行一次，而

6、且每个判须至少执行一次，而且每个判定表达式中的每个条件都取到定表达式中的每个条件都取到各种可能的结果，即每个条件各种可能的结果，即每个条件的的“真真”条件和条件和“假假”条件至条件至少都执行一次。少都执行一次。第14页/共55页第十五页，共55页。用例用例ABX12042 1 1 1A1, B!=0, A=2, X=1A1条件条件(tiojin)覆盖覆盖1：用例用例ABX12112 1 0 3入口入口A 1AND B=0TA=2OR X 1TX = X / AX = X + 1返回返回FF12程序中共有程序中共有4个条件个条件(tiojin)8个个结果结果A1, B=0，A=2, X1 (全真

7、全真(qun zhn)A=1, B!=0, A!=2, X=1(全假全假)条件覆盖条件覆盖2：请思考：这个条请思考：这个条件覆盖的测试用件覆盖的测试用例是否完全？例是否完全？真假真假混搭混搭第15页/共55页第十六页，共55页。 条件覆盖通常比判定覆盖强，因为它使判条件覆盖通常比判定覆盖强，因为它使判定表达式中每个条件都取到了两个不同的结果定表达式中每个条件都取到了两个不同的结果，而判定覆盖只关心整个判断表达式的值。在，而判定覆盖只关心整个判断表达式的值。在上页的测试用例中，条件覆盖上页的测试用例中，条件覆盖1不但覆盖了所有不但覆盖了所有判定表达式中各条件的所有可能结果，而且覆判定表达式中各条

8、件的所有可能结果，而且覆盖了所有判定的真、假分支，覆盖性很强。但盖了所有判定的真、假分支，覆盖性很强。但并不是所有满足条件覆盖的要求的测试数据都并不是所有满足条件覆盖的要求的测试数据都能满足判定覆盖的要求，如条件覆盖能满足判定覆盖的要求，如条件覆盖2.条件条件(tiojin)覆覆盖特点盖特点第16页/共55页第十七页，共55页。int foo(int a, int b)if (a 10 | b 1AND B=0TA=2OR X 1TX = X / AX = X + 1返回返回FF12第19页/共55页第二十页，共55页。5 条条 件件 组组 合合 覆覆 盖盖Condition Combinat

9、ion Coverage 设计足够多的测试用例，使设计足够多的测试用例，使得得(sh de)每个判定表达式中条每个判定表达式中条件的各种可能组合都至少出现一件的各种可能组合都至少出现一次。次。第20页/共55页第二十一页，共55页。a点的所有条件点的所有条件(tiojin)组合：组合：(1)A1, B0 ; (2)A1, B0(3)A 1, B0 ; (4)A 1, B0b点的所有条件点的所有条件(tiojin)组合：组合：(5)A2, x1 ; (6)A2, x1(7)A 2, x1 ; (8)A 2, x1入口入口A 1AND B=0TA=2OR X 1TX = X / AX = X +

10、1返回返回FFab一组测试用例：一组测试用例：满足满足(mnz)(1)和和(5): A2, B0, x4满足满足(mnz)(2)和和(6): A2, B1, x1满足满足(mnz)(3)和和(7): A1, B0, x2满足满足(mnz)(4)和和(8): A1, B1, x1第二组测试用例第二组测试用例：满足满足(1)和和(8): A3, B0, x1满足满足(2)和和(7): A3, B1, x2满足满足(3)和和(6): A无取值无取值, B0, x1满足满足(4)和和(5): A无取值无取值, B1, x2满足条件组合覆盖标准的满足条件组合覆盖标准的测试数据，也一定满足判定测试数据，也

11、一定满足判定覆盖、条件覆盖和判定覆盖、条件覆盖和判定/条件条件覆盖标准，是这几种覆盖标覆盖标准，是这几种覆盖标准中最强的。不过它不一定准中最强的。不过它不一定使程序中每条路径都执行到。使程序中每条路径都执行到。第21页/共55页第二十二页，共55页。int foo(int a, int b)if (a 6 | b 5) ) /判定判定(pndng)hreturn 1; 条件组合覆盖条件组合覆盖：k条件条件h条件条件: (1) c 5; (2) c = 5测试用例测试用例(1) a 6, b 8(2) a = 8(3) a = 6, b =6, b = 8(1) a = 7, b = 7, c

12、= 6(2) a = 5, b = 7, c = 6(3) a = 5, b = 7, c = 6(4) a = 5, b = 7, c = 6第22页/共55页第二十三页，共55页。int foo(int a, int b)int nReturn = 0;if (a 10)nReturn += 1; / 分支分支(fnzh)一一if (b 10) nReturn += 10; / 分支分支(fnzh)二二return nReturn;第23页/共55页第二十四页，共55页。6 路路 径径 覆覆 盖盖Path Coverage 设计足够多的测试用设计足够多的测试用例，使程序的每一条可能例，使程

13、序的每一条可能路径都至少路径都至少(zhsho)执行执行一次。一次。第24页/共55页第二十五页，共55页。int foo(int a, int b)int nReturn = 0;if (a 10)nReturn += 1; / 分支分支(fnzh)一一if (b 1AND B=0TA=2OR X 1TX = X / AX = X + 1返回返回FF1423第26页/共55页第二十七页，共55页。的故障。的故障。语句语句(yj)覆盖覆盖判定覆盖判定覆盖条件覆盖条件覆盖判定条件覆盖判定条件覆盖条件组合覆盖条件组合覆盖路径覆盖路径覆盖 第27页/共55页第二十八页，共55页。ABPYNAB当当P

14、S S当当P(a)顺序顺序(shnx)型型(b)选择选择(xunz)型型(c)Do-While型型(d)Do-Until型型P2YNcdP1YNabN-S图表示的基本控制结图表示的基本控制结构构第28页/共55页第二十九页，共55页。6YN7YN2NY3NNNYYY451NY8YN9YN1NY2NY3NNNYYY456YN7YN8YN9YN533第29页/共55页第三十页，共55页。白盒测试基本概念白盒测试基本概念1逻辑覆盖逻辑覆盖2基本路径测试基本路径测试3循环测试循环测试4面向对象的白盒测试面向对象的白盒测试5其他白盒测试方法简介其他白盒测试方法简介6主主要要内内容容第四章第四章 白盒测试

15、方法白盒测试方法第30页/共55页第三十一页，共55页。第31页/共55页第三十二页，共55页。基本基本(jbn)路径集路径集第32页/共55页第三十三页，共55页。基本（独立基本（独立(dl)）路径测试）路径测试步骤步骤第33页/共55页第三十四页，共55页。基基本本(jbn)路路径径测测试试int test2( int x, int y )int k = 0;if (x 0) if ( y = 0 ) k = x + 100; else if ( y = 1 ) k = k + 10; else k = 20; / if ( y = 0 ) / if( x0 ) return k; 第一步

16、：第一步：给程序语给程序语句句(yj)编号编号第34页/共55页第三十五页，共55页。第二步：画出第二步：画出程序程序(chngx)流图流图路径路径(ljng)1： 1, 2, 10路径路径(ljng)2：1，2，3，4，10路径路径(ljng)3：1，2，3，5，6，7，10路径路径(ljng)4：1，2，3，5，6，8，9，10第三步：找第三步：找出基本出基本(jbn)路径路径测试用例测试用例：x 0 , y=0, k=x+100测试用例测试用例：x0, y=1, k=10测试用例测试用例：x0, y!= 0, y!=1, k=20第四步：设计第四步：设计测试用例测试用例环路复杂度为环路复

17、杂度为4第三步：计算第三步：计算环路复杂度环路复杂度int test(int x, int y) int k = 0; if( x 0) if( y = 0 ) k = x + 100; else if ( y = 1 ) k += 10; else k = 20; return k; 第35页/共55页第三十六页，共55页。白盒测试基本概念白盒测试基本概念1逻辑覆盖逻辑覆盖2基本路径测试基本路径测试3循环测试循环测试4面向对象的白盒测试面向对象的白盒测试5其他白盒测试方法简介其他白盒测试方法简介6主主要要内内容容第四章第四章 白盒测试方法白盒测试方法第36页/共55页第三十七页，共55页。简

18、单简单(jindn)循环循环串接循环串接循环(xnhun)嵌套循环嵌套循环第37页/共55页第三十八页，共55页。通过循环通过循环(xnhun)n1,n,n+1次次简单循环简单循环(xnhun)测试测试注：注： n是允许通过是允许通过(tnggu)循环的最大循环的最大次数次数 第38页/共55页第三十九页，共55页。第39页/共55页第四十页，共55页。的方法来测试串接的方法来测试串接循环。循环。第40页/共55页第四十一页，共55页。白盒测试基本概念白盒测试基本概念1逻辑覆盖逻辑覆盖2基本路径测试基本路径测试3循环测试循环测试4面向对象的白盒测试面向对象的白盒测试5其他白盒测试方法简介其他白

19、盒测试方法简介6主主要要内内容容第四章第四章 白盒测试方法白盒测试方法第41页/共55页第四十二页，共55页。第42页/共55页第四十三页，共55页。应的值，测试数据要求能完全应的值，测试数据要求能完全覆盖类中代码，可以用传统的覆盖类中代码，可以用传统的测试技术来获取。测试技术来获取。第43页/共55页第四十四页，共55页。对于同一类中方法之间的调用，一般只需要极少甚至不用附加数据，因为方法都是对类进行存取，故这一类测试的准则是要求遍历类的所有主要状态。第44页/共55页第四十五页，共55页。白盒测试基本概念白盒测试基本概念1逻辑覆盖逻辑覆盖2基本路径测试基本路径测试3循环测试循环测试4面向对

20、象的白盒测试面向对象的白盒测试5其他白盒测试方法简介其他白盒测试方法简介6主主要要内内容容第四章第四章 白盒测试方法白盒测试方法第45页/共55页第四十六页，共55页。插插 桩桩 测测 试试第46页/共55页第四十七页，共55页。 入口 Q=X R=Y QR QR 出口 Q=QR R=RQ 第47页/共55页第四十八页，共55页。 入口 C(1)=C(1)+1 Q=X R=Y C(2)=C(2)+1 C(6)=C(6)+1 QR C(4)=C(4)+1 C(3)=C(3)+1 QR 出口 C(5)=C(5)+1 Q=QR R=RQ 桩桩1桩桩2桩桩3桩桩6桩桩4桩桩5第48页/共55页第四十九页，共55页。第49页/共55页第五十页，共55页。第50页/共55页第五十一页，共55页。域测试域测试(csh)（Domain Testing）第51页/共55页第五十二页，共55页。强，能够处理符号运算的编译强，能够处理符号运算的编译器和解释器。器和解释器。第52页/共55页第五十三页，共55页。 （a） （b） （c） 第53页/共55页第五十四页，共55页。第54页/共55页第五十五页，共55页。