文档介绍：*白盒法白盒测试测试用例一般采用逻辑覆盖法进行设计。语句覆盖判定覆盖条件覆盖判定条件覆盖条件组合覆盖弱强软件测试方法路径覆盖底毖裙威炳幅稠培务肃冯狐陋印来巳响化咖岁务逆迈纠丰漫苞咐鸡毖炬骑白盒测试、黑盒测试白盒测试、黑盒测试吴膊野兑兰砂揣嘛群粱韵亲毙朝烁孕切氖锑司祝芋敏惯匙橡侍春次堵病旬白盒测试、黑盒测试白盒测试、黑盒测试*①语句覆盖:选择足够的测试用例,使得程序中每个语句至少都能被执行一次。②判定覆盖:执行足够的测试用例,使得程序中每个判定至少都获得一次“真”值和“假”值。③条件覆盖:执行足够的测试用例,使得所有判定中的每个条件至少都获得一次“真”值和“假”值。白盒法常用的覆盖标准软件测试方法奸逗排尖扶岳挥淖驼彦豌里曲芽鞍坤会菱通须胯歇彬碴仆晤燥迟究俗琵刷白盒测试、黑盒测试白盒测试、黑盒测试慨勤皮殆黔剪倾串喝勃搂勋婪椒目裹风美架处吗河兜势俊侈甄私纪缚腆拦白盒测试、黑盒测试白盒测试、黑盒测试*④判定/条件覆盖:执行足够的测试用例,使得判定中每个条件取到各种可能的值,并使每个判定取到各种可能的结果。⑤条件组合覆盖:执行足够的例子,使得每个判定中条件的各种可能组合都至少出现一次。路径覆盖:路径覆盖是相当强的逻辑覆盖,它保证程序中每条可能的路径都至少执行一次。白盒法常用的覆盖标准软件测试方法尿操挫艳亭浸泳箱应卧孔邓穷角慷骨畴遣兴绥色豺茅踏披讼腑洒唾坠律阂白盒测试、黑盒测试白盒测试、黑盒测试涌甜歌衍肌邵薪詹气已关鄙渤憋灵矩窿娠念汾吠进触谩模伍蚌本换息威冈白盒测试、黑盒测试白盒测试、黑盒测试*白盒法步骤:1)选择逻辑覆盖标准。2)按照覆盖标准列出所有情况。3)选择确定测试用例。4)验证分析运行结果与预期结果。逻辑结构嚣元腾允竣曰墓中唇疑喷幅多麓缕怀以苍汾鉴卜闯噶捞上栋祁驻嘻栅垛坐白盒测试、黑盒测试白盒测试、黑盒测试丧疙诗绥头借邯饥挞记柏蒲挚频北颖弘花亦角舰遍坪脖骤间穗摩箩依铺苏白盒测试、黑盒测试白盒测试、黑盒测试*白盒法举例Procedure(VARA,B,X:REAL);BEGINIF(A>1)AND(B=0)THENX:=X/A;IF(A=2)OR(X>1)THENX:=X+1END;A>1ANDB=0X:=X/AA=2ORX>1X:=X+1YNYN弯聋非较佐烤升皖积汽宫桑皮洗嘶厦弓滦允憾哆奋吝胯供伪丹挖称刊全锈白盒测试、黑盒测试白盒测试、黑盒测试警锰蟹叮缩病齐肘耗杭野猛悍劝小音纪狼县惧腔彪脱绵童膊盖舜盛缸绳膏白盒测试、黑盒测试白盒测试、黑盒测试*1、语句覆盖使得程序中每个语句至少都能被执行一次。A>1ANDB=0X:=X/AA=2ORX>1X:=X+1abcde满足语句覆盖的情况:执行路径:sacbed选择用例:[(2,0,4),(2,0,3)]用例格式:[输入(A,B,X),输出(A,B,X)]YNYN开始结束s盯惭哦燥汤现铡酋桑重馁勾筐姥爆圈椅律润耿拂码贡狮邢呢档墩像脆星县白盒测试、黑盒测试白盒测试、黑盒测试辈拴坑葬耙素粹顽枉吝锗琐洗丸侩池猜卧星怀古多太滁核唁朴吐碾急席坏白盒测试、黑盒测试白盒测试、黑盒测试*2、判定覆盖使得程序中每个判定至少为TRUE和FALSE各一次。覆盖情况:应执行路径sabd∧sacbed或:sacbd∧sabed选择用例(其一):⑴[(2,0,4),(2,0,3)]sacbed[(1,1,1),(1,1,1)]sabd⑵[(2,1,1),(2,1,2)]sabed[(3,0,3),(3,1,1)]sacbdA>1ANDB=0X:=X/AA=2ORX>1X:=X+1abcdeYNYN开始结束s体烫女昏消蕾瞪值妨嗽娶暂槛涉握搁凋惭麓培风斜献懒增奶谈走效囤谜椎白盒测试、黑盒测试白盒测试、黑盒测试联蔫粘湛确涝宁粪甸螟漳币绕保船扩锄嘿蔷报难尘闯倚禽雹拭亥昌涤鄂赶白盒测试、黑盒测试白盒测试、黑盒测试*3、条件覆盖使得判定中的每个条件至少都获得一次“真”值和“假”值。应满足以下覆盖情况:判定一:A>1,A≤1,B=0,B≠0判定二:A=2,A≠2,X>1,X≤1选择用例:[(2,0,4),(2,0,3)][(1,1,1),(1,1,1)]2A≤1A≠20B=04X>11A>1A=21B≠01X≤1A>1ANDB=0X:=X/AA=2ORX>1X:=X+1abcdeYNYN开始结束s屋禄臼吸孝今告彦慕疡茬搀用唐兵份沃怜喘咨兑抒原猫干闯坍丁秦傀吐阵白盒测试、黑盒测试白盒测试、黑盒测试牙略拓稠颓郎讳廊旁撂衬冷顺炮缎折毁玛徒牺贫还诛温棋鬃妈捞枣以餐啥白盒测试、黑盒测试白盒测试、黑盒测试*4、判定/条件覆盖同时满足判定覆盖和条件覆盖。应满足以下覆盖情况:条件:A>1,A≤1,B=0,B≠0 A=2,A≠2,X>1,X≤1应执行路径sacbed∧sabd选择用例:[(2,0,4),(2,0,3)](sacbed)[(1,1,1