设计测试方案设计测试方案.ppt

设计测试方案 设计测试方案(Plan of testing) 主要技术： 1、逻辑覆盖(Logical coverage) 2、控制结构测试 3、等价划分 任务：①预定要测试的功能 ②设计输入的测试数据(test cases) ③列出预期结果(expected output) 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F Test case : A=2 , B=0 , X=4. 覆盖程度由弱到强顺次为： ⑴ 语句覆盖:每个语句至少执行一次。 1 .逻辑覆盖 ⑵判定覆盖(Branch coverage)：在⑴的基础上，每个判定的每个分支至少执行一次。 Test cases: ①A=3 , B=0 , X=3 ②A=2 , B=1 , X=1 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F ⑶ 条件覆盖(Condition coverage)：在⑴的基础上，使每个判定表达式的每个条件都取到各种可能的结果。 Test cases: ①A=2 , B=0 , X=4 （满足A1, B=0; A=2, X1) ②A=1, B=1, X=1 (满足A?1, B?0; A ?2, X?1） 问：条件覆盖 ？ 判定覆盖 答: 不一定。 反例: ①A=2, B=0, X=1 ②A=1, B=1, X=2 ⑷判定/条件覆盖：即判定覆盖?条件覆盖 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F ⑸ 条件组合覆盖：每个判定表达式中条件的各种可能组合都至少出现一次。 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F 全部可能的条件组合为： ① A1, B=0 ② A1, B? 0 ③ A?1, B=0 ④ A?1, B? 0 ⑤ A=2, X1 ⑥ A=2, X? 1 ⑦ A ? 2, X1 ⑧ A ? 2,X? 1 Test cases: ① A=2, B=0, X=4 (T T) ② A=2. B=1, X=1 (F T) ③ A=1, B=0, X=2 (F T) ④ A=1, B=1, X=1 (F F) 考察control flow graph 的角度，还可考虑下述覆盖： ⑹ 点覆盖 ⑺ 边覆盖 = 语句覆盖 ⑻ 路径覆盖(Path coverage): 每条可能的路径都至少执行一次，若图中有环，则每个环至少经过一次。 =判定覆盖 Test cases: ① A=1 , B=1 , X=1 ② A=1 , B=1 , X=2 ③ A=3 , B=0 , X=1 ④ A=2 , B=0 , X=4 ⑼ 路径覆盖 ? 条件组合覆盖 2.控制结构测试：基本路径、条件、循环 1). 基本路径测试 基本路径测试是Tom McCabe提出的一种白盒测试技术。 首先计算程序的环形复杂度 用该复杂度为指南定义执行路径的基本集合 从该基本集合导出的测试用例可以保证程序中的每条语句至少执行一次，而且每个条件在执行时都将分别取真、假两种值。 3.等价划分 —— 适用于黑盒测试 问题： 是如何选择适当的子集，使其发现最多的错误。 解决上述问题的办法： 是把所有可能的输入数据划分为若干等价类，这样就有可能得到一种假设，即测试某个等价类的代表值就等价于对这一类其他值的测试。 等价划分技术是用来设计发现错误种类的测试用例，以减少必须设计的测试用例总数。 ⑴ 根据划分经验，划分等价类 ? 当规定了输入范围时： ? 当规定了输入的一组值，且对不同值做不同处理时 无效类 有效类 无效类 ? 当规定了输入的规则时： 例：(PASCAL) 语言规定，每个语句以“ ；” 结 束? 有效类1个；无效类若干（以“ ，”结束、以“ ：”结束、以空格结束等等） ? 当输入为整型时：有效类可分为Z+、0、Z— 三种 ? 当处理表格时：有效类可分为空表、含一项的表、含多项的表等 注：① 以上经验亦适用于输出数据； ② 不需要测试编译程序肯定能发现的错误。 ⑵ 设计步骤 ? 设计一个新方案以尽可能多地覆盖尚未被覆盖的有效等价类；重复这一步骤直到所有有效类都被覆盖为止。 ? 设计一个