大学软件测试课件.pptx

1、17.2.2 7.2.2 基于逻辑的测试基于逻辑的测试(1)(1)一一.基于逻辑的测试基于逻辑的测试 1.1.如果一个软件系统的需求说明包含有大量的逻辑判断或条件组如果一个软件系统的需求说明包含有大量的逻辑判断或条件组 合时合时,则使用基于逻辑测试方法设计测试的实例。则使用基于逻辑测试方法设计测试的实例。2.2.基于逻辑的测试不仅可以对模块进行测试，而且也适用于单元基于逻辑的测试不仅可以对模块进行测试，而且也适用于单元 和系统的测试。和系统的测试。3.3.对以逻辑判断或条件组合为主的程序，可利用基于逻辑的测试，对以逻辑判断或条件组合为主的程序，可利用基于逻辑的测试，检验程序结构的一致性和完全性

2、。检验程序结构的一致性和完全性。4.4.基于逻辑的测试一般采用基于逻辑的测试一般采用判定表方法。判定表方法。二二.建立判定表建立判定表 1.1.判定表由条件段、判定项、动作段和动作项组成。判定表由条件段、判定项、动作段和动作项组成。2.2.规则表示在某些条件下程序所产生的动作。规则表示在某些条件下程序所产生的动作。3.3.判定表中的判定表中的Y Y、N N表示判定的结果真、假，表示判定的结果真、假，I I表示对应的判定对该规则表示对应的判定对该规则 无关紧要或无关紧要或Y Y或或N N，动作中的，动作中的Y Y、N N表示执行或不执行该动作。表示执行或不执行该动作。三三.使用判定表设计实例使用

3、判定表设计实例 1.1.根据每一个规则和对应的动作设计测试实例；根据每一个规则和对应的动作设计测试实例；2.2.测试路径的覆盖取决于规则的完全性与一致性。测试路径的覆盖取决于规则的完全性与一致性。http:/ 7.2.2 基于逻辑的测试基于逻辑的测试(2)(2)规则项规则项规则规则1 1规则规则2 2规则规则3 3规则规则4 4条条件件项项判定判定1 1Y YY YN NN N判定判定2 2Y YI IN NI I判定判定3 3N NY YN NI I判定判定4 4N NY YN NY Y动动作作动作动作1 1Y YY YN NN N动作动作2 2N NN NY YN N动作动作3 3N NN

4、 NN NY Y缺省规则项缺省规则项规则规则5 5规则规则6 6规则规则7 7规则规则8 8I IN NY YY YI IY YI IN NY YI IN NN NN NN NY YI IY YY YY YY Y规则规则条件条件动作动作 上述上述4 4个判定应有个判定应有1616个组合，上表并未覆盖全部组合，例如判定组合个组合，上表并未覆盖全部组合，例如判定组合(Y,N,N,N)(Y,N,N,N)没有。要实现完全覆盖，必须提供上述规则外的其它判定组合，没有。要实现完全覆盖，必须提供上述规则外的其它判定组合，并把这些判定组合与缺省动作对应，组成新的缺省规则。如右上表。并把这些判定组合与缺省动作对

5、应，组成新的缺省规则。如右上表。缺省动作缺省动作例例.如下判定表如下判定表http:/ 7.2.2 基于逻辑的测试基于逻辑的测试(3)(3)三三.与判定表中成份相关的问题与判定表中成份相关的问题 问问 题题含含 义义判定判定次次序序规则规则动作动作规则的规则的独立性独立性 规则的规则的完全性完全性 规则的规则的一致性一致性 I I项的项的扩展扩展 判定的次序不影响对规则的解释和最终的动作。判定的次序不影响对规则的解释和最终的动作。规则执行的先后顺序不影响规则的动作。规则执行的先后顺序不影响规则的动作。如果一条规则产生多个动作，则动作的次序是无关紧要的。如果一条规则产生多个动作，则动作的次序是无

6、关紧要的。规则是相互独立的，即一条规则条件的满足和动作的选取，与其它规规则是相互独立的，即一条规则条件的满足和动作的选取，与其它规则无关。则无关。如果每个判定值的组合如果每个判定值的组合(包括缺省情况的组合包括缺省情况的组合)在判定表中都是必须的，在判定表中都是必须的，那么称规则是完全的。反之，如果规则是不完全的，则可能存在某些判那么称规则是完全的。反之，如果规则是不完全的，则可能存在某些判定值的组合没有动作。定值的组合没有动作。如果每个判定值的组合仅产生一个动作或一组动作，那么称规则是一如果每个判定值的组合仅产生一个动作或一组动作，那么称规则是一致的。反之，如果规则不一致，则最少存在一组判定

7、值组合，它产生致的。反之，如果规则不一致，则最少存在一组判定值组合，它产生两个或多个动作两个或多个动作(或动作组或动作组)。扩展扩展I I项就是把每个项就是把每个I I项变成两项：一项项变成两项：一项“Y Y”，一项，一项“N N”，使规则扩大一，使规则扩大一倍。如果某些判定是三元判定，一个倍。如果某些判定是三元判定，一个I I项就扩展为三项，等等。项就扩展为三项，等等。http:/ 7.2.2 基于逻辑的测试基于逻辑的测试(4)(4)例例1.1.从现金取款机中取款。从现金取款机中取款。对上述三项内容：有效的信用卡、打入的密码是正确的及帐户对上述三项内容：有效的信用卡、打入的密码是正确的及帐户

8、 中有足够的存款中有足够的存款,检查次序检查次序(判定次序判定次序)是无关紧要的，不同的检查是无关紧要的，不同的检查 次序不影响取款操作。次序不影响取款操作。例例2.2.判定表中判定值为判定表中判定值为I I的的“无关紧要无关紧要”项是最容易发生错误的地方。若项是最容易发生错误的地方。若 某一判定取值某一判定取值I I，表示规则不依赖于该判定值。但它可能取真值或，表示规则不依赖于该判定值。但它可能取真值或 假值。譬如规则：假值。譬如规则：R1R1如果一个技术员工龄超过如果一个技术员工龄超过5 5年，那么加薪年，那么加薪15%15%；R2R2如果一个工人，那么加薪如果一个工人，那么加薪5%5%。

9、在此工龄对技术员加薪是重要的，对工人无关紧要。但不能认在此工龄对技术员加薪是重要的，对工人无关紧要。但不能认 为工人的工龄不可能超过或小于为工人的工龄不可能超过或小于5 5年。年。取款机取款机有效的信用卡有效的信用卡正确的密正确的密码码帐户中有足够的存款帐户中有足够的存款现金现金http:/ 7.2.2 基于逻辑的测试基于逻辑的测试(5)(5)例例3.3.使用判定表对程序结构进行测试，如下程序结构图：使用判定表对程序结构进行测试，如下程序结构图：2 21 13 3A AD DB B动作动作 1 1Y YY YY Y5 5动作动作 3 3N N4 4动作动作 2 2N ND DY YN NN N

10、C CN NY Yhttp:/ 7.2.2 基于逻辑的测试基于逻辑的测试(6)(6)例例3.3.使用判定表对程序结构进行测试，如下程序结构图：使用判定表对程序结构进行测试，如下程序结构图：2 21 13 3A AD DB B动作动作 1 1Y YY YY Y5 5动作动作 3 3N N4 4动作动作 2 2N ND DY YN NN NC CN NY Yhttp:/ 7.2.2 基于逻辑的测试基于逻辑的测试(7)(7)程序结构图图对应的判定表如下：程序结构图图对应的判定表如下：规则项规则项规则规则1 1规则规则2 2规则规则3 3规则规则4 4规则规则5 5规则规则6 6条条件件项项判定判定A

11、 A判定判定B B判定判定C C判定判定D D动动作作动作动作1 1动作动作2 2动作动作3 3规则规则条件条件动作动作Y YY YY YY YY YY YY YY YY YY YY YN NY YN NN NN NN NN NN NN NN NN NN NN NN NN NN NN NN NI II II II II II II II IN NY YN NN NY Y 判定在路径上不判定在路径上不出现的地方填入出现的地方填入I I，将出现将出现I I的地方变成的地方变成两项两项Y Y与与N,N,可得到可得到1616种组合种组合(规则规则)，且，且没有两种组合是重没有两种组合是重复的。如下表所

12、示。复的。如下表所示。规则规则1 1规则规则2 2规则规则3 3规则规则4 4规则规则5 5规则规则6 6判定判定A AY YY YY YY YY YY YY YY YN NN NN NN NN NN NN NN N判定判定B BY YY YN NN NN NN NY YY YY YY YN NN NN NY YY YN N判定判定C CY YN NN NN NY YY YY YN NY YY YY YY YN NN NN NN N判定判定D DY YY YY YN NN NY YN NN NN NY YY YN NY YY YN NN N从而说明上述程从而说明上述程序结构图是完全和序结构图是

13、完全和一致的。一致的。http:/ 7.3 黑盒测试黑盒测试(1)(1)一一.黑盒测试也称为功能测试黑盒测试也称为功能测试,它着眼于程序的外部特征它着眼于程序的外部特征,而不考虑程序而不考虑程序 的内部逻辑结构。测试者把被测程序看成一个黑盒的内部逻辑结构。测试者把被测程序看成一个黑盒,不用关心程序不用关心程序的的 内部结构。内部结构。二二.黑盒测试是在程序接口处进行测试，它只检查程序功能是否能按照黑盒测试是在程序接口处进行测试，它只检查程序功能是否能按照 规格说明书的规定正常使用，程序是否能适当地接收输入数据产生规格说明书的规定正常使用，程序是否能适当地接收输入数据产生 正确的输出信息，并且保

14、持外部信息正确的输出信息，并且保持外部信息(如数据库或文件如数据库或文件)的完整性。的完整性。三三.用黑盒测试法发现程序中的错误必须用所有可能的输入数据来检查用黑盒测试法发现程序中的错误必须用所有可能的输入数据来检查 程序，看能否产生正确的输出。而这种完全的测试方法程序，看能否产生正确的输出。而这种完全的测试方法(即穷举法即穷举法)，一般情况下一般情况下,很难做到很难做到,所以软件测试中很难发现所有的错误，即测试并不所以软件测试中很难发现所有的错误，即测试并不 能证明程序是正确的。能证明程序是正确的。四四.我们的目的是要通过测试保证软件的可靠性，只有很好设计测试方案，力我们的目的是要通过测试保

15、证软件的可靠性，只有很好设计测试方案，力 争用尽可能少的测试发现尽可能多的错误。争用尽可能少的测试发现尽可能多的错误。为此需要考虑可行的技术。为此需要考虑可行的技术。五五.黑盒测试技术包括黑盒测试技术包括:等价分类法、边沿值分析法、错误推测法和因等价分类法、边沿值分析法、错误推测法和因果果 图等技术图等技术。http:/ 7.3 黑盒测试黑盒测试(2)(2)对被测程序在一切可能输入情况下执行一遍，称为穷举测试。对被测程序在一切可能输入情况下执行一遍，称为穷举测试。为了做到穷举测试至少必须对所有输入数据各种可能值的排列组合进为了做到穷举测试至少必须对所有输入数据各种可能值的排列组合进行测试，但对

16、于实际程序而言，穷举测试通常是不可能做到的。行测试，但对于实际程序而言，穷举测试通常是不可能做到的。例例1:1:一个程序有两个输入变量一个程序有两个输入变量A,BA,B一个输出变量一个输出变量C,C,设设A,B,CA,B,C都是整型变都是整型变量量,如果在字长为如果在字长为3232位的计算机上运行位的计算机上运行,用黑盒法测试用黑盒法测试,则输入数据的可能则输入数据的可能性有性有 2 23232 2 23232=2=264 64 1.845 1.845 101019 19。假设这个程序执行一次需要假设这个程序执行一次需要1010-8-8秒秒(1(1亿次计算机亿次计算机)，那么用这些数据来，那么

17、用这些数据来测试这个程序大约需要测试这个程序大约需要58505850年，这是不可能的。更不用说分析这些数据。年，这是不可能的。更不用说分析这些数据。在白盒测试中，同样要做到在白盒测试中，同样要做到穷举测试常常也是不可能的。穷举测试常常也是不可能的。例例2.2.一段程序，对嵌套一段程序，对嵌套IFIF语语句循环执行句循环执行2020次次(右图右图)在该段在该段程序中共有程序中共有5 52020(约约10101414)条可能条可能的执行通路的执行通路,即使每一条通路执即使每一条通路执行一次也是不可能的。行一次也是不可能的。http:/ 7.3.1 等价分类法等价分类法(1)(1)一一.等价类及其划

18、分等价类及其划分 名称名称等价类等价类等价类划分等价类划分定义定义 等价等价类划类划分的分的方法方法 某个输入集合的子集，某个输入集合的子集，在该等价类中每一个代在该等价类中每一个代表值在测试中的作用等表值在测试中的作用等价于这一类中的其它值。价于这一类中的其它值。划分等价类一般是从程序的功能说明中找出一划分等价类一般是从程序的功能说明中找出一个个输入条件个个输入条件,然后为每个输入条件划分两个或两然后为每个输入条件划分两个或两个以上的等价类个以上的等价类,其中合理等价类是指合法的输入其中合理等价类是指合法的输入数据数据,不合理等价类是指其它数据。不合理等价类是指其它数据。规定了输入值的范围。

19、规定了输入值的范围。划分出一个有效的等价类划分出一个有效的等价类(输入值在此范围内输入值在此范围内),),两两个无效的等价类个无效的等价类(输入值小于最小值或大于最大值输入值小于最小值或大于最大值)规定了输入数据的个数。规定了输入数据的个数。类似划分出一个有效的等价类类似划分出一个有效的等价类,两个无效的等价类。两个无效的等价类。规定了输入数据的一组值，规定了输入数据的一组值，而且程序对不同输入值作而且程序对不同输入值作不同处理。不同处理。每个允许的输入值是一个有效的等价类，此外还每个允许的输入值是一个有效的等价类，此外还有一个无效等价类有一个无效等价类(任一个不允许的输入值任一个不允许的输入

20、值)。规定了输入数据必须遵守规定了输入数据必须遵守的规则。的规则。划分出一个有效的等价类划分出一个有效的等价类(符合规则符合规则),),若干个无若干个无效的等价类效的等价类(从各种不同角度违反规则从各种不同角度违反规则)。程序的处理对象是表格。程序的处理对象是表格。使用空表、含一项的表或多项的表。使用空表、含一项的表或多项的表。输入条件是一个布尔量输入条件是一个布尔量可以确定一个有效等价类和一个无效等价类。可以确定一个有效等价类和一个无效等价类。http:/ 7.3.1 等价分类法等价分类法(2)(2)若在已划分的某一等价类中各元素在程序中的处理方式不同，则将此等价若在已划分的某一等价类中各元

21、素在程序中的处理方式不同，则将此等价类进一步划分为更小的等价类。上述规则是针对输入数据考虑的，大部分也类进一步划分为更小的等价类。上述规则是针对输入数据考虑的，大部分也适用于输出数据。适用于输出数据。划分等价类的举例划分等价类的举例 条条 件件划划 分分 方方 法法输入条件取值范围是输入条件取值范围是11，100100。有效等价类有效等价类:“11输入数据输入数据100100”；无效等价类无效等价类:“输入数据输入数据1 1”或或“输入数据输入数据100100”在程序功能规约中，规定在程序功能规约中，规定“一名一名教师一学期教授一到二门课程教师一学期教授一到二门课程”有效等价类有效等价类:“1

22、1教授课程教授课程2 2”；两个无效等价类两个无效等价类:“不教授课程不教授课程”或或“教授课程教授课程2 2”。在学生管理系统中，对一、二、在学生管理系统中，对一、二、三年级学生分别进行管理。三年级学生分别进行管理。等价类：一年级学生、二年级学生、三年级学生等价类：一年级学生、二年级学生、三年级学生无效等价类：上述三类学生以外的人员集合无效等价类：上述三类学生以外的人员集合若某文件中规定各数据项的关键若某文件中规定各数据项的关键字是首字符为字是首字符为K K。一个有效等价类：首字符为一个有效等价类：首字符为K K的输入值；的输入值；一个无效等价类：首字符不为一个无效等价类：首字符不为K K的

23、输入值。的输入值。规定了输入数据为整型。规定了输入数据为整型。划分出正整数、零和负整数三个有效的等价类；划分出正整数、零和负整数三个有效的等价类；一个无效等价类：输入字符是非整数。一个无效等价类：输入字符是非整数。http:/ 7.3.1 等价分类法等价分类法(3)(3)二二.利用等价类划分技术设计测试用例的步骤利用等价类划分技术设计测试用例的步骤 1.1.为每个等价类编号；为每个等价类编号；2.2.设计一个新的测试方案设计一个新的测试方案,以尽可能多的覆盖尚未被覆盖的有效等以尽可能多的覆盖尚未被覆盖的有效等 价类价类,重复这一步骤重复这一步骤,直到所有有效等价类被覆盖为止。直到所有有效等价类

24、被覆盖为止。3.3.设计一个新的测试方案设计一个新的测试方案,使它覆盖一个尚未被覆盖的无效等价类使它覆盖一个尚未被覆盖的无效等价类,重复这一步骤重复这一步骤,直到所有无效等价类被覆盖为止。直到所有无效等价类被覆盖为止。例例.一程序实现把数字串转变成整数。假设运行程序的计算机字长一程序实现把数字串转变成整数。假设运行程序的计算机字长 1616位，用二进制补码表示整数。该程序用位，用二进制补码表示整数。该程序用PascalPascal语言编写，其语言编写，其 说明如下：说明如下：type shortstr=array1.6 of chartype shortstr=array1.6 of char

25、；function strtiont(dstr:shortstr):integer;function strtiont(dstr:shortstr):integer;设被处理的数字串是右对齐的，如果数字串少于设被处理的数字串是右对齐的，如果数字串少于6 6个字符，则在个字符，则在 左边补空格；如果数字串是负的，负号在最高位数字左边。左边补空格；如果数字串是负的，负号在最高位数字左边。根据该程序的规格说明，作等价类的划分，并设计测试方案。根据该程序的规格说明，作等价类的划分，并设计测试方案。http:/ 7.3.1 等价分类法等价分类法(4)(4)1.1.等价类等价类输输入入有效等价类有效等价类

26、无效等价类无效等价类输输出出合法等价类合法等价类非法等价类非法等价类1.11.16 6个字符组成的数字串个字符组成的数字串(最高最高 位数字不是零位数字不是零)；2.2.最高位数字是零的数字串；最高位数字是零的数字串；3.3.最高位数字左邻负号的数字串。最高位数字左邻负号的数字串。1.1.空字符串空字符串(全是空格全是空格)；2.2.左边填充的字符不是零也不是空格；左边填充的字符不是零也不是空格；3.3.最高位数字右面由数字和空格组成；最高位数字右面由数字和空格组成；4.4.最高位数字右面由数字和其它字符组成；最高位数字右面由数字和其它字符组成；5.5.负号和最高位数字之间有空格。负号和最高位

27、数字之间有空格。1.1.在计算机能表示的最小负整数在计算机能表示的最小负整数 和零之间的负整数；和零之间的负整数；2.2.零；零；3.3.在零和计算机能表示的最大正在零和计算机能表示的最大正 整数之间的正整数。整数之间的正整数。1.1.比计算机能表示的最小负整数比计算机能表示的最小负整数(-32768)(-32768)还小的负整数；还小的负整数；2.2.比计算机能表示的最大正整数比计算机能表示的最大正整数(32767)(32767)还大的正整数。还大的正整数。注注:2:21616=65536 (-32768=65536 (-3276832767)32767)http:/ 7.3.1 等价分类法

28、等价分类法(5)(5)2.2.设计测试方案设计测试方案方案方案内内 容容输入输入预期输出预期输出1 11 16 6个字符组成的数字串个字符组成的数字串,输出合法正整数输出合法正整数.1 11 12 2最高位数字是零的数字串最高位数字是零的数字串,输出合法正整数输出合法正整数.0000010000011 13 3最高位数字左邻负号最高位数字左邻负号,输出合法负整数输出合法负整数.-00001-00001-1-14 4最高位数字是零最高位数字是零,输出也是是零输出也是是零.0000000000000 05 5太小的负整数太小的负整数.-47561-47561无效输入无效输入6 6太大的正整数太大的

29、正整数.132767132767无效输入无效输入7 7空字符串空字符串.没有数字没有数字8 8字符串左部字符不是零字符串左部字符不是零,也不是空格也不是空格.1 1填充错填充错9 9最高位数字后面有空格最高位数字后面有空格.1 21 2无效输入无效输入1010最高位数字后面有其它字符最高位数字后面有其它字符.1 12 2无效输入无效输入1111负号和最高位数字之间有空格负号和最高位数字之间有空格.-12-12负号位置错负号位置错http:/ 7.3.2 边界值分析边界值分析法法(1)(1)一一.边界值分析测试技术的主要思想边界值分析测试技术的主要思想 是把输入和输出范围的边界作为测试的主要目标

30、，因为测试经验表明大量的是把输入和输出范围的边界作为测试的主要目标，因为测试经验表明大量的错误经常发生在输入或输出范围的边界上。错误经常发生在输入或输出范围的边界上。边界值分析是一种最常用的黑盒技术。边界值分析是一种最常用的黑盒技术。二二.使用边界值分析法设计测试用例遵循的原则使用边界值分析法设计测试用例遵循的原则 方法方法条件条件测试值范围测试值范围测试用例测试用例1 12 23 3规定了输入规定了输入值的范围。值的范围。选择一些恰好取到边界选择一些恰好取到边界值的数据值的数据,及刚好超过边及刚好超过边界的数据作为测试数据。界的数据作为测试数据。若输入值范围是若输入值范围是-1,1,-1,1

31、,则测则测试数据可选择试数据可选择:-1,-1.001,1,1.001-1,-1.001,1,1.001。规定了输入规定了输入值的个数范值的个数范围：围：N1N1N2N2测试数据选择测试数据选择:N1N1，N2N2，N1-1N1-1，N2+1N2+1。一个输入文件有一个输入文件有1 1255255个记个记录，选择录，选择1 1个、个、255255个、个、0 0个和个和256256个记录作测试数据。个记录作测试数据。根据规格说根据规格说明的每个输明的每个输出条件出条件使用方法使用方法1 1某程序计算折旧费某程序计算折旧费,最低最低0 0元元,最高最高100100元。输出测试用例元。输出测试用例:

32、恰好产生恰好产生0 0元和元和100100元折旧费；元折旧费；产生负值和大于产生负值和大于100100元折旧费。元折旧费。http:/ 7.3.2 边界值分析边界值分析法法(2)(2)方法方法条件条件测试值范围测试值范围测试用例测试用例4 45 56 67 7根据规格说根据规格说明的每一个明的每一个输出条件。输出条件。使用方法使用方法2 2。一个检索系统根据输入条件一个检索系统根据输入条件,要求显示要求显示1010条的相关查询结条的相关查询结果。测试用例使程序分别显果。测试用例使程序分别显示示0 0、1 1、1010、1111个查询结果。个查询结果。输入和输出输入和输出域是有序集域是有序集合。

33、合。选取第一个、最后一个选取第一个、最后一个元素及典型元素作为测元素及典型元素作为测试用例。试用例。输入和输出是一个顺序文件，输入和输出是一个顺序文件，测试用例选择该文件的第一测试用例选择该文件的第一个、正中间一个和最后一个。个、正中间一个和最后一个。程序中使用程序中使用了内部数据了内部数据结构。结构。选择该内部数据结构边界选择该内部数据结构边界上的值作为测试用例。上的值作为测试用例。程序中定义了一个数组，其程序中定义了一个数组，其元素的下标下界、上界分别元素的下标下界、上界分别为为0 0、100100，则选择下标是，则选择下标是0 0和和100100的元素作为测试数据。的元素作为测试数据。规

34、格说明规格说明分析规格说明分析规格说明,找出找出其它可能的边界条件。其它可能的边界条件。三三.边界值分析与等价类划分的区别：边界值分析着重于边界的测试，选取边界值分析与等价类划分的区别：边界值分析着重于边界的测试，选取等于、刚刚等于、刚刚 小于或大于边界的值作为测试数据，小于或大于边界的值作为测试数据，等价类划分是选取等价类中的典型值或任意值等价类划分是选取等价类中的典型值或任意值 作为测试数据。作为测试数据。http:/ 7.4 测试策略测试策略(1)(1)前面介绍的每一种设计测试方案的方法各有所长前面介绍的每一种设计测试方案的方法各有所长,用一种方法设用一种方法设计出的测试方案可能容易发现

35、某些类型的错误计出的测试方案可能容易发现某些类型的错误,对另外一些类型的对另外一些类型的错误可能不易发现。错误可能不易发现。因此对软件系统进行实际测试时，应综合使用各种方法，形成一因此对软件系统进行实际测试时，应综合使用各种方法，形成一个综合策略。通常做法是黑盒法个综合策略。通常做法是黑盒法(边沿值分析、等价划分和错误推边沿值分析、等价划分和错误推测法等测法等)设计基本的测试方案，再用白盒法补充一些必要的测试方设计基本的测试方案，再用白盒法补充一些必要的测试方案。案。具体讲，可以使用下述策略：具体讲，可以使用下述策略：1.1.在任何情况下都应使用边界值分析的方法。在任何情况下都应使用边界值分析

36、的方法。2.2.必要时用等价类划分法补充测试方案。必要时用等价类划分法补充测试方案。3.3.必要时再用错误推测法补充测试方案。必要时再用错误推测法补充测试方案。4.4.对照程序逻辑，检查已设计出的测试方案。对照程序逻辑，检查已设计出的测试方案。5.5.根据对程序可靠性的要求采用不同的逻辑覆盖标准，再补充一根据对程序可靠性的要求采用不同的逻辑覆盖标准，再补充一 些测试方案。些测试方案。http:/ 7.4 测试测试策略策略(2)(2)例例.一程序读入三个整数值，表示同一个三角形三条边的长度，该程序根据一程序读入三个整数值，表示同一个三角形三条边的长度，该程序根据这三个值判断三角形属于不等边、等腰

37、或等边三角形中的哪一种。这三个值判断三角形属于不等边、等腰或等边三角形中的哪一种。综合使用边界值分析、等价类划分和错误推测等技术，可设计出下述综合使用边界值分析、等价类划分和错误推测等技术，可设计出下述1111种种应该测试情况和对应的应该测试情况和对应的9 9种测试功能。根据测试功能不难设计测试数据。种测试功能。根据测试功能不难设计测试数据。需要测试的情况需要测试的情况测试功能测试功能测试数据测试数据1.1.正常的等边三角形；正常的等边三角形；1.1.等边；等边；(5,5,5)(5,5,5)2.2.正常的不等边三角形；正常的不等边三角形；2.2.不等边；不等边；(8,10,7)(8,7,10)

38、(10,7,8)(8,10,7)(8,7,10)(10,7,8)3.3.正常的等腰三角形；正常的等腰三角形；3.3.等腰；等腰；(8,6,6)(6,8,6)(6,6,8)(8,6,6)(6,8,6)(6,6,8)4.4.退化的三角形退化的三角形(两边之和等于第三边两边之和等于第三边)；4.4.退化情形；退化情形；(10,5,5)(5,10,5)(5,5,10)(10,5,5)(5,10,5)(5,5,10)5.5.三条边不构成三角形；三条边不构成三角形；5.5.非三角形；非三角形；(3,4,8)(3,8,4)(8,4,3)(3,4,8)(3,8,4)(8,4,3)6.6.一条边的长度为零；一条

39、边的长度为零；6.6.零数据；零数据；(0,3,4)(3,0,4)(4,3,0)(0,3,4)(3,0,4)(4,3,0)(0,0,4)(4,0,0)(0,4,0)(0,0,4)(4,0,0)(0,4,0)(0,0,0)(0,0,0)7.7.两条边的长度为零；两条边的长度为零；8.8.三条边的长度为零；三条边的长度为零；9.9.输入数据中包含负整数；输入数据中包含负整数；7.7.负数据；负数据；(-5,-5,-5)(-5,3,4)(-5,-6,4)(-5,-5,-5)(-5,3,4)(-5,-6,4)10.10.输入数据不全输入数据不全(不足三个正整数不足三个正整数)；8.8.遗漏数据；遗漏数

40、据；(8,)(8,7,)(,)(8,)(8,7,)(,)11.11.输入数据中包含非整数型的数据。输入数据中包含非整数型的数据。9.9.无效输入。无效输入。(A,10,7)(8,=,1C0)(+,7,8B)(A,10,7)(8,=,1C0)(+,7,8B)http:/ 7.4 测试测试策略策略(3)(3)程序流程图程序流程图 开始开始根据程序流程图可以检查上述测试根据程序流程图可以检查上述测试数据的覆盖程度。例如：数据的覆盖程度。例如：(5,5,5)(5,5,5)覆盖覆盖1,2,3,4,5,6,7,81,2,3,4,5,6,7,8；(6,6,8)(6,6,8)覆盖覆盖1,2,3,4,5,15,

41、19,20,81,2,3,4,5,15,19,20,8；(6,8,6)(6,8,6)覆盖覆盖1,2,3,4,14,18,19,20,81,2,3,4,14,18,19,20,8；(8,6,6)(8,6,6)覆盖覆盖1,2,3,4,14,16,17,19,20,81,2,3,4,14,16,17,19,20,8；上述上述4 4组数据就做到路径覆盖。组数据就做到路径覆盖。即黑盒法设计的测试方案已足够了。即黑盒法设计的测试方案已足够了。A AB+CB+C1 1B BA+CA+CT T2 2C CA+BA+BT T3 3A=BA=BT T4 4B=CB=CT T5 5印出印出“等边等边”T T6 6停

42、止停止8 87 7印出印出“等腰等腰”1919印出印出“不是不是”1212F F1111F F1010F F9 9T T1717B=CB=CF F1616F F1515A=CA=CF F14141313T T 18182222印出印出“不等边不等边”F F21212020http:/ 7.5 软件测试的组织和实施软件测试的组织和实施(1)(1)软件软件:待测软件，包括软件需求规格说明书、设计说明书和源程序代码等文档资料。待测软件，包括软件需求规格说明书、设计说明书和源程序代码等文档资料。测试测试软件软件错误信息错误信息改正信息改正信息评价评价纠错纠错可靠性可靠性模型模型测试结果测试结果期望结果

43、期望结果错误率数据错误率数据可靠性预测可靠性预测测试配置测试配置:包括测试计划、测试用例和测试结果。包括测试计划、测试用例和测试结果。评价评价:将测试结果和期望的结果相比较，如果不符就意味着错误，需要纠正将测试结果和期望的结果相比较，如果不符就意味着错误，需要纠正(纠错纠错)。可靠性可靠性:对测试结果进行收集和评价，得到可靠性的相关指标。对测试结果进行收集和评价，得到可靠性的相关指标。1.1.如果出现规律性、严重性的错误，软件质量可靠性值得怀疑，需进一步测试；如果出现规律性、严重性的错误，软件质量可靠性值得怀疑，需进一步测试；2.2.如果软件功能完成较好，出现的错误也易纠正，那么：或者软件质量

44、和可靠性是如果软件功能完成较好，出现的错误也易纠正，那么：或者软件质量和可靠性是 可以接受的；或者未发现错误，不排除测试配置考虑不周，可能潜伏着的错误。可以接受的；或者未发现错误，不排除测试配置考虑不周，可能潜伏着的错误。测试配置测试配置http:/ 7.5 软件测试的组织和实施软件测试的组织和实施(2)(2)子系统子系统测试测试单元单元测试测试单元单元测试测试单元单元测试测试测试报告测试报告测试报告测试报告测试报告测试报告测试报告测试报告软件设计信息软件设计信息系统其它成分系统其它成分软件需求信息软件需求信息系统系统测试测试已测试子系统已测试子系统平行平行测试测试已验收系统已验收系统验收验收

45、测试测试已测试系统已测试系统运行系统运行系统集成测试阶段集成测试阶段编码阶段编码阶段验收阶段验收阶段运行阶段运行阶段http:/ 7.5 软件测试的组织和实施软件测试的组织和实施(3)(3)一一.软件测试一般步骤软件测试一般步骤步骤步骤测试内容测试内容时间时间单元单元测试测试 子系统子系统测试测试 系统系统测试测试 验收验收测试测试 平行平行测试测试 将每一个模块作为一个单独的测试单元，保证每一个模块作为将每一个模块作为一个单独的测试单元，保证每一个模块作为一个单元能正确运行。一个单元能正确运行。将经过单元测试的模块放在一起形成一个子系统来测试，以测将经过单元测试的模块放在一起形成一个子系统来

46、测试，以测试模块间的接口正确性作为主要任务。试模块间的接口正确性作为主要任务。将经过测试的子系统装配成一个完整的系统来测试，检验系统将经过测试的子系统装配成一个完整的系统来测试，检验系统是否确实能实现需求规格说明书中的功能，以及系统的动态特征是否确实能实现需求规格说明书中的功能，以及系统的动态特征是否符合预定要求。系统测试是指整个计算机系统是否符合预定要求。系统测试是指整个计算机系统(包括软硬件包括软硬件)的测试的测试,可与系统的安装和验收相结合进行。可与系统的安装和验收相结合进行。在用户的参与下，把软件系统作为单一的实体进行测试，使软在用户的参与下，把软件系统作为单一的实体进行测试，使软件系

47、统能满足用户的需要。测试内容与系统测试基本相同。件系统能满足用户的需要。测试内容与系统测试基本相同。新旧两个系统同时运行进行比较，避免风险的同时给用户对新新旧两个系统同时运行进行比较，避免风险的同时给用户对新系统一段熟悉的时间。系统一段熟悉的时间。编码编码阶段阶段集中集中测试测试阶段阶段验收验收阶段阶段运行运行阶段阶段http:/ 7.5 软件测试的组织和实施软件测试的组织和实施(4)(4)二二.各个阶段产生的文档与测试的关系各个阶段产生的文档与测试的关系 用户要求用户要求需求分析需求分析总体设计总体设计详细设计详细设计编编 码码软件软件结构图结构图模块说明模块说明程序清单程序清单单元测试单元

48、测试集成测试集成测试验收测试验收测试平行测试平行测试需求规需求规格说明格说明http:/ 7.5 软件测试的组织和实施软件测试的组织和实施(5)(5)三三.单元测试单元测试测试对象测试对象测试内容测试内容模块接口模块接口局部数据局部数据接口接口重要的执重要的执行路径及行路径及出错处理出错处理(1)(1)参数数目与调用模块数目是否相等；参数数目与调用模块数目是否相等；(2)(2)参数属性与变元属性是否匹配；参数与变元的单位系统是否匹配；参数属性与变元属性是否匹配；参数与变元的单位系统是否匹配；(3)(3)传送给被调用模块的变元数目是否等于那个模块的参数数目；传送给被调用模块的变元数目是否等于那个

49、模块的参数数目；(4)(4)传送给被调用模块的变元属性和参数的属性是否一致；传送给被调用模块的变元属性和参数的属性是否一致；(5)(5)传送给被调用模块的变元单位系统和该模块参数的单位系统是否一致；传送给被调用模块的变元单位系统和该模块参数的单位系统是否一致；(6)(6)其它有关内部函数、全程变量等属性的一致性。其它有关内部函数、全程变量等属性的一致性。(7)(7)涉及完成外部的输入涉及完成外部的输入/输出时输出时,需注意的包括需注意的包括:文件属性、文件打开文件属性、文件打开/结结 束、及错误检查等。束、及错误检查等。(1)(1)说明与数据类型是否相容；说明与数据类型是否相容；(2)(2)未

50、赋值或未初始化变量未赋值或未初始化变量,错误的初始值或补缺值错误的初始值或补缺值,错误的变量名字；错误的变量名字；(3)(3)上溢、下溢或地址异常。上溢、下溢或地址异常。(1)(1)计算次序或运算符的优先次序理解错误；计算次序或运算符的优先次序理解错误；(2)(2)混合运算中运算对象和类型不相容；混合运算中运算对象和类型不相容；(3)(3)变量初始值错误或符号表示错误。变量初始值错误或符号表示错误。(4)(4)影响上述各方面的边界条件。影响上述各方面的边界条件。http:/ 7.5 软件测试的组织和实施软件测试的组织和实施(6)(6)单元测试的方法单元测试的方法 人工审查人工审查测试软件测试软