hw软件测试(周)6.ppt

Unit6 白盒测试概述 1基本路径测试 33 逻辑覆盖法 2循环测试 34程序插桩 35白盒测试综合策略 6调试 7 概述?白盒测试( White-box Testing )也称结构测试。“白盒”将程序形象地比喻为放在一个透明的盒子里,故测试人员了解被测程序的内部结构。?测试人员利用程序的内部逻辑结构和相关信息,对程序的内部结构和路径进行测试,检验其是否达到了预期的设计要求。 逻辑覆盖法逻辑覆盖是以程序的内部逻辑结构为基础的测试用例设计技术。它要求测试人员十分清楚程序的逻辑结构,考虑的是测试用例对程序内部逻辑覆盖的程度。?语句覆盖?判定覆盖?条件覆盖?判定/条件覆盖?条件组合覆盖?路径覆盖 1 语句覆盖 1 语句覆盖设计足够的测试用例,使得程序中的每个语句至少执行一次。 1 语句覆盖入口 A > 1 AND B=0 T A=2 OR X > 1 T X = X / A X = X + 1 返回 FF 用例 2 402用例 1 XBA? 第一个判断中的逻辑运算符“ AND ”若错写成了“ OR ”,能否测试出来? 路径: P1 ( TT ) P2 ( FF ) P3 ( FT ) P4 ( TF ) 2 判定覆盖 2 判定覆盖设计足够的测试用例,使得在语句覆盖的基础上,程序中每个判定的取“真”分支和取“假”分支至少都执行一次,判定覆盖又称分支覆盖。 2 判定覆盖(分支覆盖) 入口 A > 1 AND B=0 T A=2 OR X > 1 T X = X / A X = X + 1 返回 FF 1 1 1用例 2 402用例 1 XBA? 判定覆盖比语句覆盖强,但是仍不能保证判断条件的正确性。例如:第二个判断条件中的x>1若错写成了 x<1, 能否测试出来? 3 条件覆盖 3 条件覆盖设计足够的测试用例,在语句覆盖的基础上使得程序判定中的每个条件能获得各种可能的结果。 3 条件覆盖入口 A > 1 AND B=0 T A=2 OR X > 1 T X = X / A X = X + 1 返回 FF 1 1 1用例 2 402用例 1 XBA 1 12用例 2 301用例 1 XBA? 是否满足判定覆盖?