交通软件系统与设计2016.03分解.ppt

判定/条件覆盖 (A1) and (B=0) (A=2) or (X1) X = X / A X=X+1 T T F F b c e a 1 2 3 4 5 6 7 S d 判定条件不一定包含条件覆盖，条件覆盖也不一定包含判定覆盖；事实上同时满足这两种标准的判定/条件覆盖也不会比条件覆盖更强。 (A1) (A≤1) (B=0) (B≠0) (A=2) (A≠2) (X1) (X≤1) II: A=1, B=1,X=1: sabd I: A=2, B=0,X=4: sacbed 测试用例I,II既满足判定覆盖也满足条件覆盖的要求。严格来讲，合适的条件覆盖测试用例设计应该作到满足判定/条件覆盖的标准：判定/条件覆盖并不比条件覆盖更强。 条件组合覆盖 (A1) and (B=0) (A=2) or (X1) X = X / A X=X+1 T T F F b a 1 2 3 4 5 6 7 S d 条件组合覆盖要求选取足够多的测试数据，使得每个判定表达式中条件的各种可能组合都至少出现一次。 (A1) (A≤1) (B=0) (B≠0) (A=2) (A≠2) (X1) (X≤1) I. A=2,B=0,X=4 II. A=2,B=1,X=1 III. A=1,B=0,X=2 IV. A=1,B=1,X=1 满足条件组合覆盖标准的测试数据，也一定满足判定覆盖、条件覆盖和判定/条件覆盖标准。 I: sacbed II: sabed III: sabed IV: sabd 覆盖路径 点覆盖： 如果连通图 G 的子图G′是连通的，而且包含G的所有节点，则称G′是G 的点覆盖。 与语句覆盖标准相同。 边覆盖： 如果连通图 G 的子图G′是连通的，而且包含G的所有边，则称G′是G 的边覆盖。 通常与判定覆盖标准相同。 路径覆盖： 选取足够多的测试数据，使程序的每条 可能路径都至少执行一次（如果程序图 中有环，则要求每个环至少经过一次）。 路径覆盖是较强的逻辑覆盖标准。 I: A=1,B=1,X=1 (1-2-3) ; II: A=1,B=1,X=2 (1-2-6-7) III: A=3,B=0,X=1 (1-4-5-3); IV: A=2,B=0,X=4 (1-4-5-6-7) 1 2 3 4 5 6 7 设计测试方案—黑盒测试技术 测试人员将程序看成是一个“黑盒”，即不关心程序内部是什么，只要检查程序是符合它的“功能说明”。 2 等 价 划 分 (1) 等价分类法是将输入数据的可能值分成若干“等价类”，每一类以一个代表性的测试数据进行测试，这个数据就等价于这一类中的其它数据。 该法的关键在于如何将输入数据分类。 例如：输入的数据范围是1~999，我们可以划分三类：x1，1≦x ≦ 999，x999 N个等价类 每个等价类中的一组具代表性的测试数据 2 等 价 划 分 (2) 把 数 字 串转换成整数 Type ShortStr = array[1..6] of char; Function StrToInt(dstr: ShortStr): integer; 无效输入的等价类 非法输出的等价类 1—6个数字字符组成的数字串（最高位不是零）； 最高位是零的数字串； 最高位数字左邻是负号的数字串； 空字符串（全是空格）； 左部填充的字符既不是零也不是空格； 最高位数字右边由数字和空格混合组成； 最高位数字右边由数字和其他字符混合组成； 负号与最高位数字之间有空格。 计算机能表示的最小负整数和零之间的负整数； 零； 计算机能表示的最大正整数和零之间的正整数； 有效输入的等价类 合法输出的等价类 比计算机能表示的最小负整数还小的负整数； 计算机能表示的最大正整数还大的正整数； 2 等 价 划 分 (3) 等价类说明 测试数据 预期输出 测试结果 备注 1-6个数字的数字串 1 1 最高位是零的数字串 000001 1 最高位数字左邻是负号的数字串 -00001 -1 最高位是零的数字串 000000 0 太小的负整数 -47561 错误—无效输入（负数） 太大的正整数 132767 错误—无效输入（正数） 空字符串----6个空格 错误-没有数字 字符串左边字符既不是空格也不是零 *+kgh1 错误—填充错 最高位数字后面有空格 1 2 错误—无效输入 最高位数字后面有其他字符 1****2 错误—无效输入 负号和最高位数字之间有空格 - 12 错误—负号位置错 3 边 界 值 分 析