chapter6-0白盒测试用例2.pptVIP

第二章 测试设计与开发 ——白盒测试用例设计 回顾 白盒法常用的覆盖标准 白盒法的具体操作方法 白盒测试的实施步骤 例：用白盒法测试以下程序段： Procedure M（VAR X,Y:REAL;Z:varchar）； BEGIN IF (X=80) and (Y=90) THEN Z:=“成绩优秀” ; ELSE IF (X=80) and (Y=90) THEN Z:=“成绩良好” else Z:=“成绩一般” END; 判定——条件覆盖 （1）主要特点：设计足够多的测试用例，使得判定中每个条件的所有可能结果至少出现一次，每个判定本身所有可能结果也至少出现一次。 （2）测试用例设计如下： （3）优点：判定——条件覆盖满足判定覆盖准则和条件覆盖准则，弥补了二者的不足。 （4）缺点：判定——条件覆盖准则的缺点是未考虑条件的组合情况。 条件组合覆盖 （1）主要特点：要求设计足够多的测试用例，使得每个判定中条件结果的所有可能组合至少出现一次。 注意：在实际情况下，大多数计算机不能用一条指令对多个条件作出判定，而必须将源程序中对多个条件的组合分解成几个简单的单个条件判定。 在图中有2个判定，第一个判定包含了2个条件，第二个判定包含了3个条件，总共有12个组合，如下所示： 1） X=90,Y=90,记为T1,T2 X=90,Y90,记为T1,-T2 X90,Y=90,记为-T1,T2 X90,Y90,记为-T1,-T2 X+Y=140,X=85,Y=85记为T3,T4,T5 X+Y=140,X=85,Y85记为T3,T4,-T5 X+Y=140,X85,Y=85记为T3,-T4,T5 X+Y=140,X85,Y85记为T3,-T4,-T5 X+Y140,X=85,Y=85记为-T3,T4,T5 X+Y140,X85,Y85记为-T3,-T4,-T5 X+Y140,X=85,Y85记为-T3,T4,-T5 X+Y140,X85,Y=85记为-T3,-T4,T5 （2）测试用例如下： （3）优点：多重条件覆盖准则满足判定覆盖、条件覆盖和判定——条件覆盖准则。更改的判定——条件覆盖要求设计足够多的测试用例，使得判定中每个条件的所有可能结果至少出现一次，每个判定本身的所有可能结果也至少出现一次。并且每个条件都显示能单独影响判定结果。 （4）缺点：线性地增加了测试用例的数量。 路径覆盖 （3）优点：这种测试方法可以对程序进行彻底的测试，比前面几种的覆盖面都广。 （4）缺点：由于路径覆盖需要对所有可能的路径进行测试（包括循环、条件组合、分支选择等），那么需要设计大量、复杂的测试用例，使得工作量呈指数级增长。 基本路径法 基本路径法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。 基本路径测试法包括以下5个方面 （1）程序的控制图：描述程序控制流的一种图示方法。 （2）程序环境复杂性：McCabe复杂性度量；从程序的环路复杂性可导出基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例的上界。 （3）导出测试用例。 （4）准备测试用例，确保基本路径集合中每条路径的执行。 （5）图形矩阵：是在基本路径测试中起辅助作用的软件工具，利用它可以实现自动地确定一个基本路径集。 控制流图中常用结构的画法： 说明：图中的圆圈代表控制流图的一个结点，表示一个或多个无分支的源程序语句。箭头代表控制流的方向。 例：将下列函数用基本路径法来编写测试用例。 函数说明：输入参数：int count，int flag 输出参数：int temp 当flag=0时，返回count+50 当flag=1时，返回temp + count*5 否则，返回temp + count*10 代码如下： 1 int test（int count, int flag) 2 { 3 int temp = 0; 4 while (count 0) 5 { If (flag == 0) { temp = count + 50; break; } Else { If (flag == 1) { temp = temp + count * 5; } Else { temp = temp + count * 10; } } count = count - 1; 23 } 24 Return temp; 25 } （1）画程序流程图 （2）计算圈复杂