5.7软件工程测试辩析.ppt

条件组合覆盖例 判断 条件 取真值 取假值 判断 (一) A1 T1 T1 B=0 T2 T2 判断 (二) A=2 T3 T3 X1 T4 T4 设条件的取值标记 条件 标记 第二个判断取 真假分支 A=2 X1 A=2 X≯1 A≠2 X1 A≠2 X≯1 T3 T4 ⑤ 取真分支 T3 T4 T3 T4 ⑥ 取真分支 ⑦ 取真分支 ⑧ 取假分支 T3 T4 A1 and B=0 A=2 OR X1 X=X/A X=X+1 YES YES NO NO a b c e d 条件组合覆盖例 测试用例 通过路径 条件取值 覆盖组合号 【(2, 0, 4), (2, 0, 3)】 ace L1 T1 T2 T3 T4 ①,⑤ 【(2, 1, 1), (2, 1, 2)】 abe L3 T1 T2 T3 T4 ②,⑥ 【(1, 0, 3), (1, 0, 4)】 abe L3 T1 T2 T3 T4 ③,⑦ 【(1, 1, 1), (1, 1, 1)】 abd L2 T1 T2 T3 T4 ④,⑧ 设条件的取值标记 条件 标记 第一个判断取 真假分支 A1 B=0 T1 T2 ① 取真分支 A1 B≠0 T1 T2 ② 取假分支 A≯1 B=0 T1 T2 ③ 取假分支 A≯1 B≠0 T1 T2 ④ 取假分支 A1 and B=0 A=2 OR X1 X=X/A X=X+1 YES YES NO NO a b c e d 路径覆盖 路径测试就是设计足够的测试用例，覆盖程序中每一条可能的程序执行路径至少测试一次。 路径覆盖例 测试用例 通过路径 条件取值 【(2, 0, 4), (2, 0, 3)】 ace L1 T1 T2 T3 T4 【(1, 1, 1), (1, 1, 1)】 abd L2 【(1, 1, 2), (1, 1, 3)】 abe L3 【(3, 0, 3), (3, 0, 1)】 acd L4 T1 T2 T3 T4 T1 T2 T3 T4 T1 T2 T3 T4 A1 and B=0 A=2 OR X1 X=X/A X=X+1 YES YES NO NO a b c e d 覆盖率要求 对单元测试来说，语句覆盖和分支覆盖是最基本的要求。 由于程序中错误（异常）处理工作的重要性以及其结构相对简单，要求错误处理要做到路径覆盖。 对质量要求高的软件单元，可根据情况提出条件覆盖、条件组合覆盖以及其它更高的覆盖要求。 黑盒测试 功能分解 等价类划分 边值分析 因果图 猜错法 功能分解 使用功能抽象的方法把程序分解为功能单元 使用数据抽象的方法产生测试每个功能单元的数据 注意测试功能序列组合和输入数据组合 等价类划分 等价类划分是一种典型的黑盒测试方法，使用这一方法时，完全不考虑程序的内部结构，只依据程序的规格说明来设计测试用例。 使用这一方法设计测试用例要经历划分等价类（列出等价类表）和选取测试用例两步。 划分等价类 所谓等价分类，就是把输入数据的可能值划分为若干等价类(等价类是指某个输入域的子集合。 在该集合中，各个输入数据对于揭露程序中的错误都是等价的)。 因此，可以把全部输入数据合理地划分为若干等价类，在每一个等价类中取一个数据作为测试的输入条件，这样就可以少量的代表性测试数据，来取得较好的测试结果。 有效等价类和无效等价类 ① 有效等价类： 是指对于程序的规格说明来说，是合理的，有意义的输入数据构成的集合。 ② 无效等价类： 是指对于程序的规格说明来说，是不合理的，无意义的输入数据构成的集合。 在设计测试用例时，要同时考虑有效等价类和无效等价类的设计。 划分等价类的原则：1 如果输入条件规定了取值范围，或值的个数，则可以确立一个有效等价类和两个无效等价类。 例如对输入 “…… 项数可以从1到999 ……” 则有效等价类是“1≤项数≤999” 两个无效等价类是 “项数＜1”或“项数＞999” 划分等价类的原则：2 如果输入条件规定了输入值的集合，或者是规定了“必须如何”的条件，这时可确立一个有效等价类和一个无效等价类。 例如在Pascal语言中对变量标识符规定为“以字母打头的……串” 所有以字母打头的构成有效等价类 不在此集合内（不以字母打头）的归于无效等价类。 划分等价类的原则：3 如果输入条件是一个布尔量，则可以确定一个有效等价类和一个无效等价类。 划分等价类的原则：4 如果规定了输入数据的一组值，而且程序要对每个输入值分别进行处理。这时可为 每一个输入值确立一个有效等价类，此外针对这