《软件测试的基本概念课件.ppt》由会员分享，可在线阅读，更多相关《软件测试的基本概念课件.ppt（51页珍藏版）》请在三一办公上搜索。
1、软件测试,第 六 章,6,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、关键是注重测试用例的选择。输入数据的组成（输入数据、预期的输出结果）既有合理输入数据，也有不合理的输入数据。用例既能检查应完成的任务，也能够检查不应该完成的任务。长期保存测试用例。,四、测试的基本步骤,模块测试,整体测试,功能测试,预测试,系统测试,验收测
3、试,安装测试,概要设计审查,详细设计审查,代码审查,测试,(单元测试）,（组装测试）,（有效性测试）,（确认测试）,6.2 软件测试方法,软件测试方法分为两类：静态分析、动态测试,一、静态分析方法指以人工的、非形式化的方法对程序进行分析和测试。桌前检查代码会审步行检查,步行检查时，还常使用以下分析方法：调用图从语义的角度考察程序的控制路线。数据流分析图检查分析变量的定义和引用情况。,调用图,无论Y 为何值，都不能够调用子程序。,READY,Y0,N,X:=Y,X0,Y,N,Y,调用子程序,A,B,C,D,E,即执行ABC后，是不可能执行路径CDE的。,数据流分析图,节点 表示单个语句。有向边
4、表示控制结构。d 定义r 引用u 未引用,R：duuuuuS：uruuurY：uuddru,R=0.5,W=1/S,Y=A*W,Y=E*W,Z=X+Y,C=Z*S,123456,只定义不用未定义引用连续定义,二、动态测试方法（1）,通过选择适当的测试用例，执行程序。常用的方法：1、白盒法分析程序的内部逻辑结构，注意选择适当的覆盖标准，设计测试用例，对主要路径进行尽可能多的测试。,2、黑盒法 不考虑程序的内部结构与特性，只根据程序功能或程序的外部特性设计测试用例。,白盒法,白盒法又称为逻辑覆盖法，其测试用例选择，是按照不同覆盖标准确定的。,语句覆盖,判定覆盖,条件覆盖,判定条件覆盖,条件组合覆盖
5、,弱,强,语句覆盖：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。判定覆盖：执行足够的测试用例，使得程序中每个判定至少都获得一次“真”值和“假”值。条件覆盖：执行足够的测试用例，使得判定中的每个条件获得各种可能的结果。判定/条件覆盖：执行足够的测试用例，使得判定中每个条件取到各种可能的值，并使每个判定取到各种可能的结果。条件组合覆盖：执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。,白盒法常用的覆盖标准,白盒法步骤：,例：用白盒法测试以下程序段：Procedure（VAR A，B，X：REAL）；BEGIN IF（A1)AND(B=0)THEN X:=X/A;IF(
6、A=2)OR(X1)THEN X:=X+1END;,1）选择逻辑覆盖标准。2）按照覆盖标准列出所有情况。3）选择确定测试用例。4）验证分析运行结果与预期结果。,逻辑结构,白盒法举例,Procedure（VAR A,B,X:REAL）；BEGIN IF（A1)AND(B=0)THEN X:=X/A;IF(A=2)OR(X1)THEN X:=X+1 END;,逻辑结构,1、语句覆盖,使得程序中每个语句至少都能被执行一次。,A1ANDB=0,X:=X/A,A=2OR X1,X:=X+1,a,b,c,d,e,满足语句覆盖的情况：执行路径：ace,选择用例：(2,0,4),(2,0,3),用例格式：输入
7、(A,B,X)，输出(A,B,X),Y,N,Y,N,2、判定覆盖,使得程序中每个判定至少为TRUE 或FALSE各一次。,A1ANDB=0,X:=X/A,A=2OR X1,X:=X+1,a,b,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、条件覆盖,A1ANDB=0,X:=X/A,A=2OR X1,X:=X+1,a,b,c,d,e,使得判定中的每个条件获得各种可能的结果。,应满足以下覆盖情况：
8、判定一: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,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、判定/条件覆盖,同时满足判断覆盖和条件覆盖。,A1ANDB=0,X:=X/A,A=2OR X1,X:=X+1,a,b,c,d,e,应满足以下覆盖情况：条件:A1,A1,B=0,B0 A=2,A2,X1,X1 应执行路径ace abd或：acd abe,选择用例：(2
9、,0,4),(2,0,3)（ace)(1,1,1),(1,1,1)(abd),Y,Y,N,N,5、条件组合覆盖,使得每个判定中条件的各种可能组合都至少出现一次。,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),二、动态测试方法（2）,等价分类法
10、,边值分析法,错误推测法,因果图法,(2)黑盒法 不考虑程序的内部结构与特性，只根据程序功能或程序的外部特性设计测试用例。,1.等价分类法,基本思想：根据程序的I/O特性，将程序的定义域划分为有限个等价区段“等价类”，从等价类中选择出的用例，具有“代表性”。,等价类分为：有效等价类 对于程序的规格说明，是合理的、有意义的输入数据构成的集合。无效等价类 对于程序的规格说明，是不合理的、没有意义的输入数据构成的集合。,等价分类法步骤,应按照输入条件（如输入值的范围，值的个数，值的集合，输入条件必须如何）划分为有效等价类和无效等价类。例如：每个学生可选修1-3门课程可以划分一个有效等价类：选修1-3
11、门课程。可以划分两个无效等价类：未选修课，选修课超过3门。,划分“等价类”,显然，关键是如何划分等价类,A 为每个等价类编号；B 使一个测试用例尽可能覆盖多个有效等价类C 特别要注意:一个测试用例只能覆盖一个无效等价类。,选择测试用例,等价分类法步骤,2.边值分析法,基本思想：选择等价类的边缘值作为测试用例，让每个等价类的边界都得到测试，选择测试用例既考虑输入亦考虑输出。,分析步骤：A 先划分等价类。B 选择测试用例，测试等价类边界。,边界选择原则：A 按照输入值范围的边界。B 按照输入/输出值个数的边界。C 输出值域的边界。D 输入/输出有序集的边界。,A 按照输入值范围的边界。例如：输入值
12、的范围是-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篇（错误）。D 输入/输出有序集（如顺序文件、线性表）的边界。应选择第一个元素和最后一个元素。,边值分析法举例,黑盒法应用实例,对FORTRAN编译系统中的DIMENSION语句进行测试。语句格式为：DIMENSION ad,ad ad为数组描述符，形式为 n（d,其中：n数组名，字母打头的字母数字
13、串，长6。D为界偶（1-7个）：ld:nd ld 和 nd 的值为1-65535，ld缺省为1。,40 个等价类,3.错误推测法,凭经验或直觉推测可能的错误，列出程序中可能有的错误和容易发生错误的特殊情况，选择测试用例。,把输入条件视为“因”，把输出条件视为“果”，将黑盒看成是从因到果的网络图，采用逻辑图的形式来表达功能说明书中输入条件的各种组合与输出的关系。根据这种关系可选择高效的测试用例。因果图是一种形式化语言，是一种组合逻辑网络图。,4.因果图法,4.因果图法（cause effcet graphicei）,因果图的基本符号0-表示“不出现”1-表示“出现”,恒等若a为1，则b为1，否则
14、b为0。“非”函数 若a为1，则b为0，否则b为1。“或”函数 若a或b为1，则d为1，否则d为0。“与”函数 若a与b同为1，则d为1，否则d为0。,4.因果图法（cause effcet graphicei）,对“与”、“或”函数的限制符号,E约束（异）排斥即a、b不能同时为1。I约束（或）包容a、b、c不能同时为0。O约束（唯一）选一 a、b中仅有一个为1。R约束（要求）需要 a为1时，b必须为1M约束（强制）屏蔽 若a为1时，则b强制为1。,a,b,E,a,b,c,I,a,b,R,a,b,O,a,b,M,因果图法的步骤,分析规范，即将问题分为若干可工作的步骤。标识出规范中的原因与结果。
15、原因输入条件 结果输出或系统变换,将因果图转换为有限项判断表。将判断表的每一列，转换为一个测试用例。,分析规范语义、内容，转换为因果图。,因果图法应用举例,规范：文件名第一列字符必须为A或B，第二列字符必须为数字。满足则修改文件。第一字符不正确发出信息X12，第二个字符不正确发出信息X13。,1.分析规范原 因 结 果1 第一列字符为A 50修改文件2 第一列字符为B 51发信息X123 第二列字符为数字 52发信息X13,2.画出因果图,中间结点是导出结果的进一步原因。,考虑到原因1、2不可能同时为1，加上E约束。,11,3.将因果图转换为判断表,11,51,50,52,8.3 软件测试的步
16、骤,测试步骤及策略 所有测试过程都应采用综合测试策略；即先作静态分析，再作动态测试。并事先制订测试计划。测试过程通常可分4步进行：,一、模块测试（Module Testing）,1.测试内容,模块,模块接口测试,局部数据结构测试,重要路径测试,错误处理测试,边界条件测试,I/O 参数值的个数、类型、次序、格式是否正确，I/O文件属性、操作是否正确等。,数据说明是否正确、一致，变量及其初值定义是否正确等。,检查“错误处理程序”本身的错误。,边界条件常包括循环边界，最大最小值、控制流中等于、大于、小于的比较值等。,重要路径通常是指完成模块功能的主要路径，一般是控制结构。,也称单元测试（unit t
17、esting),2.模块测试步骤,考虑到被测模块与其它模块的联系，因此测试时需要使用两类辅助模块来模拟其他模块。,驱动模块（driver）模拟主程序功能，用于向被测模块传递数据，接收、打印从被测模块返回的数据。,桩模块（stub）又称为假模块，用于模拟那些由被测模块所调用的下属模块功能。,一般，驱动模块比桩模块容易设计。但都是额外开销。测试方法以白盒法为主。,被测模块,驱动模块,桩模块,桩模块,桩模块,二、组装测试（Integration Testing）,1.组装测试的任务确定模块组装方案，将经过测试的模块组装为一个完整的系统。组装方案分为渐增式及非渐增式。测试方法以黑盒法为主，按照组装方案
18、进行测试。,也称为联合测试或集成测试，重点测试模块的接口部分，需设计测试过程使用的驱动模块或桩模块。,问题：渐增式与非渐增式各有何优、缺点？为什么通常采用渐增式？,2.渐增式组装测试,渐增式是先进行模块测试，然后将这些模块逐步组装成较大的系统，每连接一个模块进行一次测试。两种方案：,设计驱动模块或桩模块，对每一个新组装的子系统进行测试，对发现问题较多的子系统或模块应该用白盒法作回归测试。,自顶而下增值自底而上增值,自顶而下增值,M1,M4,M3,M2,M6,M5,程序模块示意图,S5,M1,S1,S1,S1,S2,S2,S2,S3,S3,S3,第一步，测试主控模块M1设计桩模块S1、S2、S3
19、，模拟被M1调用的M2、M3、M4。,M2,M3,M4,第二步，依次用M2、M3、M4替代桩模块S1、S2、S3，每替代一次进行一次测试。,S4,S4,S4,S5,S5,第三步，对由主控模块M1和模块M2、M3、M4构成的子系统进行测试，设计桩模块S4、S5。,M5,M6,第四步，依次用模块M5和M6替代桩模块S4、S5，并同时进行新的测试。组装测试完毕。,自底而上增值,M3,M6,M5,D1,D2,D3,D1,D1,D2,D2,D3,D3,M2,M4,M1,第四步，把已测试的子系统按程序结构连接起来完成程序整体的组装测试。,D4,D4,D4,D5,D5,D5,M1,M4,M3,M2,M6,M
20、5,程序模块示意图,第一步，对最底层的模块M3、M5、M6进行测试,设计驱动模块D1、D2、D3来模拟调用。,第三步，设计驱动模块D4、D5 和D6模拟调用，分别对新子系统进行测试。,第二步，用实际模块M2、M1和M4替换驱动模块D1、D2、D3。,D6,深度优先与宽度优先,无论是自顶而下增值还是自底而上增值，还可选择深度优先或者宽度优先增值。,举例：按自顶而下增值法，写出下图中分别按照深度优先或者宽度优先增值的模块组装次序。,A,B,C,D,H,G,J,E,F,I,K,L,M,N,确定集成过程的原则,自顶而下增值优点：能够尽早发现系统主控方面的问题。缺点：无法验证桩模块是否完全模拟了下属模块
21、的功能。自底而上增值优点：驱动模块较容易编写桩模块，能够尽早查出底层涉及较复杂的算法和实际的I/O模块中的错误。缺点：最后才能发现系统主控方面的问题。,集成过程的原则 尽早测试关键模块。尽早测试包含I/O的模块。,3.混合增值,常见的混合增值方案：衍变的自顶而下先自底而上集成子系统，再自顶而下集成总系统。,自底而上自顶而下增值对含有读操作的子系统采用自底而上。对含有写操作的子系统采用自顶而下。,回归测试在回归测试中自底而上，对其余部分（引起是对修改过的子系统）采用自顶而下。,三、确认测试(validation testing),1.任务 又称为有效性测试或功能测试。其任务是验证系统的功能、性能
22、等特性是否符合需求规格说明。,选择测试人员,选择测试用例,实际运行测试,软件计划,用户文档,开发文档,源程序文本,支持环境,有效性测试,软件配置审查,管理机构裁决,专家鉴定会,交用户,运行维护,测试报告,软件配置,2.确认测试步骤,（1）有效性测试制定测试计划，运用黑盒法，验证软件特性是否与需求符合。,（2）软件配置复查软件配置指软件工程过程中所产生的所有信息项：文档、报告、程序、表格、数据。随着软件工程过程的进展软件配置项（SCI software Configuration Item）快速增加和变化。应复查SCI是否齐全。,（3）测试和测试,测试 是在开发机构的监督下，由个别用户在确认测试
23、阶段后期对软件进行测试，目的是评价软件的FLURPS（功能、局域化、可使用性、可靠性、性能和支持），注重界面和特色。测试 由支持软件预发行的客户对FLURPS进行测试，主要目的是测试系统的可支持性。,Function Testing 功能测试 Local Area Testing 局域化测试Usability Testing 可使用性测试Regression Testing 回归测试Performance Testing 性能测试Supportability Testing 可支持性测试,四、系统测试（system testing）,将经过确认测试的软件，与计算机硬件、外设、支持软件等一起，在
24、实际运行环境下测试。,五、验收测试（acceptance testing）,验收测试是以用户为主的测试。,6.3.6 综合测试策略,软件测试是保证软件可靠性的主要手段，也是软件开发过程中最艰巨、最繁杂的任务。软件测试方案是测试阶段的关键技术问题，基本目标是选择最少量的高效测试用例，从而尽可能多地发现软件中的问题。因此，无论哪一个测试阶段，都应该采用综合测试策略，才能够实现测试的目标。一般都应该先进行静态测试，再考虑动态测试。,最后进行验收测试（Acceptance Testing），是以用户为主的测试，测试过程、方法和测试内容与系统测试基本相同。有时也将验收测试与系统测试合二为一，此时，参加测
25、试的人员最好包括：有经验的系统测试专家，用户代表，软件开发人员及QA（质量保证）人员也应参加。,6.4软件纠错技术,软件测试的目的是发现错误，在发现错误后，则应按照一定的技术去纠正它。纠错的关键是“错误定位”。,一、纠错的原则1、注意错误的“群集现象”。2、不能只修改错误的征兆、表现。还应该修改错误的本质。3、注意在修改一个错误的同时，又引入新的错误。,二、纠错的技术,1、硬性纠错又称为蛮干法，是使用较多，效率较低的方法。,主存信息转储法关键部分设置打印语句使用自动纠错工具,2、回溯法排错适用于小程序。发现错误时，人工沿控制流追踪源代码程序。,3、归纳法,从测试结果发现的错误入手，分析它们之间的联系查找错误。是一种从特殊推断一般的系统化思考方法。,收集有关数据,组织数据,研究数据间的关系,提出假设,证明假设,纠正错误,能,能,不能,不能,列出所有已知的测试用例和程序执行结果,常用的构造线索的技术是“分类法”,分析线索之间的关系，找出矛盾，设计出错原因的假设,归纳排错法步骤,将假设与原始线索或数据进行比较，能否解释现象，证明假设。,4、演绎法排错,演绎法是一种从一般原理出发，经过排除和精化的过程，推导出结论的方法。,演绎法排错的步骤,
