文档介绍：1白盒测试技术设计方法 2 1、语句覆盖?使程序中每个语句至少执行一次。开始(A>1) AND (B=0) (A=2) OR (X>1) 返回 X=X/A X=X+1 FF TTabd ce 只需设计一个测试用例:输入数据: A=2 , B=0 , X=4 即达到了语句覆盖。语句覆盖是最弱的逻辑覆盖(如: AND 写成 OR, X>1 写成 X <1, 查不出来) 3 2、判定覆盖(分支覆盖) ?使每个判定的真假分支都至少执行一次。开始(A>1) AND (B=0) (A=2) OR (X>1) 返回 X=X/A X=X+1 FF TTabd ce 可设计两组测试用例: A=3 , B=0 , X=3 可覆盖 c、d分支 A=2 , B=1 , X=1 可覆盖 b、e分支两组测试用例可覆盖所有判定的真假分支判定覆盖仍是弱的逻辑覆盖,只覆盖了全部路径的一半。 4 3、条件覆盖?使每个判定的每个条件的可能取值至少执行一次。开始(A>1) AND (B=0) (A=2) OR (X>1) 返回 X=X/A X=X+1 FF TTabd ce 满足条件: T1,T1, T2,T2 T3,T3 T4,T4 第一判定表达式:设条件 A>1 取真记为 T1 假T1 条件 B=1 取真记为 T2 假T2 第二判定表达式:设条件 A=2 取真记为 T3 假T3 条件 X>1 取真记为 T4 假T4 5 测试用例通过满足的覆盖 A B X 路径条件分支 1 0 3 abe T1,T2,T3,T4 b,e 2 1 1 abe T1,T2,T3,T4 b,e 两个测试用例覆盖了四个条件八种可能取值。未覆盖 c、d分支,不满足判定覆盖的要求. 条件覆盖不一定包含判定覆盖判定覆盖也不一定包含条件覆盖 6 4 判定/条件覆盖选取足够多的测试用例,使判断中的每个条件的所有可能取值至少执行一次,同时每个判断本身的所有可能判断结果至少执行一次. 开始(A>1) AND (B=0) (A=2) OR (X>1) 返回 X=X/A X=X+1 FF TTabd ce 满足条件: T1,T1, T2,T2 T3,T3 T4,T4 7 测试用例通过满足的条件覆盖 A B X 路径分支 2 0 4 ace T1,T2,T3,T4 c,e 1 1 1 abd T1,T2,T3,T4 b,d 能同时满足判定、条件两种覆盖标准的取值 8 5 、条件组合覆盖所有可能的条件取值组合至少执行一次 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 测试用例通过满足的覆盖 A B X 路径条件分支 2 0 4 ace T1,T2,T3,T4 c,e 2 1 1 abe T1,T2,T3,T4 b,e 1 0 2 abd T1,T2,T3,T4 b,d 1 1 1 abd T1,T2,T3,T4 b,d 9 以上根据测试数据对源程序语句检测的详尽程度,简单讨论了几种逻辑覆盖标准。在上面的分析过程中常常谈到测试数据执行的程序路径,显然,测试数据可以检测的程序路径的多少,也反映了对程序测试的详尽程度。从对程序路径的覆盖程度分析,能够提出下述一些主要的逻辑覆盖标准。 10 ?黑盒测试着重测试软件功能。黑盒测试并不能取代白盒测试,它是与白盒测试互补的测试方法,它很可能发现白盒测试不易发现的其他类型的错误。?黑盒测试力图发现下述类型的错误:①功能不正确或遗漏了功能; ②界面错误; ③数据结构错误或外部数据库访问错误; ④性能错误; ⑤初始化和终止错误。?黑盒测试技术: 等价划分法、边界值分析法、错误推测法、因果图法等。黑盒测试技术(理解)