《软件测试(ppt)完整版》由会员分享，可在线阅读，更多相关《软件测试(ppt)完整版（78页珍藏版）》请在金锄头文库上搜索。
1、软件测试,由,6.1软件测试的基本概念,一、软件测试的目的和重要性因为开发工作的前期不可避免地会引入错误，测试的目的是为了发现和改正错误，这对于某些涉及人的生命安全或重要的军事、经济目标的项目显得尤其重要。,1963年美国飞往火星的火箭爆炸，原因是FORTRAN程序：DO 5 I=1，3 误写为：DO 5 I=1. 3 损失1000万美元。 1967年苏联“联盟一号”宇宙飞船返回时因忽略一个小数点，在进入大气层时打不开降落伞而烧毁。,二、软件测试的特点,1、软件测试的开销大按照Boehm的统计，软件测试的开销大约占总成本的30%-50%。例如：APPOLLO登月计划，80%的经费用于软件测试。
2、,二、软件测试的特点 结论,3、软件测试难度大根据上述分析，既然不能进行 “穷举”测试，又要查出尽可能多的错误，软件测试工作的难度大。只有选择 ,“高效的测试用例”,什么是“高效的测试用例”？如何选择“高效的测试用例”？这就是本章讨论的主要问题！,三、软件测试的基本原则,3、充分注意测试中的群集现象。,1、尽量不由程序设计者进行测试。 2、关键是注重测试用例的选择。输入数据的组成（输入数据、预期的输出结果）既有合理输入数据，也有不合理的输入数据。用例既能检查应完成的任务，也能够检查不应该完成的任务。长期保存测试用例。,由安博测试空间技术中心http:/ 软件测试方法,软件测试方法分为两类：静态
3、分析、动态测试,一、静态分析方法 指以人工的、非形式化的方法对程序进行分析和测试。桌前检查 代码会审 步行检查,步行检查时，还常使用以下分析方法： 调用图从语义的角度考察程序的控制路线。 数据流分析图检查分析变量的定义和引用情况。, 调用图,无论Y 为何值，都不能够调用子程序。,READY,Y0,N,X:=Y,X1) AND (B=0) THEN X:=X/A ;IF (A=2) OR (X1) THEN X:=X+1 END;,1）选择逻辑覆盖标准。 2）按照覆盖标准列出所有情况。 3）选择确定测试用例。 4）验证分析运行结果与预期结果。,逻辑结构,白盒法举例,Procedure （VAR
4、A,B,X:REAL）；BEGINIF（A1) AND (B=0) THEN X:=X/A ;IF (A=2) OR (X1) THEN X:=X+1END;,1、语句覆盖,使得程序中每个语句至少都能被执行一次。,A1 AND B=0,X:=X/A,A=2 OR X1,X:=X+1,a,b,c,d,e,满足语句覆盖的情况：执行路径：ace,选择用例： (2,0,4),(2,0,3),用例格式： 输入(A,B,X)，输出(A,B,X),Y,N,Y,N,2、判定覆盖,使得程序中每个判定至少为TRUE 或FALSE各一次。,A1 AND B=0,X:=X/A,A=2 OR X1,X:=X+1,a,b
5、,c,d,e,覆盖情况：应执行路径 ace abd 或： acd abe,选择用例(其一）： (2,0,4),(2,0,3) ace(1,1,1),(1,1,1) abd (2,1,1),(2,1,2) abe(3,0,3),(3,1,1) acd,Y,Y,N,N,3、条件覆盖,A1 AND B=0,X:=X/A,A=2 OR X1,X:=X+1,a,b,c,d,e,使得判定中的每个条件获得各种可能的结果。,应满足以下覆盖情况： 判定一: A1, A1, B=0, B0 判定二: A=2, A2, X1, X1,选择用例：(2,0,4),(2,0,3)(1,1,1),(1,1,1),N,N,Y
6、,Y,2,A1,A2,0,B=0,4,X1,1,A1,A=2,1,B0,1,X1,注意:(1,0,3),(1,0,4)(2,1,1),(2,1,2) 满足条件覆盖，但不满足判断覆盖。,4、判定/条件覆盖,同时满足判断覆盖和条件覆盖。,A1 AND B=0,X:=X/A,A=2 OR X1,X:=X+1,a,b,c,d,e,应满足以下覆盖情况：条件: A1, A1, B=0, B0A=2, A2, X1, X1应执行路径 ace abd 或： acd abe,选择用例：(2,0,4),(2,0,3)（ace)(1,1,1),(1,1,1) (abd),Y,Y,N,N,5、条件组合覆盖,使得每个判
7、定中条件的各种可能组合都至少出现一次。,A1,X:=X/A,A=2,X:=X+1,a,b,c,d,e,B=0,X1,Y,N,Y,N,Y,N,Y,N,编译系统下的执行情况： 部分路径未被执行。,满足以下覆盖情况： A1, B =0 A1, B0 A1, B =0 A1, B0 A=2, X1 A=2, X1 A2, X1 A2, X1,选择用例： (2,0,4),(2,0,3) (2,1,1),(2,1,2) (1,0,3),(1,0,4) (1,1,1),(1,1,1) ,作业：,PROGRAM bubble(input,output);CONST n=100;TYPE colarr=ARRA
8、Y1n OF INTEGER; VAR a: colarr; t,i,j: INTEGER; BEGIN FOR i:=1 TO n DO READ(ai); READLN; FOR j:=1 TO n-1 DO FOR i:=1 TO n-j DO IF aiai+1 THEN BEGIN t:=ai; a:=ai+1; aI+1:=t END; FOR i:=1 TO n DO BEGIN WRITE(ai:4); IF I MOD 5=0 THEN WRITELN END; WRITELN END.,用白盒法测试以下程序段，要求写出覆盖标准，列出所有判定情况，选择测试用例。,作业：,退出
9、,上页,首页,下页,末页,用C语言编写选择排序的程序,并用白盒法进行测试.,二、动态测试方法（2）,等 价 分 类 法,边 值 分 析 法,错 误 推 测 法,因 果 图 法,(2)黑盒法不考虑程序的内部结构与特性，只根据程序功能或程序的外部特性设计测试用例。,1、等价分类法,基本思想：根据程序的I/O特性，将程序的定义域划分为有限个等价区段 “等价类”，从等价类中选择出的用例，具有“代表性”。,等价类分为： 有效等价类 对于程序的规格说明是合理的、有意义的输入数据构成的集合。 无效等价类 对于程序的规格说明，是不合理的，是没有意义的输入数据构成的集合。,等价分类法步骤,应按照输入条件（如输入
10、值的范围，值的个数，值的集合，输入条件必须如何）划分为有效等价类和无效等价类。 例如：每个学生可选修1-3门课程可以划分一个有效等价类：选修1-3门课程。可以划分两个无效等价类：未选修课，选修课超过3门。 又如：标识符的第一个字符必须是字母。可以划分为一个有效等价类：第一个字符是字母。可以划分一个无效等价类：第一个字符不是字母。, 划分“等价类”,显然，关键是 如何划分等价类,A、为每个等价类编号； B、使一个测试用例尽可能覆盖多个有效等价类 C、特别要注意的是：一个测试用例只能覆盖一个无效等价类。, 选择测试用例,等价分类法步骤,2、边值分析法,基本思想： 选择等价类的边缘值作为测试用例，让
11、每个等价类的边界都得到测试，选择测试用例既考虑输入亦考虑输出。,分析步骤： A、先划分等价类。B、选择测试用例，测试等价类边界。,边界选择原则： A、按照输入值范围的边界。B、按照输入/输出值个数的边界。C、输出值域的边界。D、输入/输出有序集的边界。,A、按照输入值范围的边界。例如：输入值的范围是-1.0至1.0，则可选择用例 1.0、1.0、-1.001、1.001。B、按照输入/输出值个数的边界。例如：输入文件可有1-255个记录，则 设计用例：文件的记录数为 0个、1个、255个、256个。C、输出值域的边界。例如：检索文献摘要，最多4篇。设计用例：可检索0篇、1篇、4篇，和5篇（错误
12、）。D、输入/输出有序集（如顺序文件、线性表）的边界。应选择第一个元素和最后一个元素。,边值分析法举例,黑盒法应用实例,对FORTRAN编译系统中的DIMENSION语句进行测试。 语句格式为：DIMENSION ad,ad ad为数组描述符， 形式为 n（d, 其中：n数组名，字母打头的字母数字串，长6。 D为界偶（1-7个）：ld:nd ld 和 nd 的值为1-65535， ld缺省为1。,40 个等价类,3、错误推测法,凭经验或直觉推测可能的错误，列出程序中可能有的错误和容易发生错误的特殊情况，选择测试用例。,把输入条件视为“因”，把输出条件视为“果”，将黑盒看成是从因到果的网络图，采用逻辑图的形式来表达功能说明书中输入条件的各种组合与输出的关系。根据这种关系可选择高效的测试用例。因果图是一种形式化语言，是一种组合逻辑 网络图。,4、因果图法,4、因果图法（cause effcet graphicei）, 因果图的基本符号0 - 表示“不出现” 1 - 表示“出现”,
