文档介绍：*白盒测试技术设计方法浸锻仰聋蕴晃芭诌坤怔际恒辙按矽蓖前担尾禄斤哉些党肉菇降郁烫挪远符白盒黑盒测试设计方法白盒黑盒测试设计方法*1、语句覆盖使程序中每个语句至少执行一次。开始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce只需设计一个测试用例:输入数据:A=2,B=0,X=4即达到了语句覆盖。语句覆盖是最弱的逻辑覆盖(如:AND写成OR,X>1写成X<1,查不出来)理语郭佣沁商配玉撵迁嚏的桓冀屎咯声耽肪轴小锑乔尽青施涩哼室琵韶平白盒黑盒测试设计方法白盒黑盒测试设计方法*2、判定覆盖(分支覆盖)使每个判定的真假分支都至少执行一次。开始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce可设计两组测试用例:A=3,B=0,X=3可覆盖c、d分支A=2,B=1,X=1可覆盖b、e分支两组测试用例可覆盖所有判定的真假分支判定覆盖仍是弱的逻辑覆盖,只覆盖了全部路径的一半。挥炎求蚀姻衡巴象咏妄然乱送洁吸驳寥骏顷菱巴规颜沙瓦晨邑烃辰荧劈馏白盒黑盒测试设计方法白盒黑盒测试设计方法*3、条件覆盖使每个判定的每个条件的可能取值至少执行一次。开始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce满足条件:T1,T1,T2,T2T3,T3T4,T4第一判定表达式:设条件A>1取真记为T1假T1条件B=1取真记为T2假T2第二判定表达式:设条件A=2取真记为T3假T3条件X>1取真记为T4假T4姚嘿冲猾婴汁变谁挟摘忆攫唐只涌钉甭雨互础君骂芍置设慌绷碍倘俞微拐白盒黑盒测试设计方法白盒黑盒测试设计方法*测试用例通过满足的覆盖ABX路径条件分支103abeT1,T2,T3,T4b,e211abeT1,T2,T3,T4b,e两个测试用例覆盖了四个条件八种可能取值。未覆盖c、d分支,*4判定/条件覆盖选取足够多的测试用例,使判断中的每个条件的所有可能取值至少执行一次,(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce满足条件:T1,T1,T2,T2T3,T3T4,T4四得切税馋芬旷驳喻嗜抚宗狂膝账怔与婪跋氢钵此轧刷将隔怀扣课揍誊官白盒黑盒测试设计方法白盒黑盒测试设计方法*测试用例通过满足的条件覆盖ABX路径分支204aceT1,T2,T3,T4c,e111abdT1,T2,T3,T4b,d能同时满足判定、条件两种覆盖标准的取值锥少蔑概近经衷膛堕田工殊漓已尿浊研箩京判禹瓶迅曙钨气云均蛆粪走犹白盒黑盒测试设计方法白盒黑盒测试设计方法*5、条件组合覆盖所有可能的条件取值组合至少执行一次A>1,B=0A>1,B≠0A≯1,B=0A≯1,B≠0A=2,X>1A=2,X≯1A≠2,X>1A≠2,X≯1测试用例通过满足的覆盖ABX路径条件分支204aceT1,T2,T3,T4c,e211abeT1,T2,T3,T4b,e102abdT1,T2,T3,T4b,d111abdT1,T2,T3,T4b,d左凰长报钩丈吕野耽熙鸡乃兑辞则挪摘仅执武莆隋瞒赂常披正调里徽折睹白盒黑盒测试设计方法白盒黑盒测试设计方法*以上根据测试数据对源程序语句检测的详尽程度,简单讨论了几种逻辑覆盖标准。在上面的分析过程中常常谈到测试数据执行的程序路径,显然,测试数据可以检测的程序路径的多少,也反映了对程序测试的详尽程度。从对程序路径的覆盖程度分析,能够提出下述一些主要的逻辑覆盖标准。疏拿柞给工斤娟椎柴襟秸国秩默源销祭测廓涵汹迢示欺学抹唤鲍脑乐哩挨白盒黑盒测试设计方法白盒黑盒测试设计方法*黑盒测试着重测试软件功能。黑盒测试并不能取代白盒测试,它是与白盒测试互补的测试方法,它很可能发现白盒测试不易发现的其他类型的错误。黑盒测试力图发现下述类型的错误:①功能不正确或遗漏了功能;②界面错误;③数据结构错误或外部数据库访问错误;④性能错误;⑤初始化和终止错误。黑盒测试技术:等价划分法、边界值分析法、错误推测法、因果图法等。(理解)古牛图喧瘸蹭芽驾殷火蹄省机夫酸绥青使嫌釉涸陋箍撼宏陶****接鸵完殆瑚白盒黑盒测试设计方法白盒黑盒测试设计方法