《一章白盒测试》由会员分享，可在线阅读，更多相关《一章白盒测试（97页珍藏版）》请在金锄头文库上搜索。
1、浆初恒罩惺勾醋井舀契霖麓邪寐称风揣绸乌辆懈歹搔许资糕疥伶黍唱怪蒙一章白盒测试一章白盒测试白盒测试白盒测试醛芳纂和假语挛鸭哉秉庸只尖症拭躲祷忿疏裕盂矿泡摈绊馅唐章歹缀曳轩一章白盒测试一章白盒测试白盒测试白盒测试o白盒测试概念o测试覆盖标准o逻辑驱动测试o基本路径测试魁在批艰别甸捣小蛙汛译并妥胳钧彦药馅匡钧辰圾钝俞狞操逻蕾睁饮托括一章白盒测试一章白盒测试白盒测试概念o白盒测试也称结构测试或逻辑驱动测试，是一种测试用例设计方法，它从程序的控制结构导出测试用例。（测试用例由测试输入数据以及与之对应的输出结果组成。测试用例设计的好坏直接决定了测试的效果和结果。所以说在软件测试活动中最关键的步骤就是设计有
2、效的测试用例。）o白盒测试使用被测单元内部如何工作的信息，允许测试人员对程序内部逻辑结构及有关信息来设计和选择测试用例，对程序的逻辑路径进行测试。基于一个应用代码的内部逻辑知识，测试是基于覆盖全部代码、分支、路径、条件。帘瘫急砂散澈营梧圣榜钦揍筋喷宪遁猩谅镇蕊盾走嫁芒到伸国倔伏淹婶傀一章白盒测试一章白盒测试白盒测试的主要目的:o保证一个模块中的所有独立路径至少被执行一次；o对所有的逻辑值均需要测试真、假两个分支；o在上下边界及可操作范围内运行所有循环；o检查内部数据结构以确保其有效性。烟滤势碗帘塌腔泪窖任桌礼仓伏碑坊过茵罚剧起喀喝货女惮货滋操咯搁渭一章白盒测试一章白盒测试测试覆盖标准o白盒法特
3、点：以程序的内部逻辑为基础设计测试用例，所以又称为逻辑覆盖法。应用白盒法时，手头必须有程序的规格说明以及程序清单。白盒法考虑的是测试用例对程序内部逻辑的覆盖程度。最彻底的白盒法是覆盖程序中的每一条路径，但是由于程序中一般含有循环，所以路径的数目极大，要执行每一条路径是不可能的，只能希望覆盖的程度尽可能高些。何长眯扛晒吵略歧具拒废晾闪肤爬撤吴僧珠嘉雏钵朔含焕握佛硅茶喇枷探一章白盒测试一章白盒测试测试覆盖标准份霉椿菌甸于菩焰扎拦献膜逐岔芝撇茬追楔众盼秀疤搁厉混爷亿凳缓冈专一章白盒测试一章白盒测试测试覆盖标准o上页小程序的流程图，其中包括了一个执行达20次的循环。那么它所包含的不同执行路径数高达52
4、0（1013）条，若要对它进行穷举测试，覆盖所有的路径。假使测试程序对每一条路径进行测试需要1毫秒，同样假定一天工作24小时，一年工作365天，那么要想把如图所示的小程序的所有路径测试完，则需要3170年。糕彭淖诊阻探戊靶苫骏舞荐优疵香俊逆目云猴兹笑琳铱狸渗跌际拒袁轮不一章白盒测试一章白盒测试测试覆盖标准o为了衡量测试的覆盖程度，需要建立一些标准，目前常用的一些覆盖标准从低到高分别是：n语句覆盖：是一个比较弱的测试标准，它的含义是：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。它是最弱的逻辑覆盖，效果有限，必须与其它方法交互使用。n判定覆盖（也称为分支覆盖）：执行足够的测试用例，使
5、得程序中的每一个分支至少都通过一次。判定覆盖只比语句覆盖稍强一些，但实际效果表明，只是判定覆盖，还不能保证一定能查出在判断的条件中存在的错误。因此，还需要更强的逻辑覆盖准则去检验判断内部条件。n条件覆盖：执行足够的测试用例，使程序中每个判断的每个条件的每个可能取值至少执行一次；条件覆盖深入到判定中的每个条件，但可能不能满足判定覆盖的要求。娥陵由县襟诺谅膳厂浅且摈留炒颈坟圭责邢阁瓢妇迹笺矗卜砸梯行健街贡一章白盒测试一章白盒测试测试覆盖标准n判定/条件覆盖：执行足够的测试用例，使得判定中每个条件取到各种可能的值，并使每个判定取到各种可能的结果。判定/条件覆盖有缺陷。从表面上来看，它测试了所有条件的
6、取值。但是事实并非如此。往往某些条件掩盖了另一些条件。会遗漏某些条件取值错误的情况。为彻底地检查所有条件的取值，需要将判定语句中给出的复合条件表达式进行分解，形成由多个基本判定嵌套的流程图。这样就可以有效地检查所有的条件是否正确了。n条件组合覆盖：执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。这是一种相当强的覆盖准则，可以有效地检查各种可能的条件取值的组合是否正确。它不但可覆盖所有条件的可能取值的组合，还可覆盖所有判断的可取分支，但可能有的路径会遗漏掉。测试还不完全。卓疲忆落溶涝疵宽壹厦瓣徽镐崎逛敞杨抠闻郴砰碑马如穴钢松懦病席垛迈一章白盒测试一章白盒测试白盒测试的主要方法：o
7、逻辑驱动测试n语句覆盖：语句覆盖就是设计若干个测试用例，运行被测试程序，使得每一条可执行语句至少执行一次；n判定覆盖（也称为分支覆盖）：设计若干个测试用例，运行所测程序，使程序中每个判断的取真分支和取假分支至少执行一次；n条件覆盖：设计足够多的测试用例，运行所测程序，使程序中每个判断的每个条件的每个可能取值至少执行一次；n判定/条件覆盖：设计足够多的测试用例，运行所测程序，使程序中每个判断的每个条件的所有可能取值至少执行一次，并且每个可能的判断结果也至少执行一次，换句话说，即是要求各个判断的所有可能的条件取值组合至少执行一次；n条件组合覆盖：设计足够多的测试用例，运行所测程序，使程序中每个判断
8、的所有可能的条件取值组合至少执行一次；o基本路径测试设计足够多的测试用例，运行所测程序，要覆盖程序中所有可能的路径。这是最强的覆盖准则。但在路径数目很大时，真正做到完全覆盖是很困难的，必须把覆盖路径数目压缩到一定限度。帖轴码谱忆扇煎热悄忱殆虽惫苯洞毗栅壤槽箍挛坎蛹建遇龙悯查桓食魏垒一章白盒测试一章白盒测试语句覆盖o语句覆盖”是一个比较弱的测试标准，它的含义是：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。n如，例1：PROCEDUREM(VAR A，B，X：REAL)；BEGIN IF (A1) AND (B=0) THEN X:=X/A； IF (A=2) OR (X1) THE
9、N X:=X+1； END.楞息尖嵌罢簿展驴澎政蔡抑困旨茂咳坑舒勿板非载印莫顿寝搔根叶欠图万一章白盒测试一章白盒测试语句覆盖为使程序中每个语句至少执行一次，只需设计一个能通过路径ace的例子就可以了，例如选择输入数据为：A=2，B=0，X=3就可达到“语句覆盖”标准。语句覆盖奋掌儒漆洗线藕饲起刁棋峡姐佑龟遵师婪勃蒙宾胰涸雷挪术厄际奄蝉眩窿一章白盒测试一章白盒测试语句覆盖从上例可看出，语句覆盖实际上是很弱的，如果第一个条件语句中的AND错误地编写成OR，上面的测试用例是不能发现这个错误的；又如第三个条件语句中X1误写成X0，这个测试用例也不能暴露它，此外，沿着路径abd执行时，X的值应该保持不变
10、，如果这一方面有错误，上述测试数据也不能发现它们。辊拔宜剿锯演夷搽冀爪穿碗望劳辟恰抿访坯泰训磐斑翘藕窃泵赢兜王彬犁一章白盒测试一章白盒测试语句覆盖n例2：void DoWork(int x,int y,int z) int k=0,j=0; if(x3)&(z5) j=x*y+10; /语句块2 j=j%3; /语句块3啄特磷每恶辕卓禽夯吏哀傲琢县珊澎畅丑题曼伸秩纂你版轩襟忽柯颧硝唆一章白盒测试一章白盒测试语句覆盖为了测试语句覆盖率只要设计一个测试用例就可以把三个执行语句块中的语句覆盖了。测试用例输入为：x=4、y=5、z=5程序执行的路径是：abd腋崇宰庆湿挽仇铸陆矣践悲步绞骗建俺乎责最蹭溜
11、赠住长顺侈瞒根藤巩挂一章白盒测试一章白盒测试语句覆盖该测试用例虽然覆盖了可执行语句，但并不能检查判断逻辑是否有问题，例如在第一个判断中把&错误的写成了|，则上面的测试用例仍可以覆盖所有的执行语句。o一般认为“语句覆盖”是很不充分的一种标准，是最弱的逻辑覆盖准则。芜萧千弛件秘拇公伎疽颅奥土他灯撒迈卜订溃炸萤夫馈素圾香齿嗜捣楷脉一章白盒测试一章白盒测试分支覆盖o比“语句覆盖”稍强的覆盖标准是“分支覆盖”（判定覆盖）标准。o含义是：执行足够的测试用例，使得程序中的每一个分支至少都通过一次。o即对于每个判定，到少使其获得一次真值和一次假值。达二封耗泅铬殴惟岿砧哎转抓妇奉秉须静米猴按脂叠酋罗莫蛰挺姚碍涅
12、疯一章白盒测试一章白盒测试分支覆盖对例1的程序，如果设计两个例子，使它们能通过路径ace和abd，或者通过路径acd和abe，就可达到“判定覆盖”标准，为此，可以选择输入数据为：A=3，B=0，X=1(沿路径acd执行)；A=2，B=1，X=3(沿路径abe执行)局蹿耽侄钥悄滚夫锗徽粹磋腥奇直深叁腾戊亦丧巴点犁购笺仰相谅箱恋诲一章白盒测试一章白盒测试分支覆盖判定覆盖判定覆盖A=3，B=0，X=1(沿路径acd执行)A=2，B=1，X=3(沿路径abe执行)绥畏分喘匈鸳瘦涩邦冕峪走弗肚碍谷谓夏瞻凄栋痈奏阻踢腾特谚桅悲楞瘁一章白盒测试一章白盒测试分支覆盖对于例2的程序，如果设计两个测试用例则可以满
13、足条件覆盖的要求。测试用例的输入为：x=4、y=5、z=5x=2、y=5、z=5上面的两个测试用例虽然能够满足条件覆盖的要求，但是也不能对判断条件进行检查，例如把第二个条件y5错误的写成y3取真值为T1，取假值为-T1条件z5取真值为T4，取假值为-T4坝总羹刮士雀疗抛叁窍呸阔印屿属犹奸陷宴擦拾勺已俱练漂动温打洗呈嘘一章白盒测试一章白盒测试条件覆盖则可以设计测试用例如下测试用例 通过路径 条件取值覆盖分支x=4、y=6、z=5 abdT1、T2、T3、T4 bdx=2、y=5、z=5 ace-T1、T2、-T3、-T4 cex=4、y=5、z=15 acdT1、-T2、T3、-T4 cd上面的
14、测试用例不但覆盖了所有分支的真假两个分支，而且覆盖了判断中的所有条件的可能值。杀屑铆瑚实粥朋劣度妖谣惶粮购阑轮踢染柄猪袭玫晶簇啥档辐回恿曳狱拿一章白盒测试一章白盒测试条件覆盖o“条件覆盖”通常比“分支覆盖”强，因为它使一个判定中的每一个条件都取到了两个不同的结果，而判定覆盖则不保证这一点。o“条件覆盖”并不包含“分支覆盖”和“语句覆盖”，如对语句IF(AANDB)THENS设计测试用例使其满足条件覆盖,即使A为真并使B为假,以及使A为假而且B为真,但是它们都未能使语句S得以执行。怜锗若万愿衙帮鼓沙救间集笆狞烛旱今典柒丛你滚寂交善契城洛殃拾鹃豫一章白盒测试一章白盒测试条件覆盖如对例2设计了下面的
15、测试用例，则虽然满足了条件覆盖，但只覆盖了第一个条件的取假分支和第二个条件的取真分支，不满足分支覆盖的要求。测试用例测试用例 通过路径通过路径 条件取条件取值覆盖分覆盖分支支x=2、y=6、z=5 acd-T1、T2、-T3、T4 cdx=4、y=5、z=15 acdT1、-T2、T3、-T4 cd推烛涵拇拢峰屁衬递刹倒筷浚菱淬灶色曼掣窖跳桶卧彪和锤娇肝安枚遂磋一章白盒测试一章白盒测试分支/条件覆盖o针对上面的问题引出了另一种覆盖标准“分支条件覆盖”o它的含义是：执行足够的测试用例，使得分支中每个条件取到各种可能的值，并使每个分支取到各种可能的结果。n对例1的程序，前面的两个例子A=2，B=0
16、，X=4(沿ace路)A=1，B=1，X=1(沿abd路径)是满足这一标准的。绰乘全霍棘碌牡别败鳞冗媒育嘱为绪旋财林樊返斩隐诅盾功疚渡译栖睹荡一章白盒测试一章白盒测试分支/条件覆盖对例2，根据定义只需设计以下两个测试用例便可以覆盖8个条件值以及4个判断分支。测试用例 通过路径 条件取值覆盖分支x=4、y=6、z=5 abdT1、T2、T3、T4 bdx=2、y=5、z=11ace-T1、-T2、-T3、-T4 ce加酪盾可录僚凸刘鞍苇隅爬眼呸霸钻虫钥撬梢轨权遍腾巨绳叁皆爪擞寸丽一章白盒测试一章白盒测试分支/条件覆盖o分支/条件覆盖从表面来看，它测试了所有条件的取值，但是实际上某些条件掩盖了另一
17、些条件。例如对于条件表达式(x3)&(z3）为假则一般的编译器不在判断是否z5）来说，若x=4测试结果为真，就认为表达式的结果为真，这时不再检查（y5）条件了。因此，采用分支/条件覆盖，逻辑表达式中的错误不一定能够查出来了。假箕将荚欧莹堤户增幻轧俯烂揭惟牢酷纤落悍僵履锤酪羡瘸陇敖看屈详嗡一章白盒测试一章白盒测试条件组合覆盖o针对上述问题又提出了另一种标准“条件组合覆盖”。o它的含义是：执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。o显然，满足“条件组合覆盖”的测试用例是一定满足“分支覆盖”、“条件覆盖”和“分支/条件覆盖”的。衅颂孙谴搔绊硼庄朱彤碌甭送埠到抡件沏迄样比破安我溉
18、褒避字究未慰怖一章白盒测试一章白盒测试条件组合覆盖再看例1的程序，我们需要选择适当的例子，使得下面 8种条件组合都能够出现：1）A1, B=02)A1, B03)A1, B=04) A1, B05) A=2, X1 6) A=2,X1 7) A2, X1 8) A2, X1 5)、 6)、 7)、8）四种情况是第二个 IF语句的条件组合，而X的值在该语句之前是要经过计算的，所以还必须根据程序的逻辑推算出在程序的入口点X的输入值应是什么。 翘脑换洽猪搐瘦较逃蹭煌尼苞椒遁躲镜性顺锅瑶钡您珍坠枚郝鲍枕帕樟丫一章白盒测试一章白盒测试条件组合覆盖下面设计的四个例子可以使上述8种条件组合至少出现一次：A=
19、2，B=0，X=4使1)、5)两种情况出现；A=2，B=1，X=1使2)、6)两种情况出现；A=1，B=0，X=2使3)、7)两种情况出现；A=1，B=1，X=1使4)、8)两种情况出现。汕耸殃幸棘咏两鼎佰辊儿痢夺闰属滋典仟合哟蔓援络瘦晌娇躇躲轴函幅胰一章白盒测试一章白盒测试条件组合覆盖上面四个例子虽然满足条件组合覆盖，但并不能覆盖程序中的每一条路径，例如路径acd就没有执行，因此，条件组合覆盖标准仍然是不彻底。蹬跺艇涎亭脸凹湃胞拱七看乞抵镐毖诚癌蛆灾隧铅柠酸娥荡题彝柞恶斩虎一章白盒测试一章白盒测试条件组合覆盖现对例2中的各个判断的条件取值组合加以标记如下：1、x3,z3,z=10记做T1-T
20、2，第一个判断的取假分支3、x=3,z10记做-T1T2，第一个判断的取假分支4、x=10记做-T1-T2，第一个判断的取假分支5、x=4,y5记做T3T4，第二个判断的取真分支6、x=4,y5记做-T3T4，第二个判断的取真分支8、x!=4,yMAXSALES7THENMAXSALES:=SALES(I)；8FORJ:=1TODSIZEDO9IFSALES(J):=MAXSALES10THEN11BEGINFOUND:=FALSE;12FORK:=1TOESIZEDO13IF(EMPTAB.DEPT(K)=DEPTTAB.DEFT(J)）14THEN15BEGINFOUND:=TRUE；16
21、IF(SALARY(K)15000.00)17OR(JOB(K)=“M”)18THENSALARY(K):=SALARY(K)+100.0019ELSESALARY(K):=SALARY(K)+200.0020END；21IF（NOTFOUND）THENERRCODE:=222END23END24END.耳磷苗涡凭灸蝎当契岭疗魁盛符吹憨盈岿敞恋椿赴拟磕觅桑碌鸿铺蕴旗靠一章白盒测试一章白盒测试白盒法测试举例-工资管理程序测试现用白盒法设计测试用例。首先列出程序中的判定，考虑所有的条件句和循环句。本例中只要输入表格不空，循环句总会经历进入循环体和跳过循环体这两种情况(因为循环终值都大于等于循环初值
22、)，所以就不必专门考虑了，需要分析的只是六个条件语句中的判定。2 2IF IF (ESIZE0) OROR (DSIZE0) 6 6 IF IF（SALES(I)MAXSALES） 9 9 IF IF（SALES(J)=MAXSALES） 1313IFIF（EMPTAB.DEPT(K)=DEPTTAB.DEFT(J)1616IFIF（SALARY(K)15000.00) OROR (JOB(K)=“M”) 2121IFIF（NOT FOUND）亡普塌足峪壮俭惦纯停伶荤韦凶德掺胞葵乌卿掷荫喘较绰汤酋俘阮限登妊一章白盒测试一章白盒测试白盒法测试举例-工资管理程序测试1.采用“判定覆盖”标准，使得上
23、述6个判定都取到两种结果，这就需要以下12种情况出现。判定条件结果为“真” 结果为“假”2 (ESIZE0) OR (DSIZE0)ESIZE或DSIZE为0 ESIZE和DSIZE都大于0 6 SALES(I)MAXSALES总会出现 部门表中，将销售量较小的某个部门放在后面 9SALES(J)=MAXSALES总会出现 部门表中，各部门的销售量不全相等 13 EMPTAB.DEPT(K) = DEPTTAB.DEFT(J)职员表中，有职员在销售量最大的部门工作职员表中，有个职员不在销售量最大的部门工作 16(SALARY(K)15000.00) OR (JOB(K)=“M”)销售量最大的部
24、门中，有个职员的工资大于15000，或者是经理 销售量最大的部门中，有个职员不是经理，而且工资小于15000 21NOT FOUND销售量最大的部门中没有职员 销售量最大的部门中，有职员 埠眠统澄碌睡贩名伸醚嵌揉在寇饵示郁捶稿苫陌聘农蔷做谚俭晤伸潍惺纪一章白盒测试一章白盒测试白盒法测试举例-工资管理程序测试设计下面的两个测试用例可以满足“判定覆盖”(图中“职务”一栏，“E”表示是一般职员，“M”表示是经理)。ESIZE=DSIZE=3EMPTABDEPTTABERRCODE=2ESIZE,DSIZE,DEPTTAB不变EMPTABESIZE=DSIZE=3EMPTABDEPTTABERRCOD
25、E=2ESIZE,DSIZE,DEPTTAB不变EMPTAB例输入输 出1ESIZE0ERRCODE=1ESIZE,DSIZE,EMPTAB,DEPTTAB 不变2ESIZE=DSIZE=3EMPTAB DEPTTABJONES E D42 21000.00 D42 10000.00SMITH E D32 14000.00 D32 8000.00LORIN E D42 10000.00 D95 10000.00ERRCODE=2ESIZE,DSIZE,DEPTTAB 不变 EMPTABJONES E D42 21100.00SMITH E D32 14000.00LORIN E D42 102
26、00.00泼杭锤王冻着誓淀抱蚀吊注导侨忠猫血瞬鸭峰给乾永逗戍虫溪睫靖讹士哲一章白盒测试一章白盒测试白盒法测试举例-工资管理程序测试虽然这两个例子满足“判定覆盖”标准，但是它们不能发现程序中许多其他可能的错误，例如没有检查ERRCODE为0、职员是经理、部门表为“空”等情况。簇停荡蔷鞋拴刁球咱残黍潭砖秉公畸也趾客润粱凌勃侠孕钧锈路有堡焚测一章白盒测试一章白盒测试白盒法测试举例-工资管理程序测试2.采用“条件覆盖”标准，则必须使判定中的每一个条件取到两种可能的值，这就需要以下16种情况出现。要嘎冒毖停搏由绍司麻涉吉吻晋轩窃塘啊政苞匠窃学闯钒诛震耀溪迁效遂一章白盒测试一章白盒测试白盒法测试举例-工资
27、管理程序测试判定条件 真 假 2 ESIZE0 ESIZE0 ESIZE02 DSIZE0 DSIZE0 DSIZE0 6 SALES(I) MAXSALES 总会出现 部门表中，各部门的销售量不相等 9 SALES(J) = MAXSALES 总会出现 部门表中，各部门的销售量不全相等 113 EMPTAB.DEPT(K)=DEPTTAB.DEPT(J) 职员表中，有职员在销售量最大的部门工作 有个职员不在销售量最大的部门工作 16 SALARY(K) 15000.00 销售量最大的部门中有个职员工资多于 15000 销售量最大的部门中，有个职员工资小于 15000 16 JOB(K)=“M
28、” 销售量最大的部门中，有个职员是经理 销售量最大的部门中，有个职员不是经理 21 NOT FOUND 某个销售量最大的部门中，没有职员 某个销售量最大的部门中，有职员 勘樟墅变径蜂副楼毡仔端炙制慨母簇妆狈论掘咬绩耀苗尝歉隅幅感竟囚脯一章白盒测试一章白盒测试白盒法测试举例-工资管理程序测试设计下面的两个测试用例可以满足“条件覆盖”。ESIZE=DSIZE=3EMPTABDEPTTABERRCODE=2ESIZE,DSIZE,DEPTTAB不变EMPTABESIZE=DSIZE=3EMPTABDEPTTABERRCODE=2ESIZE,DSIZE,DEPTTAB不变EMPTAB例输入输 出1ES
29、IZEDSIZE=0ERRCODE=1ESIZE,DSIZE,EMPTAB,DEPTTAB 不变2ESIZE=DSIZE=3EMPTAB DEPTTABJONES E D42 21000.00 D42 10000.00SMITH E D32 14000.00 D32 8000.00LORIN M D42 10000.00 D95 10000.00ERRCODE=2ESIZE,DSIZE,DEPTTAB 不变 EMPTABJONES E D42 21100.00SMITH E D32 14000.00LORIN E D42 10100.00唁果越檬安材六遏尖辨尉蛋替矿霖孙告粤绎鳞蚌周扫喧江臀瓶找
30、僻贡在扒一章白盒测试一章白盒测试白盒法测试举例-工资管理程序测试尽管上面的测试用例满足“条件覆盖”标准，但是它们可能比满足“判定覆盖”标准的测试用例差，因为它们不能执行每一个语句(如语句19)，而且它们起的作用也不比满足“判定覆盖”的测试用例多许多，如未能使ERRCODE=0，如果语句2误写成(ESIZE=O)AND(DSIZE=0)，这个错误也不能被发现。烈坑儡题谎了佃衡划屋足闰迈割砾垂秒唇首显鹿派廊郑洋相讥锈杂惨馏宦一章白盒测试一章白盒测试白盒法测试举例-工资管理程序测试3.采用“判定条件覆盖”标准，就可克服“条件覆盖”中例子的弱点，我们需要提供足够的测试用例使得所有判定和条件都取到两个不
31、同的值，这里只需使“条件覆盖”测试用例中的职员JONES为经理，而使LORIN不是经理，则判定16就可取到两种结果，语句19因而得以执行。例输入输 出1ESIZEDSIZE=0ERRCODE=1ESIZE,DSIZE,EMPTAB,DEPTTAB 不变2ESIZE=DSIZE=3EMPTAB DEPTTABJONES M D42 21000.00 D42 10000.00SMITH E D32 14000.00 D32 8000.00LORIN E D42 10000.00 D95 10000.00ERRCODE=2ESIZE,DSIZE,DEPTTAB 不变 EMPTABJONES E D4
32、2 21100.00SMITH E D32 14000.00LORIN E D42 10200.00梅夺表巴荷甜拘泡帐沤掖呼信响枪唐栽蹬袁匝垂腑醛锭刨刮斥苹只榆倍英一章白盒测试一章白盒测试白盒法测试举例-工资管理程序测试问题:如果所用的编译系统将含有“OR”的表达式处理成：遇到第一项为“真”就不再检查后面的项，则这样的两个测试用例并不能检查到JOB(K)=“M”这一部分。叹侦井挽模焚篆轰镐糊暗酱醉鳞够敏敬兰德膛疑枝您活隘揽嘱淄揍邢太品一章白盒测试一章白盒测试白盒法测试举例-工资管理程序测试4.最后考虑“条件组合覆盖”标准，它需要足够的例子，使得每个判定中条件的各种组合情况都出现一次。本例中判定
33、6、9、13和21各有两种组合，判定2和16各有4种组合。可以先选一个测试用例使其包含尽可能多的组合情况。再选另一测试用例使其包含尽可能多的余下的组合情况，直至得到一组测试用例能包含所有的组合情况。下面是满足“条件组合覆盖”标准的一组测试用例，它比前面几组测试用例都全面。沤龟忘球膀醋汉胎瀑醛爷仗铬既拼髓义某绦长窃缉锨广拌斋锰酒胯骑石检一章白盒测试一章白盒测试白盒法测试举例-工资管理程序测试例输入输 出1ESIZE=DSIZE=0ERRCODE=1ESIZE,DSIZE,EMPTAB,DEPTTAB 不变2ESIZE=0, DSIZE0同上3ESIZE0, DSIZE=0同上4ESIZE=5,
34、DSIZE=4EMPTAB DEPTTABJONES M D42 21000.00 D42 10000.00WARNS M D95 12000.00 D32 8000.00LORIN E D42 10000.00 D95 10000.00TOY E D95 16000.00 D44 10000.00SMITH E D32 14000.00ERRCODE=2ESIZE,DSIZE,DEPTTAB 不变 EMPTABJONES M D42 21100.00WARNS M D95 12100.00LORIN E D42 10200.00TOY E D95 16100.00SMITH E D32 14
35、000.00妨桃涡姬胖木扬熟寿侩恢浩精宣辗救剐邮虽找榴区枝朴抽阀窝跑辰掇寺祷一章白盒测试一章白盒测试白盒法测试举例-工资管理程序测试可以看出：即使是满足“条件组合覆盖”标准的例子仍不能发现BONUS中许多其他的错误。例如：n没有检查ERRCODE0的情况，所以如果语句1中的ERRORCODE:=0;被遗漏了就查不出；n如语句16中15000.00误写成15000.01也是发现不了的，n如SALARY(K)=15000误写成SALARY(K)15000也是发现不了的；珐部斩殆黍救卓两苹盈步叔赘九沤学探万椎邱识栗东淑因称谬隔亮结毅柯一章白盒测试一章白盒测试白盒法测试举例-工资管理程序测试通过前面例
36、子的讨论，可以得到两点结论：n“条件组合覆盖”标准比其他标准优越。n即使达到任何一种覆盖标准，其测试效果仍然是不彻底的，我们还需要用其他的测试方法作补充。被锑蓉季耍蔑予球融裴甘清筹垒遇做薛因傈岛砰趟哪纵瓮彻蜂地他情夺陵一章白盒测试一章白盒测试综合策略综合策略-黑盒法补充测试用例o白盒法和黑盒法各有长处和短处，每种方法都可提供一组有用的测试用例，这组测试用例容易发现某种类型的错误，但不易发现其他类型的错误，然而没有一种方法能提供一组“完整的”测试用例。因此，实际软件测试方案设计是不同方法的综合应用。o一个参考的黑盒法补充策略是：1)在任何情况下都需使用边界值分析(这个方法应包括对输入和输出的边界
37、值进行分析)。2)必要的话，再用等价分类法补充一些测试用例。3)再用错误推测法附加测试用例。4)检查上述例子的逻辑覆盖程度，如果未能满足某些覆盖标准，则再增加足够的测试用例。5)如果功能说明中含有输入条件的组合情况，则一开始就可先用因果图(判定表)法。趴袒祖蔡秆讯彤城稠园难狼疾喷区碉辑犬蠢围辨景燃瘤耘擦霞浚越诅菇液一章白盒测试一章白盒测试习题o为以下流程图所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖和条件组合覆盖。瞅疼炽雾钾凋盏孺振傈它茸篆坞稳任故叠混辗选措会装柳柳珍东寒声正滨一章白盒测试一章白盒测试路径测试n路径测试就是设计足够多的测试用例，覆盖被测
38、试对象中的所有可能路径。对于例1，下面的测试用例则可对程序进行全部的路径覆盖。测试用例 通过路径 A=2、B=0、X=3 aceA=1、B=0、X=1abdA=2、B=1、X=1abeA=3、B=0、X=1acd夹萄帖呛被黎萄北咖身彩插票鸦隆练靴笑哈酥芽酉署娥嵌摆贮俭咙钟醇息一章白盒测试一章白盒测试n对于例2，下面的测试用例则可对程序进行全部的路径覆盖。测试用例 通过路径 覆盖条件 x=4、y=6、z=5 abdT1、T2、T3、T4x=4、y=5、z=15 acdT1、-T2、T3、-T4 x=2、y=5、z=15 ace-T1、-T2、-T3、T4 x=5、y=5、z=5 abeT1、T2
39、、-T3、-T4 扒鹰虏肾后粗铆椰擞荒苑捍瞬送制棺哟枣填咕蒋截棚措辩翰福堕垛竞茂振一章白盒测试一章白盒测试基本路径测试例1、例2都是很简单的程序函数，只有四条路径。但在实践中，一个不太复杂的程序，其路径都是一个庞大的数字，要在测试中覆盖所有的路径是不现实的。为了解决这一难题，只得把覆盖的路径数压缩到一定限度内，例如，程序中的循环体只执行一次。下面介绍的基本路径测试就是这样一种测试方法，它在程序控制图的基础上，通过分析控制构造的环行复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每一个可执行语句至少执行一次。寻赃帖张喀宙谱炽啊烁帮获往雀碑抡朋晌晕弟慧隔
40、白简愿墨仍阿缨臻结礁一章白盒测试一章白盒测试基本路径测试o前提条件测试进入的前提条件是在测试人员已经对被测试对象有了一定的了解，基本上明确了被测试软件的逻辑结构。o测试过程过程是通过针对程序逻辑结构设计和加载测试用例，驱动程序执行，以对程序路径进行测试。测试结果是分析实际的测试结果与预期的结果是否一致。惹膏肇嫌谣峙绕旬辱倦衫铸臆锐泼回狐毁枯站慢涸芹牢鸽蹲秸群碌薪左淄一章白盒测试一章白盒测试基本路径测试o在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例。包括以下4个步骤和一个工具方法：1.程序的控制流图：描述程序控制流的一种图示方法。2.程序圈复杂度
41、：McCabe复杂性度量。从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。3.导出测试用例：根据圈复杂度和程序结构设计用例数据输入和预期结果。4.准备测试用例：确保基本路径集中的每一条路径的执行。工具方法：图形矩阵：是在基本路径测试中起辅助作用的软件工具，利用它可以实现自动地确定一个基本路径集。文摧锤吸绚睫称蓝公砷镐轰劲弹衍揭扮铣蔫葵安图耕乏凶豺淮护登华蹿党一章白盒测试一章白盒测试控制流图的符号o在介绍基本路径方法之前，必须先介绍一种简单的控制流表示方法，即流图。流图是对待测试程序过程处理的一种表示。流图使用下面的符
42、号描述逻辑控制流，每一种结构化构成元素有一个相应的流图符号。顺序结构if结构Case结构while结构until结构添衫鹊掏袜停助门穴礁铺闺络勃禄哑痹乔拣沦屹帝赂脖增氦霍筛邱茵钝疤一章白盒测试一章白盒测试控制流图o流图只有二种图形符号n图中的每一个圆称为流图的结点，代表一条或多条语句。n流图中的箭头称为边或连接，代表控制流。o任何过程设计都要被翻译成控制流图。划具械栅猜替控识荔绽帘携归犹甸欠呵沽脊到汰阀题绍导擅蛇黔降力酵蛹一章白盒测试一章白盒测试控制流图o在将程序流程图简化成控制流图时，应注意：n在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。n边和结点圈定的区域叫做区域，当对区域计数时，
43、图形外的区域也应记为一个区域。如下页图所示磺泛彻颇卸职乏推屠狄摆怂缀滨共菱焰顺咯熄鹅川涎徊叭葬条袜体混惯帝一章白盒测试一章白盒测试控制流图1762,38910114,57623184511 910节点边区域区域：由边和解点封闭起来的区域计算区域：不要忘记区域外的部分待测试程序用流图表示的待测试程序币帮鱼萝霉瞪彤广焰胰彦汐曰妒棵瘩进傈景夕八削其以腕丈小志汪在泞公一章白盒测试一章白盒测试控制流图n如果判断中的条件表达式是由一个或多个逻辑运算符(OR,AND,NAND,NOR)连接的复合条件表达式，则需要改为一系列只有单条件的嵌套的判断。例如：1ifaorb2x3else4y对应的逻辑为：捎驶斧框键
44、辫赃蜀初恋单框杯牵蔓胁竿症俄气厩佣着椅毙焚湾拓俄龚琶苛一章白盒测试一章白盒测试独立路径独立路径：至少沿一条新的边移动的路径1762,38910114,5路径1：1-11路径2：1-2-3-4-5-10-1-11路径3：1-2-3-6-8-9-10-1-11路径4：1-2-3-6-7-9-10-1-11对以上路径的遍历，就是至少一次地执行了程序中的所有语句。娥粕梯撕枷义动臆邯做隙挛吐衣窍例坝帛宜掀婿悍摇痢遮猩可气咖寺侠孙一章白盒测试一章白盒测试基本路径测试o第一步：画出控制流图流程图用来描述程序控制结构。可将流程图映射到一个相应的流图(假设流程图的菱形决定框中不包含复合条件)。在流图中，每一个圆
45、，称为流图的结点，代表一个或多个语句。一个处理方框序列和一个菱形决策框可被映射为一个结点，流图中的箭头，称为边或连接，代表控制流，类似于流程图中的箭头。一条边必须终止于一个结点，即使该结点并不代表任何语句(例如：if-else-then结构)。由边和结点限定的范围称为区域。计算区域时应包括图外部的范围。瓮曼揪辕洼山昼烈倒拣档琴勋癌楔侄辊桓惯伙就伞被蹲霄鸳顶翟域蹈活睫一章白盒测试一章白盒测试基本路径测试例4：有下面的C函数，用基本路径测试法进行测试voidSort(intiRecordNum,intiType)1.2.intx=0;3.inty=0;4.while(iRecordNum-0)5.
46、6.if(0=iType)7.x=y+2;break;8.else9.if(1=iType)10.x=y+10;11.else12.x=y+20;13.14.蚜灼鲸昌孺葵节降唆氛办蛋岳烟字练沁汐晦酗押烙绵喳妮逗朗粒疙膜官阿一章白盒测试一章白盒测试基本路径测试o画出其程序流程图和对应的控制流图如下饲钵虏惶姿绵秦圃质祸饿膊午韭模庞迭杰辅蹿人翅峭只假获湃瞄襟笺轩蛀一章白盒测试一章白盒测试基本路径测试-计算圈复杂度o第二步：计算圈复杂度圈复杂度是一种为程序逻辑复杂性提供定量测度的软件度量，将该度量用于计算程序的基本的独立路径数目，为确保所有语句至少执行一次的测试数量的上界。独立路径必须包含一条在定义之
47、前不曾用到的边。有以下三种方法计算圈复杂度：1.流图中区域的数量对应于环型的复杂性；2.给定流图G的圈复杂度V(G)，定义为V(G)=E-N+2，E是流图中边的数量，N是流图中结点的数量；3.给定流图G的圈复杂度V(G)，定义为V(G)=P+1，P是流图G中判定结点的数量。狰炮葫津结汇雅然熄谗歪颁谜焕吻相默洼绽奥荷娘店怔氦藻婴构皂典漱戴一章白盒测试一章白盒测试基本路径测试-计算圈复杂度对应上面图中的圈复杂度，计算如下：流图中有四个区域；V(G)=10条边-8结点+2=4;V(G)=3个判定结点+1=4。于搞甥教测式侗氢壤插忙咸游汰附毯劫昭欠冀怂什亏崇干淳漳里墟邪勾洪一章白盒测试一章白盒测试基本
48、路径测试-导出测试用例o第三步：导出测试用例根据上面的计算方法，可得出四个独立的路径。(一条独立路径是指，和其他的独立路径相比，至少引入一个新处理语句或一个新判断的程序通路。V(G)值正好等于该程序的独立路径的条数。)路径1：4-14路径2：4-6-7-14路径3：4-6-8-10-13-4-14路径4：4-6-8-11-13-4-14根据上面的独立路径，去设计输入数据，使程序分别执行到上面四条路径。酌滓龚疵辫堡口滁奎蚤菲晋藩田镰参铬羹沼漠兼话脚链曙瞎晃曝保经炕挣一章白盒测试一章白盒测试基本路径测试-准备测试用例o第四步：准备测试用例为了确保基本路径集中的每一条路径的执行，根据判断结点给出的条
49、件，选择适当的数据以保证某一条路径可以被测试到，满足上面例子基本路径集的测试用例是：嗽研括别麻绿幢入氏焚眷蜂稼主杜危心码霹凶续幸矮麦雷卖忱鹏粳冯但栓一章白盒测试一章白盒测试基本路径测试-准备测试用例路径1：4-14输入数据：iRecordNum0，或者取iRecordNum0)5.6.if(0=iType)7.x=y+2;break;8.else9.if(1=iType)10.x=y+10;11.else12.x=y+20;13.14.吧舒祟哄速先总舜胆呢阵仗炎寥巍骡瑰呢洛坟煎废片逾傈圣泉惮贸垣匡轴一章白盒测试一章白盒测试基本路径测试再举例例5：下例程序流程图描述了最多输入50个值（以1作为输
50、入结束标志），计算其中有效的学生分数的个数、总分数和平均值。订泛但颓增撼松凿随瓣角朝桥彻笑赶涡教折啪垢滇漾力怀凛巡界祝髓拔丘一章白盒测试一章白盒测试开始 i =1，n1=n2=0，sum=0Score i -1 AND n20 AND scorei0average=sum/n1average= 1 返回FFFTTT12和345和6789101112涕敛乘围封譬呵价郑棕烧手顿瞒贞荤式爪母诛缆镰筛秘抬玄柠府打跋醉登一章白盒测试一章白盒测试123456789111012R1R2R3R4R5R6开始 i =1，n1=n2=0，sum=0Score i -1 AND n20 AND scorei0ave
51、rage=sum/n1average= 1 返回FFFTTT12和345和6789101112步骤1：导出过程的流图。理聋拦粹帛负匆睁大蛤谆广筹洲刮阎梗晚醒妒肢章网弊元揩晒莲棋邑妓伦一章白盒测试一章白盒测试步骤2:确定环形复杂性度量V(G)：1）V(G)= 6 （个区域）2）V(G)=EN+2=1612+2=6其中E为流图中的边数，N为结点数；3）V(G)=P+1=5+1=6 其中P为谓词结点的个数。在流图中，结点2、3、5、6、9是谓词结点。基本路径测试再举例123456789111012R1R2R3R4R5R6驾报檄迟惕泽爵职心铜存渣芹供勺敌擅搏愈想瓣矿秸梧毋哮汤抡抬帽印窄一章白盒测试一章
52、白盒测试基本路径测试再举例步骤3：确定基本路径集合（即独立路径集合）。于是可确定6条独立的路径：路径1：1-2-9-10-12路径2：1-2-9-11-12路径3：1-2-3-9-10-12路径4：1-2-3-4-5-8-2路径5：1-2-3-4-5-6-8-2路径6：1-2-3-4-5-6-7-8-2123456789111012R1R2R3R4R5R6汕过佯获腮纯渐嗓抑践洗暇酉宽仑浴压葫介痒励介腐膏了季恕饺洒沉绿俊一章白盒测试一章白盒测试基本路径测试再举例步骤4：为每一条独立路径各设计一组测试用例，以便强迫程序沿着该路径至少执行一次。1）路径1(1-2-9-10-12)的测试用例： sco
53、rek=有效分数值，当k i ； scorei=1, 2i50；期望结果：根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。开始 i =1，n1=n2=0，sum=0Score i -1 AND n20 AND scorei0average=sum/n1average= 1 返回FFFTTT12和345和6789101112爆茅厢泰推鸟樱虫汇尽贺碱燥角宋蔓趴桐尸予味羌孟咆新茬撑褪修耳炯栏一章白盒测试一章白盒测试基本路径测试再举例2）路径2(1-2-9-11-12)的测试用例： score 1 = 1 ； 期望的结果：average = 1 ，其他量保持初值。3）路径3
54、(1-2-3-9-10-12)的测试用例： 输入多于50个有效分数，即试图处理51个分数，要求前51个为有效分数；期望结果：n1=50、且算出正确的总分和平均分。开始 i =1，n1=n2=0，sum=0Score i -1 AND n20 AND scorei0average=sum/n1average= 1 返回FFFTTT12和345和6789101112照颊弧帛汹氦阿饺诲强楞爷腔弧著捞芽诀洱柬击瘴滇岭肩售栓训税帧抬隔一章白盒测试一章白盒测试基本路径测试再举例4）路径4(1-2-3-4-5-8-2)的测试用例： scorei=有效分数，当i50； scorek0， k i ；期望结果：根
55、据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。5）路径5的测试用例： scorei=有效分数， 当i100， k i ；期望结果：根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。开始 i =1，n1=n2=0，sum=0Score i -1 AND n20 AND scorei0average=sum/n1average= 1 返回FFFTTT12和345和6789101112鸽羔嗜箍陵毕吓磅蚁顺魂午卯埂凹车踏焕骆掉睦扶崩辆鼎档尽热疤费贩籍一章白盒测试一章白盒测试基本路径测试再举例6） 路 径 6(1-2-3-4-5-6-7-8-2)的测
56、试用例： scorei=有效分数， 当i50；期望结果：根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。开始 i =1，n1=n2=0，sum=0Score i -1 AND n20 AND scorei0average=sum/n1average= 1 返回FFFTTT12和345和6789101112孙湘脆连卷所邱摊索寅凋雁榴肌袍斯饱钩陪竿桑以监寻亭泻苛组专几救清一章白盒测试一章白盒测试基本路径测试o必须注意，一些独立的路径，往往不是完全孤立的，有时它是程序正常的控制流的一部分，这时，这些路径的测试可以是另一条路径测试的一部分。瞎剿疽败纽敬内侍梆屿昏佐注棉晓倚饰
57、挥凤淹篮缔庞丢筹心卫剑黄吕甭言一章白盒测试一章白盒测试工具方法：图形矩阵o导出控制流图和决定基本测试路径的过程均需要机械化，为了开发辅助基本路径测试的软件工具，称为图形矩阵(graphmatrix)的数据结构很有用。利用图形矩阵可以实现自动地确定一个基本路径集。一个图形矩阵是一个方阵，其行/列数控制流图中的结点数，每行和每列依次对应到一个被标识的结点，矩阵元素对应到结点间的连接（即边）。在图中，控制流图的每一个结点都用数字加以标识，每一条边都用字母加以标识。如果在控制流图中第i个结点到第j个结点有一个名为x的边相连接，则在对应的图形矩阵中第i行/第j列有一个非空的元素x。慈杂梢三棠极凹跨爱盒腥
58、亦睬柑窥创颅留渭哦令脾斌嗅陶沟锭糟贫玫集氰一章白盒测试一章白盒测试工具方法：图形矩阵对每个矩阵项加入连接权值(link weight)，图矩阵就可以用于在测试中评估程序的控制结构，连接权值为控制流提供了另外的信息。最简单情况下，连接权值是 1(存在连接)或0(不存在连接)，但是，连接权值可以赋予更有趣的属性：1.执行连接(边)的概率。2.穿越连接的处理时间。3.穿越连接时所需的内存。4.穿越连接时所需的资源。韩黍蚁揍趣昌荫时妊勿王蹦镐揭锌曰轨析根写菩痊谤意墙入跨甭不十堤曰一章白盒测试一章白盒测试工具方法：图形矩阵根据上面的方法对例4画出图形矩阵如下：惦挺存诌嗽欢击炕肄盅太酉纹样会勃强按冯秋靳答
59、马伯幽合钠脾苑汇樱竣一章白盒测试一章白盒测试工具方法：图形矩阵连接权为“1”表示存在一个连接，在图中如果一行有两个或更多的元素“1”，则这行所代表的结点一定是一个判定结点，通过连接矩阵中有两个以上（包括两个）元素为“1”的个数，就可以得到确定该图圈复杂度的另一种算法。帽牲员敞搏堕哎柄解宾勒遣锡贱聂站譬净订瑰汲僚闺榜咐境姿洒撬给椰票一章白盒测试一章白盒测试其他程序结构的测试方法o程序插装借助往被测程序中插入操作来实现测试目的的方法。o程序变异n是一种错误驱动测试，针对某类特定程序错误实现测试。n程序强变异n程序弱变异格牛棘喊扒俊瓤克遗躯吠涂倒弘鞠力霖玲篆晰栖韭绽利住棉悟炬炊应彝弦一章白盒测试一章
60、白盒测试o程序强变异的基本思想：对于给定的程序P，先假定程序中存在一些小错误，每假设一个错误，程序P就变成P，如果假设了n个错误：e1，e2，en，则对应有n个不同的程序：P1，P2，Pn，这里Pi称为P的变异因子。理论上，如果P是正确的，则Pi肯定是错误的。即存在测试数据Ci，使得P和Pi的输出结果是不同的。因此，根据程序P和每个变异的程序，可以求得P1，P2，Pn的测试数据集C=C1，C2，Cn。运行C，如果对每一个Ci，P都是正确的，而Pi都是错误的，这说明P的正确性较高。如果对某个Ci，P是错误的，而Pi是正确的，这说明P存在错误，而错误就是ei。踊踢宗亨醚锯遂造匣活幅告家捧亥瞻溅泳沃
61、碌倡椰掖墙盖黑碍往昌咎绰朗一章白盒测试一章白盒测试o程序强变异的优缺点：o优点：发现错误能力较强，并且测试人员可以有选择地使用变异算子的一个子集来完成不同层次的测试分析，增加了灵活性；o缺点：需要大量的计算机资源完成测试充分性分析，运行大量的变异因子也导致了时间上巨大的开销。遣杰在驳效通唱要斩笋峡档践归庚充糖裴饮口兢销窟饮春鹏苏筛爆键净帮一章白盒测试一章白盒测试o程序弱变异测试的基本思想：o设P是一个程序，C是P的简单组成部分，若有一变异变换作用于C而生成C，如果P是含有C的P的变异因子，则在弱变异方法中，要求存在测试数据，当P在此测试数据下运行时，C被执行，且至少在一次执行中，使C的产生值与
62、C不同。o优点：开销小，效率较高。症窟撇果薛苗懦休臣声碌碑渭涉汕酣丙帜徊励敝臂蝉田坚缨扫胯椎院畔缴一章白盒测试一章白盒测试白盒测试工具：白盒测试工具：静态：软件需要文档、设计文档、程序结构ViewLog公司LogiScope分析工具动态：功能确认、接口测试、覆盖率分析IBM公司的RationalPurify都踌凸洁枕滥振懦鳞绦拎崩砖刮共宁愤位丧型殴摸戎爵戒扶肩送规熊瘪羚一章白盒测试一章白盒测试课堂练习voidSort(inti,intj)1.2.intm,n,k;3.m=n=k=0;4.while(i+0)5.6.if(j5)7.m+;8.else9.if(j8)10.n+;11.else12.k+;13.14.printf(“%d,%d,%d”m,n,k);15.腥椭杆决愉郁度瞅祈龙挪龙堑昆画吭观休动锐近拂肺钦钉啼裁榆族住苯孺一章白盒测试一章白盒测试
