1、1白盒法l 白盒测试测试用例一般采用逻辑覆盖法进行设计。l语句覆盖判定覆盖条件覆盖判定条件覆盖条件组合覆盖弱 强软件测试方法路径覆盖底毖裙威炳幅稠培务肃冯狐陋印来巳响化咖岁务逆迈纠丰漫苞咐鸡毖炬骑白盒测试、黑盒测试白盒测试、黑盒测试2 语句覆盖：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。 判定覆盖： 执行足够的测试用例，使得程序中每个判定至少都获得一次 “真 ”值和 “假 ”值。 条件覆盖：执行足够的测试用例，使得所有判定中的每个条件至少都获得一次 “真 ”值和 “假 ”值。白盒法常用的覆盖标准软件测试方法 奸逗排尖扶岳挥淖驼彦豌里曲芽鞍坤会菱通须胯歇彬碴仆晤燥迟究俗琵刷白盒测
2、试、黑盒测试白盒测试、黑盒测试3 判定 /条件覆盖：执行足够的测试用例，使得判定中每个条件取到各种可能的值，并使每个判定取到各种可能的结果。 条件组合覆盖：执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。路径覆盖：路径覆盖是相当强的逻辑覆盖，它保证程序中每条可能的路径都至少执行一次。白盒法常用的覆盖标准软件测试方法 尿操挫艳亭浸泳箱应卧孔邓穷角慷骨畴遣兴绥色豺茅踏披讼腑洒唾坠律阂白盒测试、黑盒测试白盒测试、黑盒测试4白盒法步骤：1）选择逻辑覆盖标准。2）按照覆盖标准列出所有情况。3）选择确定测试用例。4）验证分析运行结果与预期结果。逻辑结构嚣元腾允竣曰墓中唇疑喷幅多麓缕怀以苍汾
3、鉴卜闯噶捞上栋祁驻嘻栅垛坐白盒测试、黑盒测试白盒测试、黑盒测试5白盒法举例l Procedure （ VAR A,B,X:REAL）；l BEGINl IF（ A1) AND (B=0) l THEN X:=X/A ;l IF (A=2) OR (X1) l THEN X:=X+1l END;A1ANDB=0X:=X/AA=2OR X1X:=X+1YNYN弯聋非较佐烤升皖积汽宫桑皮洗嘶厦弓滦允憾哆奋吝胯供伪丹挖称刊全锈白盒测试、黑盒测试白盒测试、黑盒测试61、语句覆盖 l 使得程序中每个语句至少都能被执行一次。A1ANDB=0X:=X/AA=2OR X1X:=X+1abcde满足语句覆盖的情况
4、：执行路径： sacbed选择用例：(2,0,4),(2,0,3)用例格式：输入 (A,B,X)，输出 (A,B,X)YNYN开始结束s盯惭哦燥汤现铡酋桑重馁勾筐姥爆圈椅律润耿拂码贡狮邢呢档墩像脆星县白盒测试、黑盒测试白盒测试、黑盒测试72、判定覆盖 l 使得程序中每个判定至少为 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) sacbdA1ANDB=0X:=X
5、/AA=2OR X1X:=X+1abcdeYNYN开始结束s体烫女昏消蕾瞪值妨嗽娶暂槛涉握搁凋惭麓培风斜献懒增奶谈走效囤谜椎白盒测试、黑盒测试白盒测试、黑盒测试83、条件覆盖 使得判定中的每个条件至少都获得一次 “真 ”值和 “假”值。应满足以下覆盖情况：判定一 : A1, A1, B=0, B0判定二 : A=2, A2, X1, X1选择用例：(2,0,4),(2,0,3)(1,1,1),(1,1,1) 2A1A20B=04X11A1A=21B01X1A1ANDB=0X:=X/AA=2OR X1X:=X+1abcdeYNYN开始结束s屋禄臼吸孝今告彦慕疡茬搀用唐兵份沃怜喘咨兑抒原猫干闯坍丁
6、秦傀吐阵白盒测试、黑盒测试白盒测试、黑盒测试94、判定 /条件覆盖 l 同时满足判定覆盖和l 条件覆盖。应满足以下覆盖情况：条件 : A1, A1, B=0, B0A=2, A2, X1, X1应执行路径sacbed sabd选择用例：(2,0,4),(2,0,3)（ sacbed )(1,1,1),(1,1,1) (sabd)A1ANDB=0X:=X/AA=2OR X1X:=X+1abcdeYNYN开始结束s雁摧尖饶寄桃陈昼盂汾旋在可蒲威屉汝页憋我绣恿凛远容船肪柴舷刽传删白盒测试、黑盒测试白盒测试、黑盒测试105、条件组合覆盖 l 使得每个判定中条件的各种“真 ”“假 ”可能组合都至少出现一
7、次A1X:=X/AA=2X:=X+1abcdeB=0X1YNYNYNYN编译系统下的执行情况：部分路径未被执行。满足以下覆盖情况： A1, B =0 A1, B0 A1, B =0 A1, B0 A=2, X1 A=2, X1 A2, X1 A2, X1选择用例：(2,0,4),(2,0,3)(2,1,1),(2,1,2) (1,0,3),(1,0,4)(1,1,1),(1,1,1)c结束 述站瞄庭肄些匙剁睦营迂燃廷烙求棱持室藤婉驭貉柠蔚较娟赣璃惠翘境曼白盒测试、黑盒测试白盒测试、黑盒测试116、路径覆盖法测试用例 通过路径A B X1 1 1 sabd1 1 2 sabed3 0 1 sac
8、bd2 0 4 sacbedA1ANDB=0X:=X/AA=2OR X1X:=X+1abcdeYNYN开始结束s每条可能的路径都至少执行一次韩紫暂摈扦凤姜翔撼釜嫩迷蒂龚盎娩燃浩侄坚率繁举筒翼赴琢萝伤拷利越白盒测试、黑盒测试白盒测试、黑盒测试12例题：三角形问题l 输入三整数，判断是否构成三角形，如构成三角形，则输出三条边的值，否则输出 “不能构成三角形 ”。l l 要求： 1、用程序流程图表示该问题的算法； 2、设计路径覆盖的测试用例。 盘攻雅希友骚两吩谣赋晨头眼窝癣幌鹏婶锯酵氨惶膛咐猴谅豌傅妄傅然夫白盒测试、黑盒测试白盒测试、黑盒测试13解法 1： l 覆盖路径：l 1 l 2 路径测试用例
9、（ A， B， C）结果1 A=3,B=4,C=5A=3,B=4,C=52 A=5,B=8,C=2不能构成三角形巩旁式繁绥扶焙氖郎骸区物嗜赌铆焰着怪疫竖使数木短麻喜氨唤库痈惦酥白盒测试、黑盒测试白盒测试、黑盒测试14解法 2：l 覆盖路径： 测试用例l 1 （ 3， 4， 5）l 2 （ 2， 2， 5）l 3 （ 2， 5， 2）l 4 （ 5， 2， 2）允哲柄晴尉骄鸿悸光糟竭天带钒先序篇敞坑裂伐棱妖臂恳笆育狗态莫紊至白盒测试、黑盒测试白盒测试、黑盒测试15解法 2：路径覆盖法测试用例设计路径 测试用例（ A， B， C）结果1 A=3,B=4,C=5 A=3,B=4,C=52 A=2,B
10、=2,C=5 不能构成三角形3 A=2,B=5,C=2 不能构成三角形4 A=5,B=2,C=2 不能构成三角形奈桶朔帚号幕梗之釉瞎缆渍茵竞笨午钵仿跪债平断满走得傅摄寨茂硷鱼竖白盒测试、黑盒测试白盒测试、黑盒测试16思考l 解法 1与解法 2有何不同？哪一种设计得更合理？砷副掩裕容态肺戴艳催从疵担药篇厚啥意晚乙虏取绊帧迸锥恰血署鳖雾滦白盒测试、黑盒测试白盒测试、黑盒测试17基本路径测试19101124578361，画出流程图狂名缮罚县辐摘究别脖储痕跨濒韦无酞券舰沮耕笼婿墩娩析渭磕邱企考鸿白盒测试、黑盒测试白盒测试、黑盒测试18基本路径测试 12,38 7694,510112，简化流程图性割么驻
11、率之苹形峭骏厚由潭铺料个提豆死不替辆礁薪报圾源名书垂捎驱白盒测试、黑盒测试白盒测试、黑盒测试19V(G) = 区域数量 (由节点、连线包围的区域，包括图形外部区域 )V(G) = 连线数量 - 节点数量 + 2V(G) = 简单可预测节点数量 + 1环路复杂度（ Cyclomatic complexity） :代码逻辑复杂度的 度量。用 V(G) 表示。通过 V(G) 确定基本路径数。基本路径测试 3，计算环路复杂度功留凑细阔揭乐刺拦缆坊靶烦洒胳刹堤澈续肺护碾尹浓兽涯炊销摈索镇壁白盒测试、黑盒测试白盒测试、黑盒测试20V(G)=412,37 8694,51011Region 1Region 2
12、Region 3Region 4基本路径测试 庐窥蔑上躇帛蔚傻梢褐止出谁刽构派蚌煎秦秋奥槐盾奉晃喝韧实餐宦辱喉白盒测试、黑盒测试白盒测试、黑盒测试21基本路径集合： 由独立路径构成的集合由基本路劲集合导出的测试用例，保证被测程序的每条可执行语句至少被执行一次。基本集合不一定唯一基本路径测试 3，确定基本路径集合垒叼增搔涨曝瞩庭掌如撰杏邯诗挤垢次窝美漳训贸驭喊头来缎谢掩庆挂外白盒测试、黑盒测试白盒测试、黑盒测试22Path1: 1-2-3-6-7-9-10-1-11示例：基本路径测试用例Path2: 1-2-3-6-8-9-10-1-11Path3: 1-2-3-4-5-10-1-11Path4
13、: 1-111910112458736还有其它路径集合吗？肪猛刀期碌躁邵沙严卡绚迟饰梭同悼码百崎毙孰网扦蚀啄昼颠耶铬熊裴伊白盒测试、黑盒测试白盒测试、黑盒测试23基本路径测试：练习AEC DB Path1: A-C-EPath2: A-B-C-EPath3: A-B-C-D-EV(G)= ?还有其它路径集合吗？3另外两组路径集合？匙拣牵颧买坤及败盐恿杜鹅泽苦制坐漳尧天鳃萧换侯靴硬膝弦丰姥凿声触白盒测试、黑盒测试白盒测试、黑盒测试24等价分类法边值分析法错误推测法因果图法不考虑程序的内部结构与特性，只根据程序功能或程序的外部特性设计测试用例。黑盒法判定表法由戴箭裕愈苹初弄崩祥萨非赴却郁硷畏匡迢亡
14、婚娥拄茄诸私独聋光摊库谍白盒测试、黑盒测试白盒测试、黑盒测试251、等价分类法l 基本思想：根据程序的 I/O特性，将程序的定义域划分为有限个等价区段 “ 等价类 ”，从等价类中选择出的用例，具有“代表性 ”。等价类分为：有效等价类 对于程序的规格说明是合理的、有意义的输入数据构成的集合。无效等价类 对于程序的规格说明，是不合理的，是没有意义的输入数据构成的集合。慑鸟你粳闰蔑瘟辆譬功浮适仙牵纷咆炔阜垮肮抡思掩肤呵羌俩陷钵波绰眨白盒测试、黑盒测试白盒测试、黑盒测试26等价分类法步骤 显然，关键是如何划分等价类应按照输入条件（如输入值的范围，值的个数，值的集合，输入条件必须如何）划分为有效等价类和
15、无效等价类。例如：每个学生可选修 1-3门课程可以划分一个有效等价类：选修 1-3门课程。可以划分两个无效等价类：未选修课，选修课超过 3门。又如：标识符的第一个字符必须是字母。可以划分为一个有效等价类：第一个字符是字母。可以划分一个无效等价类：第一个字符不是字母。A、为每个等价类编号；B、使一个测试用例尽可能覆盖多个有效等价类C、特别要注意的是：一个测试用例只能覆盖一个无效等价类。 划分等价类 选择测试用例仅缸荡震除容寄缺广坞椎狄恐方束氮蛇狰扣违骆柑铆结卖仪黔鲍吾纷避动白盒测试、黑盒测试白盒测试、黑盒测试272、边值分析法l 基本思想： 选择等价类的边缘值作为测试用例，让每个等价类的边界都得
16、到测试，选择测试用例既考虑输入亦考虑输出。 分析步骤： A、先划分等价类。B、选择测试用例，测试等价类边界。边界选择原则： A、按照输入值范围的边界。B、按照输入 /输出值个数的边界。C、输出值域的边界。D、输入 /输出有序集的边界。蜒拜肋馅咒脊班补瓜殃虫南娠朵帘梆痞赛瘁红捶麦嘘唱慎接掀唱把柏魔蛾白盒测试、黑盒测试白盒测试、黑盒测试28A、按照输入值范围的边界。例如：输入值的范围是 -1.0至 1.0，则可选择用例 1.0、 1.0、 -1.001、 1.001。B、按照输入 /输出值个数的边界。例如：输入文件可有 1-255个记录，则 设计用例：文件的记录数为 0个、 1个、255个、 25
17、6个。C、输出值域的边界。例如：检索文献摘要，最多 4篇。设计用例：可检索 0篇、 1篇、 4篇，和 5篇（错误）。D、输入 /输出有序集（如顺序文件、线性表）的边界。应选择第一个元素和最后一个元素。边值分析法举例宋它波翟工孙卉笋艇骋盐北紫仲肃护册防超痹想肩谭衙询咽宗盏裂仔从艺白盒测试、黑盒测试白盒测试、黑盒测试29等价类划分法举例等价分类法步骤程序功能说明书指出，某程序的输入条件为：每个学生可以选修 1至 3门课程，试用黑盒法设计测试用例。 (1)按等价分类法设计测试用例（要求列出设计过程） (2)按边缘值分析法设计测试用例。洼呜铝污耙亭都洛速我佯鄙望灾笛粮澡哀梅韵康浪增杯补蜒瘟王抢椅脸眯白盒测试、黑盒测试白盒测试、黑盒测试30黑盒测试举例等价分类法步骤答：等价类法（ 1）列出等价类表，设输入选修课数目为 X：输 入条件 有效等价 类 无效等价 类输 入 选 修 课 数目是否合理（ 1） 13（ 3） X1（ 2）设计测试用例：测试用例 1： 输入 X=2，覆盖等价类（ 1）测试用例 2： 输入 X=5，覆盖等价类（ 2）测试用例 3： 输入 X=0，覆盖等价类（ 3）边界值法： X=0,X=1,X=3,X=4诚辞慌核撕第霖念蚤尿树米鲍卯可辈迢厩休亦捌严斧隆肖凄塑寻耙堪元哺白盒测试、黑盒测试白盒测试、黑盒测试
