第08课--白盒测试路径分析测试(基本路径测试).ppt

把程序看成装在一个透明的白盒子里，程序的结构和处理呈现过程完全可见，按照程序的内部逻辑测试程序，以检查程序中的每条通路是否都能按照预先要求正确工作。 ;;白盒测试的常用方法;基本路径测试;基本路径测试;控制流图;控制流图;控制流图; 如果判定中的条件表达式是复合条件时，即条件表达式是由一个或多个逻辑运算符（OR，AND，NAND，NOR）连接的逻辑表达式，则需要改复合条件的判定为一系列只有单个条件的嵌套的判定。例如对应图 (a) 的复合条件的判定，应该画成如图 (b) 所示的控制流图。 条件语句 if a OR b 中条件a和条件b各有一个只有单个条件的判定结点。 ;环复杂度;环复杂度;环复杂度;基本路径 ;基本路径;基本路径测试方法举例;基本路径测试方法举例;基本路径测试方法举例;基本路径测试方法举例;案例2——三角形问题;控制流图;环复杂度;基本路径和测试用例（1）;基本路径和测试用例 81-86-87-88-92-93 -94-102 相应的测试用例: 测试输入 = (68,68,68) 预期结果= 这是一个等边三角形！ 81-86-87-89-90-92-99-100-102 相应的测试用例: 测试输入 = (68,8,60) 预期结果= 这不是一个三角形！ ;基本路径与环复杂度;基本路径与环复杂度;案例分析3; 根据基本路径测试法生成测试用例，确保基本路径集中每条路径的执行。 以一个求平均值的过程averagy为例，说明测试用例的设计过程。用PDL语言描述的averagy过程如下：;PROCEDURE averagy;* This procedure computes the averagy of 100 or fewer numbers that liebounding values; it also computes the total input and the total valid. INTERFACE RETURNS averagy, total.input, total.valid;INTERFACE ACCEPTS value, minimum, maximum;  TYPE value[1:100] IS SCALAR ARRAY;TYPE averagy, total.input, total.valid, minimum, maximum, sum IS SCALAR;TYPE i IS INTEGER; ;i = 1;total.input = total.valid = 0;sum = 0;DO WHILE value[i] -999 AND total.input 100increment total.valid by 1;IF value[i] = minimum AND value[i] = maximumTHEN increment total.valid[i];ELSE skip;ENDIF Increment i by 1;ENDDOIF total.valid 0THEN averagy = sum / total.valid;ELSE averagy = -999;ENDIFEND averagy;(1) 由过程描述导出控制流图 在上面给出的过程中，针对要映射为对应控制流图中一个结点的PDL语句或语句组，标记上用数字表示的标号。加了标号的PDL程序如下（只有可执行语句部分）： ;;对应的控制流图如图所示： ;该图所有的6条路径是:path1：1 - 2 - 10 - 11 - 13path2：1 - 2 - 10 - 12 - 13path3：1 - 2 - 3 - 10 - 11 - 13path4：1 - 2 - 3 - 4 - 5 - 8 - 9 - 2 - 10 - 11 - 13……path5：1 - 2 - 3 - 4 - 5 - 6 - 8 - 9 - 2 - 10 - 12 - 13……path6：1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 2- 3 - 10 - 11 - 13 ……path4、path5、path6 后面的省略号（……）表示在控制结构中以后剩下的路径是可选择的。在很多情况下，标识判断结点，常常能够有效地帮助导出测试用例。在上例中，结点2、3、5、6和10都是判断结点。 ;满足上例基本路径集的测试用例是: path1： 输入数据：value[k]＝有效输入，限于 k＜i（i定义如下）