白盒测试剖析.pptVIP

图矩阵的连接权值 　对每个矩阵项加入连接权值(link weight)，图矩阵就可以用于在测试中评估程序的控制结构，连接权值为控制流提供了另外的信息。最简单情况下，连接权值是 1(存在连接)或0(不存在连接)，但是，连接权值可以赋予更有趣的属性： 　　执行连接(边)的概率。 　　穿越连接的处理时间。 　　穿越连接时所需的内存。 　　穿越连接时所需的资源。 * 基本路径测试方法的例子1 void Sort ( int iRecordNum, int iType ) 1 { 2 int x=0; 3 int y=0; 4 while ( iRecordNum-- 0 ) 5 { 6 If ( iType==0 ) 7 x=y+2; 8 else 9 If ( iType==1 ) 10 x=y+10; 11 else 12 x=y+20; 13 } 14 } * 基本路径测试方法的例子1（续） 画出控制流图： 如右图所示 计算环形复杂度： 10（条边）- 8（个节点）+ 2 = 4 导出独立路径（用语句编号表示） 路径1：4→14 路径2：4→6→7→14 路径3：4→6→9→10→13→4→14 路径4：4→6→9→12→13→4→14 4 6 7 9 10 12 13 14 * 基本路径测试方法的例子1：设计测试用例 输入数据 预期输出 测试用例1 irecordnum = 0 itype = 0 x = 0 y = 0 测试用例2 irecordnum = 1 itype = 0 x = 2 y = 0 测试用例3 irecordnum = 1 itype = 1 x = 10 y = 0 测试用例4 irecordnum = 1 itype = 2 x = 20 y = 0 * 基本路径测试方法的例子1：图矩阵 * 连接权为“1”表示存在一个连接，在图中如果一行有两个或更多的元素“1”，则这行所代表的结点一定是一个判定结点，通过连接矩阵中有两个以上(包括两个)元素为“1”的个数，就可以得到确定该图圈复杂度的另一种算法。 复合逻辑 　例如： 　　1 if a or b 　　2 x 　　3 else 　　4 y * 如果判断中的条件表达式是由一个或多个逻辑运算符 (OR, AND, NAND, NOR) 连接的复合条件表达式，则需要改为一系列只有单条件的嵌套的判断。 　 1 9 10 11 2 4 5 7 8 3 6 V(G) = 4 基本路径测试方法的例子2 流程图 * 1 2,3 8 7 6 9 4,5 10 11 基本路径测试方法的例子2： 控制流图 * 基本路径测试方法的例子2：环形复杂度 V(G)=4 1 2,3 7 8 6 9 4,5 10 11 Region 1 Region 2 Region 3 Region 4 * Path1: 1-2-3-6-7-9-10-1-11 基本路径测试方法的例子2：独立路径 Path2: 1-2-3-6-8-9-10-1-11 Path3: 1-2-3-4-5-10-1-11 Path4: 1-11 1 9 10 11 2 4 5 8 7 3 6 * 习题 1、使用基本路径测试方法，为以下程序段设计测试用例。 void Do (int X,int A,int B) { if ( (A1)(B==0) ) X = X/A; if ( (A==2)||(X1) ) X = X+1; } 要求： （1）画出相应的控制流图。 （2）计算环形复杂度。 （3）给出相应的图矩阵。 （4）找出程序的独立路径集合。 （5）设计测试用例。 * 循环测试方法 从本质上说，循环测试的目的就是检查循环结构的有效性。 通常，循环可以划分为简单循环、嵌套循环、串接循环和 非结构循环4类。 （1）测试简单循环。设其循环的最大次数为n ，可采用以下测试集： 跳过整个循环； 只循环一次； 只循环两次； 循环 m 次，其中mn； 分别循环 n-1、n 和 n+1 次。 * 循环测试方法（续） （2）测试嵌套循环。如果将简单循环的测试方法用于嵌套循环，可能的测试次数会随嵌套层数成几何级数增加。 此时可采用以下办法减少测试次数： 测试从最内层循环开始，所有外层循环次数设置为最小值； 对最内层循环按照简单循环的测试方法进行；