软件测试技术基础教程-全套PPT课件.pptx

;主要内容;;软件测试的背景;软件测试发展历史;软件测试的现状 ;软件测试发展现状; - 美迪斯尼公司的狮子王游戏软件bug - 美航天局火星登陆探测器缺陷 - 北京奥运会门票暂停第二阶段的门票销售。 - 诺基亚Series40手机平台存在缺陷;软件缺陷;软件缺陷产生的原因;; 软件测试的复杂性与经济性分析;;;; 软件测试的复杂性与经济性分析;;;;;;白盒测试技术;白盒测试的基本概念;void DoWork (int x,int y,int z) { int k=0,j=0; if ( (x3)(z10) ) { k=x*y-1; j=sqrt(k); } //语句块1 if ( (x==4)||(y5) ) { j=x*y+10; } //语句块2 j=j%3; //语句块3 };白盒测试的基本概念; 主要用于软件验证,使用程序设计的控制结构导出测试用例。 按照程序内部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能。 ;;;;;逻辑覆盖测试-语句覆盖;;;判定 条件;逻辑覆盖测试-条件组合覆盖;路径： a b d a c e a b e a c d ;语句覆盖：设计若干个测试用例，运行被测程序，使程序中的每一条可执行语句至少执行一次。 判定覆盖（也称为分支覆盖）：设计若干个测试用例，运行被测程序，使程序中每个判定的取真分支和取假分支至少执行一次。; 条件覆盖：设计足够多的测试用例，运行被测程序，使程序中每个判定包含的每个条件的每个可能取值至少执行一次。; 条件组合覆盖：设计足够多的测试用例，运行被测程序，使程序中每个判定的所有可能的条件取值组合至少执行一次。 路径覆盖：设计足够多的测试用例，运行被测程序，要求覆盖程序中所有可能的路径。;逻辑覆盖的强弱关系图;; 控制流图是对程序流程图进行简化后得到的，它可以更加突出的表示程序的控制流的结构。 组成： 节点和控制流线。 （1）节点由带有标号的圆圈表示，可以代表一个或多个语句、一个处理框序列和一个条件判定框（假设不包含复合条件）。 （2）控制流线由带箭头的弧或线表示，可称为边。它代表程序中的控制流。;常见结构的控制流图; 复合条件：条件语句中用到一个或多个布尔运算符(逻辑OR，AND，NAND，NOR)。 ;void DoWork (int x,int y,int z) { int k=0,j=0; if ( (x3)(z10) ) { k=x*y-1; j=sqrt(k); } //语句块1 if ( (x==4)||(y5) ) { j=x*y+10; } //语句块2 j=j%3; //语句块3 };3;课堂练习;路径分析测试; 在不能做到所有路径覆盖的前提下，如果某一程序的每一个独立路径都被测试过，那么可以认为程序中的每个语句都已经检验过了，即达到了语句覆盖。;独立路径 程序中至少引进一个新的处理语句集合或一个新条件的任一路径。 在控制流图中必须至少包含一条在本次定义路径之前不曾用到的边。 环形复杂度（圈复杂度） 值＝独立路径数量，即提供了确保所有语句至少执行一次的测试数量的上界。;计算方法包括： 1、控制流图中区域的数量=环形复杂度(V(G))。 2、控制流图的环形复杂度V(G)=E-N+2，E是边的数量，N是节点数量。 3、控制流图的环形复杂度V(G)=P+1，P是判定节点的数量。;例：圈复杂度，计算如下： V(G)=10条边-8结点+2=4; V(G)=3个判定结点+1=4。 流图中有四个区域； ;;void Sort ( int iRecordNum, int iType ) 1 { 2 int x=0; 3 int y=0; 4 while ( iRecordNum-- 0 ) 5 { 6 If ( iType==0 ) 7 x=y+2; 8 else 9 If ( iType==1 ) 10 x=y+10; 11 else 12 x=y+20; 13 } 14 };; V(G)=10条边-8结点+2=4; V(G)=3个判定结点+1=4。 流图中有四个区域； ; 得出的独立路径如下： 路径1：4-14 路径2：4-6-7-14 路径3：4-6-8-10-13-4-14 路径4：4-