第06章软件工程的测试PPT讲稿.ppt

《第06章软件工程的测试PPT讲稿.ppt》由会员分享，可在线阅读，更多相关《第06章软件工程的测试PPT讲稿.ppt（76页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、第第06章章软件工程的件工程的测试第1页，共76页，编辑于2022年，星期日第六章第六章软件项目的测试软件项目的测试软件测试基本概念软件测试基本概念1软件测试计划与测试分析报告软件测试计划与测试分析报告5软件测试的方法软件测试的方法2软件测试的步骤软件测试的步骤3程序调试程序调试4第2页，共76页，编辑于2022年，星期日6.1 软件测试基本概念软件测试基本概念测试的目的是确保软件的质量，尽量找出软件错误并加以纠正，而不是证明软件没有错。v19631963年美国飞往火星的火箭爆炸，原因是年美国飞往火星的火箭爆炸，原因是FORTRANFORTRAN程序：程序：vDO 5 I=1DO 5 I=1，

2、3 3 误写为：误写为：DO 5 I=1.3 DO 5 I=1.3 损失损失10001000万美元。万美元。v19671967年苏联年苏联“联盟一号联盟一号”宇宙飞船返回时因忽略一个小数点，在进入大气层宇宙飞船返回时因忽略一个小数点，在进入大气层时打不开降落伞而烧毁。时打不开降落伞而烧毁。第3页，共76页，编辑于2022年，星期日6.1 软件测试基本概念软件测试基本概念v一、为什么要进行软件测试一、为什么要进行软件测试软件中存在错误是不可避免的软件是一种高密集度的智力产品客观系统的复杂性人主观认识的局限性信息通信不一致协调管理不完善第4页，共76页，编辑于2022年，星期日6.1 软件测试基本

3、概念软件测试基本概念v二、测试的概念二、测试的概念v1 1、软件测试、软件测试软件测试是对软件计划、软件设计、软件编码进行查错和纠错的活动（包括代码执行活动与人工活动）。测试的目的是找出软件设计开发全周期中各个阶段的错误，以便分析错误的性质与位置而加以纠正。纠正过程可能涉及到改正或者重新设计相关的文档活动。找错活动称为测试，纠错活动称为调试。第5页，共76页，编辑于2022年，星期日6.1 软件测试基本概念软件测试基本概念v2 2、程序测试、程序测试程序测试是早已流行的概念。它是对编码阶段的语法错、语义错、运行错进行查找的编码执行活动。找出编码中错误的代码执行活动称程序测试。纠正编码中的错误的

4、执行活动称程序调试。通过查找编码错与纠正编码错来保证算法的正确实现。v软件测试与调试覆盖软件生存周期的整个阶段，而程序测试与调试软件测试与调试覆盖软件生存周期的整个阶段，而程序测试与调试则仅限于编码阶段，软件测试中的单元测试与程序测试十分相似，则仅限于编码阶段，软件测试中的单元测试与程序测试十分相似，不同在于，单元测试还要测试模块间的接口，并要设计与接口相关不同在于，单元测试还要测试模块间的接口，并要设计与接口相关的模块。的模块。第6页，共76页，编辑于2022年，星期日6.1 软件测试基本概念软件测试基本概念v3 3、软件确认与程序确认、软件确认与程序确认v软件确认是广义上的软件测试，它是企

5、图软件确认是广义上的软件测试，它是企图证明程序软件在给定的外部环境中的逻辑正确证明程序软件在给定的外部环境中的逻辑正确性的一系列活动和过程，指需求说明书的确认，性的一系列活动和过程，指需求说明书的确认，程序的确认。程序确认又分成静态确认与动态程序的确认。程序确认又分成静态确认与动态确认。静态确认包括，正确性证明，人工分析，确认。静态确认包括，正确性证明，人工分析，静态分析。动态分析包括动态确认与动态测试。静态分析。动态分析包括动态确认与动态测试。第7页，共76页，编辑于2022年，星期日6.1 软件测试基本概念软件测试基本概念v静态分析是不执行程序本身，分析程序正文可能导致错误的异常情静态分析

6、是不执行程序本身，分析程序正文可能导致错误的异常情况。可以人工的进行分析，也可以用测试工具静态分析程序来进行，被测况。可以人工的进行分析，也可以用测试工具静态分析程序来进行，被测试程序的正文做为输入，经静态分析程序分析得出分析结果。静态分析包试程序的正文做为输入，经静态分析程序分析得出分析结果。静态分析包括结构检查，流图分析，符号执行。括结构检查，流图分析，符号执行。v动态分析是执行被测程序，从执行结果分析程序可能出现的错误。动态分析是执行被测程序，从执行结果分析程序可能出现的错误。可以人工设计程序测试用例，也可以由测试工具动态分析程序来做检测可以人工设计程序测试用例，也可以由测试工具动态分析

7、程序来做检测与分析。动态测试包括功能测试和结构测试。动态测试的内容包括：单与分析。动态测试包括功能测试和结构测试。动态测试的内容包括：单元测试，也称逻辑测试，模块测试，功能测试。组装测试也称集成测试，元测试，也称逻辑测试，模块测试，功能测试。组装测试也称集成测试，综合测试，或结构测试，子系统测试。系统测试是软硬件或子系统的组综合测试，或结构测试，子系统测试。系统测试是软硬件或子系统的组装测试。装测试。第8页，共76页，编辑于2022年，星期日6.1 软件测试基本概念软件测试基本概念v4 4、各种软件错误的出现比例、各种软件错误的出现比例v功能错，占整个软件错误功能错，占整个软件错误2727，是

8、需求分析设计不完整而引，是需求分析设计不完整而引起的。起的。v系统错，占整个软件错误系统错，占整个软件错误1616，是总体设计错误而引起，是总体设计错误而引起v数据错，占整个软件错误数据错，占整个软件错误1010，由编码错误引起的，由编码错误引起的v编码错，占整个软件错误编码错，占整个软件错误4 4，程序员编码错误引起的，程序员编码错误引起的v其它错，占整个软件错误其它错，占整个软件错误1616，文档错和硬件错所引起，文档错和硬件错所引起第9页，共76页，编辑于2022年，星期日6.1 软件测试基本概念软件测试基本概念n三、软件测试的目标三、软件测试的目标n测试是为了发现程序中的错误而执行程序

9、的过程；n好的测试方案是极可能发现迄今为止尚未发现的错误的测试方案；n成功的测试是发现了至今为止尚未发现的错误的测试第10页，共76页，编辑于2022年，星期日6.1 软件测试基本概念软件测试基本概念v四、软件测试的原则四、软件测试的原则v1 1、测试前要认定被测试软件有错，不要认为软件设有错。、测试前要认定被测试软件有错，不要认为软件设有错。v2 2、要预先确定被测试软件的测试结果。、要预先确定被测试软件的测试结果。v3 3、要尽量避免测试自己编写的程序。、要尽量避免测试自己编写的程序。v4 4、测试要兼顾合理输入与不合理输入数据。、测试要兼顾合理输入与不合理输入数据。v5 5、测试要以软件

10、需求规格说明书为标准。、测试要以软件需求规格说明书为标准。v6 6、测试是相对的，不能穷尽所有的测试，要据人力物力安排测试，并、测试是相对的，不能穷尽所有的测试，要据人力物力安排测试，并选择好测试用例与测试方法。选择好测试用例与测试方法。v7 7、充分注意测试中的群集现象、充分注意测试中的群集现象:测试中发现的测试中发现的80%80%的错误可能来自于的错误可能来自于20%20%的程序代码的程序代码第11页，共76页，编辑于2022年，星期日6.1 软件测试基本概念软件测试基本概念v四、软件测试的原则四、软件测试的原则n8、严格执行测试计划,尽量避免测试的随意性，从工程的角度理解软件测试，它是有

11、组织、有计划、有步骤的活动n9、妥善保存测试计划、测试用例、出错统计和最终分析报告，为维护提供方便n10、应当把“尽早地和不断地进行软件测试”作为软件测试人的座右铭第12页，共76页，编辑于2022年，星期日6.2 软件测试的方法软件测试的方法v6.2.1 6.2.1 软件测试方法的分类软件测试方法的分类v软件测试方法分为两类：静态分析、动态测试。软件测试方法分为两类：静态分析、动态测试。v一、静态分析技术一、静态分析技术v不执行被测软件，可对需求分析说明书、软件设计说明不执行被测软件，可对需求分析说明书、软件设计说明书、源程序做结构检查、流程分析、符号执行来找出软件错书、源程序做结构检查、流

12、程分析、符号执行来找出软件错误。误。v二、动态测试技术二、动态测试技术v当把程序作为一个函数，输入的全体称为函数的定义域，输出当把程序作为一个函数，输入的全体称为函数的定义域，输出的全体称为函数的值域，函数则描述了输入的定义域与输出值域的的全体称为函数的值域，函数则描述了输入的定义域与输出值域的关系。关系。第13页，共76页，编辑于2022年，星期日6.2 软件测试的方法软件测试的方法v动态测试的算法有：动态测试的算法有：选取定义域中的有效值，或定义域外无效值。对已选取值决定预期的结果。用选取值执行程序。观察程序行为，记录执行结果。将的结果与的结果相比较，不吻合则程序有错。第14页，共76页，

13、编辑于2022年，星期日6.2 软件测试的方法软件测试的方法v三、黑盒测试与白盒测试三、黑盒测试与白盒测试v动态测试既可以采用白盒法对模块进行逻辑结构的测试，又可动态测试既可以采用白盒法对模块进行逻辑结构的测试，又可以用黑盒法做功能结枸的测试，接口的测试，它们都是以执行以用黑盒法做功能结枸的测试，接口的测试，它们都是以执行程序并分析执行结果来查错的。程序并分析执行结果来查错的。v1、黑盒测试法、黑盒测试法v黑盒测试法把程序看成一个黑盒子，完全不考虑程序的内部结黑盒测试法把程序看成一个黑盒子，完全不考虑程序的内部结构和处理过程。黑盒测试是在程序接口进行的测试，它只检查程序构和处理过程。黑盒测试是

14、在程序接口进行的测试，它只检查程序功能是否能按照规格说明书的规定正常使用，程序是否能适当地接功能是否能按照规格说明书的规定正常使用，程序是否能适当地接收输入数据产生正确的输出信息，并且保持外部信息的完整性。黑收输入数据产生正确的输出信息，并且保持外部信息的完整性。黑盒测试又称为功能测试。盒测试又称为功能测试。第15页，共76页，编辑于2022年，星期日6.2 软件测试的方法软件测试的方法v2、白盒测试法、白盒测试法v白盒测试法的前提是可以把程序看成装在一个透明的白白盒测试法的前提是可以把程序看成装在一个透明的白盒子里，也就是完全了解程序的结构和处理过程。这种方法盒子里，也就是完全了解程序的结构

15、和处理过程。这种方法按照程序内部的逻辑测试程序，检验程序中的每条通路是否按照程序内部的逻辑测试程序，检验程序中的每条通路是否都能按预定要求正确工作，白盒测试又称为结构测试。都能按预定要求正确工作，白盒测试又称为结构测试。使用白盒测试法，为了做到穷尽测试，程序中每条可能的通路至少都应该执行一次，但即使测试很小的程序，通常也不能做到这一点。一段程序对嵌套的语句循环执行20次，而循环体中有5条可能的路径，则在这段程序中共有520条可能的通路，即使每条通路只执行一次，也是不可能的，因此，要注意，不可能进行穷尽测试，也说明，测试不可能发现程序中的所有错误。第16页，共76页，编辑于2022年，星期日6.

16、2 软件测试的方法软件测试的方法第17页，共76页，编辑于2022年，星期日6.2 软件测试的方法软件测试的方法v6.2.2 6.2.2 测试方案设计测试方案设计v一、白盒法一、白盒法v白盒法又称为逻辑覆盖法，其测试用例选择，是按照不同覆盖标准白盒法又称为逻辑覆盖法，其测试用例选择，是按照不同覆盖标准确定的。确定的。语语句句覆覆盖盖判判定定覆覆盖盖条条件件覆覆盖盖判判定定条条件件覆覆盖盖条条件件组组合合覆覆盖盖弱弱强强第18页，共76页，编辑于2022年，星期日6.2 软件测试的方法软件测试的方法语句覆盖：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。判定覆盖：执行足够的测试用例，

17、使得程序中每个判定至少都获得一次“真”值和“假”值。条件覆盖：执行足够的测试用例，使得判定中的每个条件获得各种可能的结果。判定/条件覆盖：执行足够的测试用例，使得判定中每个条件取到各种可能的值，并使每个判定取到各种可能的结果。条件组合覆盖：执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。第19页，共76页，编辑于2022年，星期日6.2 软件测试的方法软件测试的方法v白盒测试法步骤白盒测试法步骤:选择逻辑覆盖标准。按照覆盖标准列出所有情况。选择确定测试用例。验证分析运行结果与预期结果。v例：用白盒法测试以下程序段：例：用白盒法测试以下程序段：vProcedureProcedur

18、e（VAR AVAR A，B B，X X：REALREAL）；）；vBEGINBEGINv IF IF（A1)AND(B=0)A1)AND(B=0)v THEN X:=X/A;THEN X:=X/A;v IF(A=2)OR (X1)IF(A=2)OR (X1)v THEN X:=X+1 THEN X:=X+1vEND;END;第20页，共76页，编辑于2022年，星期日满足语句覆盖的情况：满足语句覆盖的情况：执行路径：执行路径：aceace用例格式：用例格式：输入输入(A,B,X)(A,B,X)，输出，输出(A,B,X)(A,B,X)选择用例：选择用例：(2,0,4),(2,0,3)(2,0,

19、4),(2,0,3)1 1、语句覆盖、语句覆盖使得程序中每个语句至使得程序中每个语句至少都能被执行一次少都能被执行一次6.2 软件测试的方法软件测试的方法A1A1ANDANDB=0B=0X=X/AX=X/AA=2A=2OR OR X1X1X=X+1X=X+1a ab bc cd de eY YN NY YN N第21页，共76页，编辑于2022年，星期日覆盖情况：应执行路径覆盖情况：应执行路径ace abdace abd或：或：acd acd abe abe选择用例选择用例(其一）：其一）：(2,0,4),(2,0,3)ace(2,0,4),(2,0,3)ace (1,1,1),(1,1,1)

20、abd (1,1,1),(1,1,1)abd(2,1,1),(2,1,2)abe(2,1,1),(2,1,2)abe (3,0,3),(3,1,1)acd (3,0,3),(3,1,1)acd2 2、判定覆盖、判定覆盖使得程序中每个判定至少为使得程序中每个判定至少为TRUE TRUE 或或FALSEFALSE各一次。各一次。6.2 软件测试的方法软件测试的方法A1A1ANDANDB=0B=0X=X/AX=X/AA=2A=2OR OR X1X1X=X+1X=X+1a ab bc cd de eY YN NY YN N第22页，共76页，编辑于2022年，星期日3 3、条件覆盖、条件覆盖使得判定中

21、的每个条件获得各种使得判定中的每个条件获得各种可能的结果。可能的结果。应满足以下覆盖情况：应满足以下覆盖情况：判定一判定一:A1,A1,B=0,B0:A1,A1,B=0,B0判定二判定二:A=2,A2,X1,X1:A=2,A2,X1,X1选择用例：选择用例：(2,0,4),(2,0,3)(2,0,4),(2,0,3)(1,1,1),(1,1,1)(1,1,1),(1,1,1)注意注意:(1,0,3),(1,0,4)(1,0,3),(1,0,4)(2,1,1),(2,1,2)(2,1,1),(2,1,2)满足条件覆盖，但不满足判断覆盖满足条件覆盖，但不满足判断覆盖6.2 软件测试的方法软件测试的

22、方法A1A1ANDANDB=0B=0X=X/AX=X/AA=2A=2OR OR X1X1X=X+1X=X+1a ab bc cd de eY YN NY YN N第23页，共76页，编辑于2022年，星期日v4 4、判定、判定/条件覆盖条件覆盖v同时满足判断覆盖和条件覆盖同时满足判断覆盖和条件覆盖应满足以下覆盖情况：应满足以下覆盖情况：条件条件:A1,A1,B=0,B0:A1,A1,B=0,B0 A=2,A2,X1,X1 A=2,A2,X1,X1 应执行路径应执行路径ace abdace abd或：或：acd acd abe abe选择用例：选择用例：(2,0,4),(2,0,3)(2,0,4

23、),(2,0,3)（ace)ace)(1,1,1),(1,1,1)(abd)(1,1,1),(1,1,1)(abd)6.2 软件测试的方法软件测试的方法A1A1ANDANDB=0B=0X=X/AX=X/AA=2A=2OR OR X1X1X=X+1X=X+1a ab bc cd de eY YN NY YN N第24页，共76页，编辑于2022年，星期日5、条件组合覆盖使得每个判定中条件的各种可能组合都至少出现一次。编译系统下的执行情况：编译系统下的执行情况：部分路径未被执行。部分路径未被执行。满足以下覆盖情况：满足以下覆盖情况：A1,B=0 A1,B0 A1,B=0 A1,B0 A1,B=0

24、A1,B0 A1,B=0 A1,B0 A=2,X1 A=2,X1 A=2,X1 A=2,X1 A2,X1 A2,X1 A2,X1 A2,X1选择用例：选择用例：(2,0,4),(2,0,3)(2,0,4),(2,0,3)(2,1,1),(2,1,2)(2,1,1),(2,1,2)(1,0,3),(1,0,4)(1,0,3),(1,0,4)(1,1,1),(1,1,1)(1,1,1),(1,1,1)A1X=X/AA=2X=X+1a ab bcd de eB=0X1YNYNYNYN6.2 软件测试的方法软件测试的方法第25页，共76页，编辑于2022年，星期日6、路径覆盖被测程序的每条可能执行到的

25、路径都至少经过一次。选择用例：选择用例：(2,0,4),(2,0,3)a(2,0,4),(2,0,3)a、c c、e e(2,1,1),(2,1,2)a(2,1,1),(2,1,2)a、b b、e e(3,0,3),(3,0,1)a(3,0,3),(3,0,1)a、c c、d d(1,1,1),(1,1,1)a(1,1,1),(1,1,1)a、b b、d d6.2 软件测试的方法软件测试的方法A1A1ANDANDB=0B=0X=X/AX=X/AA=2A=2OR OR X1X1X=X+1X=X+1a ab bc cd de eY YN NY YN N第26页，共76页，编辑于2022年，星期日6

26、.2 软件测试的方法软件测试的方法v二、黑盒法二、黑盒法 不考虑程序的内部结构与特性，只根据程序功能或程序的外部特性设计测试用例。等等价价分分类类法法边边值值分分析析法法错错误误推推测测法法因因果果图图法法第27页，共76页，编辑于2022年，星期日v1 1、等价分类法、等价分类法v基基本本思思想想：根根据据程程序序的的I/OI/O特特性性，将将程程序序的的定定义义域域划划分分为为有有限限个个等等价价区区段段 “等等价价类类”，从从等等价价类类中中选选择择出出的的用用例例，具有具有“代表性代表性”。v等价类分为：等价类分为：v有有效效等等价价类类 对对于于程程序序的的规规格格说说明明是是合合理

27、理的的、有有意意义义的的输输入数据构成的集合。入数据构成的集合。v无效等价类无效等价类 对于程序的规格说明，是不合理的，是没有意对于程序的规格说明，是不合理的，是没有意义的输入数据构成的集合。义的输入数据构成的集合。6.2 软件测试的方法软件测试的方法第28页，共76页，编辑于2022年，星期日等价分类法步骤等价分类法步骤等价分类法步骤等价分类法步骤 应应按按照照输输入入条条件件（如如输输入入值值的的范范围围，值值的的个个数数，值值的的集集合合，输输入入条条件件必必须如何）划分为有效等价类和无效等价类。须如何）划分为有效等价类和无效等价类。例如：每个学生可选修例如：每个学生可选修1-31-3门

28、课程门课程 可以划分一个有效等价类：选修可以划分一个有效等价类：选修1-31-3门课程。门课程。可以划分两个无效等价类：未选修课，选修课超过可以划分两个无效等价类：未选修课，选修课超过3 3门。门。又如：标识符的第一个字符必须是字母。又如：标识符的第一个字符必须是字母。可以划分为一个有效等价类：第一个字符是字母。可以划分为一个有效等价类：第一个字符是字母。可以划分一个无效等价类：第一个字符不是字母。可以划分一个无效等价类：第一个字符不是字母。vv 划分划分划分划分“等价类等价类等价类等价类”A A、为每个等价类编号；、为每个等价类编号；B B、使一个测试用例尽可能覆盖多个有效等价类、使一个测试

29、用例尽可能覆盖多个有效等价类C C、特别要注意的是：一个测试用例只能覆盖一个无效等价类。、特别要注意的是：一个测试用例只能覆盖一个无效等价类。选择测试用例选择测试用例选择测试用例选择测试用例 等价分类法步骤等价分类法步骤第29页，共76页，编辑于2022年，星期日v2 2、边值分析法、边值分析法 v基本思想：基本思想：选择等价类的边缘值作为测试用例，让每个等价类的边界都选择等价类的边缘值作为测试用例，让每个等价类的边界都得到测试，选择测试用例既考虑输入亦考虑输出。得到测试，选择测试用例既考虑输入亦考虑输出。v分析步骤：分析步骤：vA A、先划分等价类。、先划分等价类。vB B、选择测试用例，测

30、试等价类边界。、选择测试用例，测试等价类边界。v边界选择原则：边界选择原则：vA A、按照输入值范围的边界。、按照输入值范围的边界。vB B、按照输入、按照输入/输出值个数的边界。输出值个数的边界。vC C、输出值域的边界。、输出值域的边界。vD D、输入、输入/输出有序集的边界。输出有序集的边界。6.2 软件测试的方法软件测试的方法第30页，共76页，编辑于2022年，星期日边值分析法举例：边值分析法举例：边值分析法举例：边值分析法举例：A A A A、按照输入值范围的边界。按照输入值范围的边界。例例如如：输输入入值值的的范范围围是是-1.0-1.0至至1.01.0，则则可可选选择择用用例例

31、 1.01.0、1.01.0、-1.001-1.001、1.0011.001。B B B B、按照输入按照输入/输出值个数的边界。输出值个数的边界。例例如如：输输入入文文件件可可有有1-2551-255个个记记录录，则则 设设计计用用例例：文文件件的的记记录录数数为为 0 0个、个、1 1个、个、255255个、个、256256个。个。C C、输出值域的边界。、输出值域的边界。例例如如：检检索索文文献献摘摘要要，最最多多4 4篇篇。设设计计用用例例：可可检检索索0 0篇篇、1 1篇篇、4 4篇，和篇，和5 5篇（错误）。篇（错误）。D D、输入、输入/输出有序集（如顺序文件、线性表）的边界。输

32、出有序集（如顺序文件、线性表）的边界。应选择第一个元素和最后一个元素。应选择第一个元素和最后一个元素。6.2 软件测试的方法软件测试的方法第31页，共76页，编辑于2022年，星期日3、错误推测法凭经验或直觉推测可能的错误，列出程序中可能有的错误和容易发生错误的特殊情况，选择测试用例。4 4、因果图法（、因果图法（cause effcet graphiceicause effcet graphicei）把输入条件视为把输入条件视为“因因”，把输出条件视为，把输出条件视为“果果”，将黑盒，将黑盒看成是从因到果的网络图，采用逻辑图的形式来表达功看成是从因到果的网络图，采用逻辑图的形式来表达功能说明

33、书中输入条件的各种组合与输出的关系。根据这能说明书中输入条件的各种组合与输出的关系。根据这种关系可选择高效的测试用例。因果图是一种形式化语种关系可选择高效的测试用例。因果图是一种形式化语言，是一种组合逻辑。言，是一种组合逻辑。6.2 软件测试的方法软件测试的方法第32页，共76页，编辑于2022年，星期日v 因果图的基本符号因果图的基本符号:0-0-表示表示“不出现不出现”,1-,1-表示表示“出现出现”v恒等恒等:若若a a为为1 1，则，则b b为为1 1，否则，否则b b为为0 0。v“非非”函数函数 :若若a a为为1 1，则，则b b为为0 0，否则，否则b b为为1 1。v“或或”

34、函数函数:若若a a或或b b为为1 1，则，则d d为为1 1，否则，否则d d为为0 0。v“与与”函数函数:若若a a与与b b同为同为1 1，则，则d d为为1 1，否则，否则d d为为0 0。abababd dabd d6.2 软件测试的方法软件测试的方法第33页，共76页，编辑于2022年，星期日v对对“与与”、“或或”函数的限制符号函数的限制符号vE E约束（异）约束（异）排斥排斥v即即a a、b b不能同时为不能同时为1 1。vI I约束（或）约束（或）包容包容va a、b b、c c不能同时为不能同时为0 0。vO O约束（唯一）约束（唯一）选一选一va a、b b中仅有一个

35、为中仅有一个为1 1。vR R约束（要求）约束（要求）需要需要va a为为1 1时，时，b b必须为必须为1 1vMM约束（强制）约束（强制）屏蔽屏蔽v若若a a为为1 1时，则时，则b b强制为强制为1 1。abEabcIabRabO OabM6.2 软件测试的方法软件测试的方法第34页，共76页，编辑于2022年，星期日v 因果图法的步骤因果图法的步骤v分析规范，即将问题分为若干可工作的步骤。分析规范，即将问题分为若干可工作的步骤。v标识出规范中的原因与结果。标识出规范中的原因与结果。原因输入条件 结果输出或系统变换v分析规范语义、内容，转换为因果图分析规范语义、内容，转换为因果图v将因果

36、图转换为有限项判断表。将因果图转换为有限项判断表。v将判断表的每一列，转换为一个测试用例。将判断表的每一列，转换为一个测试用例。6.2 软件测试的方法软件测试的方法第35页，共76页，编辑于2022年，星期日 因果图法应用举例规范：文件名第一列字符必须为A或B，第二列字符必须为数字。满足则修改文件。第一字符不正确发出信息X12，第二个字符不正确发出信息X13。v、分析规范、分析规范v原原 因因 结结 果果v1 1 第一列字符为第一列字符为A A 5050修改文件修改文件v2 2 第一列字符为第一列字符为B B 5151发信息发信息X12X12v3 3 第二列字符为数字第二列字符为数字 5252

37、发信息发信息X13X136.2 软件测试的方法软件测试的方法第36页，共76页，编辑于2022年，星期日画出因果图画出因果图画出因果图画出因果图中间结点是导出结果的进一步原因。v考虑到原因考虑到原因1 1、2 2不可能同时为不可能同时为1 1，加上，加上E E约束。约束。1111515035212E发发 X 12发发 X 13 修改文件修改文件6.2 软件测试的方法软件测试的方法第37页，共76页，编辑于2022年，星期日将因果图转换为判断表将因果图转换为判断表12345678条件原因111100001100110010101010111100动作结果000011101000010101测试用

38、例A3A8AMA？B5B4BNB！C2X6DYPI11115151505052526.2 软件测试的方法软件测试的方法第38页，共76页，编辑于2022年，星期日v测试步骤及策略测试步骤及策略v 所有测试过程都应采用综合测试策略；即先作静态分析，再所有测试过程都应采用综合测试策略；即先作静态分析，再作动态测试。并事先制订测试计划。作动态测试。并事先制订测试计划。v测试过程通常可分测试过程通常可分4 4步进行：步进行：单元单元测试测试单元单元测试测试单元单元测试测试被测被测模块模块被测被测模块模块集成集成测试测试设计设计信息信息已测试已测试的模块的模块确认确认测试测试已集成已集成的模块的模块软件

39、软件需求需求系统系统测试测试已确认已确认的软件的软件可交付可交付的软件的软件系统其系统其他元素他元素6.3 软件测试步骤软件测试步骤第39页，共76页，编辑于2022年，星期日6.3 软件测试步骤软件测试步骤V V模型：软件开发各阶段与测试策略之间的对应关系。模型：软件开发各阶段与测试策略之间的对应关系。系统工程系统工程需求分析需求分析设计设计编码编码系统测试系统测试确认测试确认测试集成测试集成测试单元测试单元测试第40页，共76页，编辑于2022年，星期日1、单元测试（unit testing)的测试内容模块模块接口测试模块接口测试局部数据结构测试局部数据结构测试重要路径测试重要路径测试错误

40、处理测试错误处理测试边界条件测试边界条件测试I/O I/O 参数值的个数、类型、参数值的个数、类型、次序、格式是否正确，次序、格式是否正确，I/OI/O文件属性、操作是否正确等。文件属性、操作是否正确等。数据说明是否正确、数据说明是否正确、一致，变量及其初值一致，变量及其初值定义是否正确等。定义是否正确等。检查检查“错误处错误处理程序理程序”本身本身的错误。的错误。边界条件常包括循环边界，边界条件常包括循环边界，最大最小值、控制流中等最大最小值、控制流中等于、大于、小于的比较值于、大于、小于的比较值等。等。重要路径通常是指完成模块重要路径通常是指完成模块功能的主要路径，一般是控功能的主要路径，

41、一般是控制结构。制结构。一、单元测试（一、单元测试（unit testing)第41页，共76页，编辑于2022年，星期日n2、模块测试步骤n考虑到被测模块与其它模块的联系，因此测试时需要使用两类辅助模块来模拟其他模块。驱动模块（驱动模块（driverdriver）模拟主程序功能，模拟主程序功能，用于向被测模块传递数据，接收、打印用于向被测模块传递数据，接收、打印从被测模块返回的数据。从被测模块返回的数据。桩模块（桩模块（stubstub）又称为假模块，用于又称为假模块，用于模拟那些由被测模块所调用的下属模块模拟那些由被测模块所调用的下属模块功能。功能。一般，驱动模块比桩模块容易设计。但都是额

42、外开销。一般，驱动模块比桩模块容易设计。但都是额外开销。测试方法以白盒法为主。测试方法以白盒法为主。被测模块被测模块驱动模块驱动模块桩模块桩模块桩模块桩模块桩模块桩模块一、单元测试（一、单元测试（unit testing)第42页，共76页，编辑于2022年，星期日n1、组装测试的任务n确定模块组装方案，将经过测试的模块组装为一个完整的系统。组装方案分为渐增式及非渐增式。n测试方法以黑盒法为主，按照组装方案进行测试。也称为联合测试或集成测试，重点测试模块的接口部分，也称为联合测试或集成测试，重点测试模块的接口部分，需设计测试过程使用的驱动模块或桩模块。需设计测试过程使用的驱动模块或桩模块。二、

43、组装测试（二、组装测试（Integration testing)第43页，共76页，编辑于2022年，星期日v2 2、渐增式组装测试、渐增式组装测试v渐增式是先进行模块测试，然后将这些模块逐步组装成较大的系渐增式是先进行模块测试，然后将这些模块逐步组装成较大的系统，每连接一个模块进行一次测试统，每连接一个模块进行一次测试。两种方案：两种方案：设计驱动模块或桩模块，对每一个新组装的子系统进行测设计驱动模块或桩模块，对每一个新组装的子系统进行测试，对发现问题较多的子系统或模块应该用白盒法作回归试，对发现问题较多的子系统或模块应该用白盒法作回归测试。测试。v自顶而下增值自顶而下增值v自底而上自底而上

44、增值增值二、组装测试（二、组装测试（Integration testing)第44页，共76页，编辑于2022年，星期日M1M4M3M2M6M5程程序序模模块块示示意意图图S5M1S1S1S1S2S2S2S3S3S3第第一一步步，测测试试主主控控模模块块M1M1设设计计桩桩模模块块S1S1、S2S2、S3S3，模模拟拟被被M1M1调调用用的的M2M2、M3M3、M4M4。M2M3M4第第二二步步，依依次次用用M2M2、M3M3、M4M4替替代代桩桩模模块块S1S1、S2S2、S3S3，每每替替代代一一次次进进行行一一次次测试。测试。S4S4S4S5S5第第三三步步，对对由由主主控控模模块块M1

45、M1和和模模块块M2M2、M3M3、M4M4构构成成的的子子系系统统进进行行测测试试，设设计计桩桩模块模块S4S4、S5S5。M5M6第第四四步步，依依次次用用模模块块M5M5和和M6M6替替代代桩桩模模块块S4S4、S5S5，并并同同时时进进行行新新的的测测试试。组组装装测试完毕。测试完毕。自顶而下增值自顶而下增值第45页，共76页，编辑于2022年，星期日M3M6M5D1D2D3D1D1D2D2D3D3M2M4M1第第四四步步，把把已已测测试试的的子子系系统统按按程程序序结结构连接起来完成程序整体的组装测试。构连接起来完成程序整体的组装测试。D4D4D4D5D5D5M1M4M3M2M6M5

46、程程序序模模块块示示意意图图第第一一步步，对对最最底底层层的的模模块块M3M3、M5M5、M6M6进进行行测测试试，设设计计驱驱动动模模块块D1D1、D2D2、D3D3来来模模拟拟调调用。用。第第三三步步，设设计计驱驱动动模模块块D4D4、D5 D5 和和D6D6模模拟拟调调用用，分别对新子系统进行测试。分别对新子系统进行测试。第第二二步步，用用实实际际模模块块M2M2、M1M1和和M4M4替替换驱动模块换驱动模块D1D1、D2D2、D3D3。D6自底而上增值自底而上增值第46页，共76页，编辑于2022年，星期日确定组装过程的原则确定组装过程的原则确定组装过程的原则确定组装过程的原则n 自顶

47、而下增值自顶而下增值n优点：能够尽早发现系统主控方面的问题。n缺点：无法验证桩模块是否完全模拟了下属模块的功能。n n 自底而上自底而上自底而上自底而上增值增值n优点：驱动模块较容易编写桩模块，能够尽早查出底层涉及较复杂的算法和实际的I/O模块中的错误。n缺点：最后才能发现系统主控方面的问题。集成过程的原则集成过程的原则 尽早测试关键模块。尽早测试关键模块。尽早测试关键模块。尽早测试关键模块。尽早测试包含尽早测试包含尽早测试包含尽早测试包含I/OI/OI/OI/O的模块。的模块。的模块。的模块。二、组装测试（二、组装测试（Integration testing)第47页，共76页，编辑于202

48、2年，星期日3、混合增值，常见的混合增值方案有：衍变的自顶而下先自底而上集成子系统，再自顶而下集成总系统。自底而上自顶而下增值对含有读操作的子系统采用自底而上。对含有写操作的子系统采用自顶而下。回归测试在回归测试中自底而上，对其余部分（尤其是对修改过的子系统）采用自顶而下。二、组装测试（二、组装测试（Integration testing)第48页，共76页，编辑于2022年，星期日1、任务 又称为有效性测试或功能测试。其任务是验证系统的功能、性能等特性是否符合需求规格说明。选择测试人员选择测试人员选择测试用例选择测试用例实际运行测试实际运行测试软件计划软件计划用户文档用户文档开发文档开发文档

49、源程序文本源程序文本支持环境支持环境有效性有效性测试测试软件软件配置配置审查审查管理管理机构机构裁决裁决专家专家鉴定会鉴定会交用户交用户运行维护运行维护测试报告测试报告软件配置软件配置三、确认测试（三、确认测试（Validation testing)第49页，共76页，编辑于2022年，星期日（1）有效性测试制定测试计划，运用黑盒法，验证软件特性是否与需求符合。（2 2）软件配置复查）软件配置复查 软软件件配配置置 指指软软件件工工程程过过程程中中所所产产生生的的所所有有信信息息项项:文文档档、报报告告、程程序序、表表格格、数数据据。随随着着软软件件工工程程过过程程的的进进展展软软件件配配置置

50、项项（SCI SCI software software Configuration Configuration ItemItem）快快速速增增加加和和变变化化。应应复查复查SCISCI是否齐全。是否齐全。2 2、确认测试的步骤、确认测试的步骤三、确认测试（三、确认测试（Validation testing)第50页，共76页，编辑于2022年，星期日F F F Function Testing unction Testing 功能测试功能测试L L L Local Area Testing ocal Area Testing 局域化测试局域化测试U U U Usability Testing