西安交通大学软件学院：《面向对象的软件工程》 第五章 软件测试

(1)逻辑覆盖 主要用于测试选择结构。 入口 语句覆盖 每个语句 至少执行一次。 AND B=O X=X/A Test case F A B=0,Ⅹ=4 ORX> X+1 问题:若AND错 写为OR,或X>1 F 错写为Ⅹ<1,则错 返回 误无法由上例测出。 西安交通大学刘海

西安交通大学 刘海岩 11 （1）逻辑覆盖 主要用于测试选择结构。 • 语句覆盖： 每个语句 至少执行一次。 Test case : A=2 , B=0 , X=4. 问题：若AND错 写为OR，或X>1 错写为X<1,则错 误无法由上例测出。 入口 A > 1 AND B=0 T A=2 OR X > 1 T X = X / A X = X + 1 返回 F F

°判定覆盖:每个判定的每个分支至少执行一次 入口 Test cases ①A=3,B=0,X=3 A>1 T「x=X/A1②A=2,B=1,X AND B=0 F 问题:若X>1错写为X<1, A=2 仍然无法被测出 ORX>I X=X+1 F 返回 西安交通大学刘海

西安交通大学 刘海岩 12 • 判定覆盖：每个判定的每个分支至少执行一次 Test cases: ①A=3 , B=0 , X=3 ②A=2 , B=1 , X=1 问题：若X>1错写为X<1, 仍然无法被测出 入口 A > 1 AND B=0 T A=2 OR X > 1 T X = X / A X = X + 1 返回 F F

条件覆盖 Test cases 入口 ①A=2,B=0,X=4 (满足A>1,B=0;A=2,X>1) ②A=1,B=1,X=1 (满足A≤1,B≠0;A≠2,X<1) AND B=O X=X/A 问:条件覆盖=←判定覆盖 答:不一定 反例:①A=2,B=0,X=1ORX =X+1 ②A=1,B=1,X=2 判定/条件覆盖: 即判定覆盖入条件覆盖 返回 西安交通大学刘海

西安交通大学 刘海岩 13 • 条件覆盖 Test cases: ①A=2 , B=0 , X=4 （满足A>1, B=0; A=2, X>1) ②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,B=0②A>1,B≠0 3A≤1,B=0④A≤1,B≠0 ⑤A=2,X>1⑥A=2,X≤1 ANDB0Tx=X/A⑦A≠2,X>1⑧A≠2,X≤ A>1 Test cases ①A=2,B=0,X=4(TT) A=2 ②A=2.B=1,X=1(FT ORX> X=X+1 ③A=1,B=0,X=2(FT ④A=1,B=1,X=1(FF) 问题:没有测试到(TF)的路径 返回 西安交通大学刘海

西安交通大学 刘海岩 14 • 条件组合覆盖：每个判定表达式中条件的各种可能组合都 至少出现一次。 全部可能的条件组合为： ① A>1, B=0 ② A>1, B 0 ③ A1, B=0 ④ A1, B 0 ⑤ A=2, X>1 ⑥ A=2, X 1 ⑦ A  2, X>1 ⑧ 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) 问题：没有测试到（T F）的路径 入口 A > 1 AND B=0 T A=2 OR X > 1 T X = X / A X = X + 1 返回 F F

入口 路径覆盖 每条可能的路径都至少执行 一次,若图中有环,则每个A>1T X=X/A 环至少经过一次。 AND B=O Test cases ①A=1,B=1,X=1(FF) F ②A=1,B=1,X=2(FT A=2 T 3A=3,B=0, X-1(T F)ORX> X=X+1 ④A=2,B=0,X=4(TT F 路径覆盖∧条件组合覆盖 返回 西安交通大学刘海

西安交通大学 刘海岩 15 • 路径覆盖 每条可能的路径都至少执行 一次，若图中有环，则每个 环至少经过一次。 Test cases: ① A=1 , B=1 , X=1 (F F） ② A=1 , B=1 , X=2 (F T) ③ A=3 , B=0 , X=1 (T F) ④ A=2 , B=0 , X=4 (T T) • 路径覆盖  条件组合覆盖 入口 A > 1 AND B=0 T A=2 OR X > 1 T X = X / A X = X + 1 返回 F F