2015Test10_UnitTesting2.pptVIP

动态白盒测试 测试方案技术—白盒测试 2.白盒法 白盒法需要了解程序的功能与结构，测试用例必须根据程序内部的逻辑来设计。如果想用白盒法发现程序中的所有错误，则至少必须使程序中每种可能的路径都执行一次。 “彻底地测试”是不可能的，故策略是：在一定的研制时间、研制经费的限制下，通过执行有限的测试用例，尽可能多地发现一些错误。 白盒法又称为逻辑覆盖法，目前常用的覆盖法有： 测试方案技术—白盒测试 (1)语句覆盖 即每个语句至少能执行一次 测试方案技术—白盒测试 (2)判定覆盖 判定覆盖又叫分支覆盖，含义是：每个判定的分支至少执行一次。 测试方案技术—白盒测试 (3)条件覆盖 即一个判断语句中往往包含了若干条件。通过给出测试用例，使判断中的每个条件都获得各种可能的结果。 测试方案技术—白盒测试 (4)判断/条件覆盖 选取足够多的测试数据，使判断中每个条件都取得各种可能值，并使每个判断表达式也取到各种可能的结果。 测试方案技术—白盒测试 (5)条件组合覆盖 使得每个判断中条件的各种可能组合都至少出现一次。 路径 该控制流程图有4条不同的。4条路径可表示为： L1（a→c→e）简写ace 、L2（a→b→d）简写abd L3（a→b→e）简写abe 、L4（a→c→d）简写acd DD路径测试举例 10-2 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 输入 输出 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 问题：若AND错写为OR，或X1错写为X1,则错误无法由上例测出。 入口 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. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 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 问题：若X1错写为X1,仍然无法被测出。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 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 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 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 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 全部可能的条件组合为： ① A1, B=0 ② A1, B? 0 ③ A?1, B=0 ④ A?1, B? 0 ⑤ A=2, X1 ⑥