实验04.使用基本路径测试法求解“自动售货机”问题

./实验报告实验序号：04实验项目名称：使用基本路径测试法求解"自动售货机"问题学号122姓名专业、班实验地点实1-511指导教师实验时间2013/4/27一、实验目的及要求理解基本路径覆盖测试法的概念和方法；掌握使用Eclipse+JUnit+EclEmma进行基本路径覆盖测试的方法。二、实验设备〔环境及要求开发环境：Eclipsev3.7及以上版本；JUnitv4.10及以上版本；文本编辑软件。硬件要求：CPUPIV以上,256M存,1G硬盘空间。系统要求：Windows98/Me/XP/NT/2000,IE5以上。三、实验容步骤下载并安装Eclipse+JUnit+EclEmma实验环境；通读自动售货机程序,并在Eclipse环境下运行该程序；使用基本路径测试法设计测试用例,完成以下表格；编号输入值Type输入值money状态预期输出实际情况001Beer5C各资源剩余InputInformationType:Beer;Money:5Cents;Change:0CurrentBeer:5OrangeJuice:65Cents:71Dollar:6002OrangeJuice5C各资源剩余InputInformationType:OrangeJuice;Money:5Cents;Change:0CurrentBeer:6OrangeJuice:55Cents:71Dollar:6003Beer1D没有啤酒FailureInformationBeerShortage步骤：1、解压eclemma软件包,并放到eclipse安装目录的dropins文件夹下：2、重新启动eclipse软件,菜单栏会出现新的图标：3、查看Windows的Customizeperspective项中的CommandGroupsAvailabiity多了Coverage项:4、编写待测试类SaleMachine.java文件和测试JunitTestCase文件SaleMachineTest.java:5、先点击运行看看,覆盖了33.1%：6、分析：红色代表未执行、黄色代表条件没有全部执行、绿色代表执行过了：7、继续修改测试代码,直到覆盖率达到100%：共编写了12个测试用例,使待测试代码100%被覆盖,运行如图：四、实验结果与数据处理a、最终待测试代码如下：publicclassSaleMachine{ privateintcountOfBeer,countOfOrangeJuice,countOfFiveCents,countOfOneDollar;privateString[]typeOfGoods={"Beer","OrangeJuice"};privateStringresultOfDeal; publicSaleMachine<> { initial<>; } publicvoidinitial<> {countOfBeer=6;countOfOrangeJuice=6;countOfFiveCents=6;countOfOneDollar=6; } publicSaleMachine<intfiveCents,intoneDollar,intnumOfBeer,intnumOfOrange> {//便于测试的初始化函数countOfFiveCents=fiveCents;countOfOneDollar=oneDollar;countOfBeer=numOfBeer;countOfOrangeJuice=numOfOrange; } publicStringcurrentState<> { Stringstate="CurrentState\n"+"Beer:"+countOfBeer+"\n"+"OrangeJuice:"+countOfOrangeJuice+"\n"+"5Cents:"+countOfFiveCents+"\n"+"1Dollar:"+countOfOneDollar;returnstate; }publicStringoperation<Stringtype,Stringmoney> {//type是用户选择的产品,money是用户投币种类if<money.equalsIgnoreCase<"5C">>//如果用户投入5角钱 {if<type.equals<typeOfGoods[0]>>//如果用户选择啤酒 {if<countOfBeer>0>//如果还有啤酒 {countOfBeer--;countOfFiveCents++;resultOfDeal="InputInformation\n"+"Type:Beer;Money:5Cents;Change:0\n\n"+currentState<>;returnresultOfDeal; }else {resultOfDeal="FailureInformation\n"+"BeerShortage";returnresultOfDeal; } }elseif<type.equals<typeOfGoods[1]>>//用户选择橙汁 {if<countOfOrangeJuice>0> {countOfOrangeJuice--;countOfFiveCents++;resultOfDeal="InputInformation\n"+"Type:OrangeJuice;Money:5Cents;Change:0\n\n"+currentState<>;returnresultOfDeal; }else {resultOfDeal="FailureInformation\n"+"OrangeJuiceShortage";returnresultOfDeal; } }else {resultOfDeal="FailureInformation\n"+"TypeError";returnresultOfDeal; } }elseif<money.equalsIgnoreCase<"1D">>//如果用户投入一元钱 {//if<countOfFiveCents>0>//如果用户投入一元钱//{if<countOfFiveCents>0>//如果售货机有零钱 {if<type.equals<typeOfGoods[0]>&&countOfBeer>0>//如果用户选择啤酒而且还有啤酒 {countOfBeer--;countOfFiveCents--;countOfOneDollar++;resultOfDeal="InputInformation\n"+"Type:Beer;Money:1Dollar;Change:5Cents\n\n"+currentState<>;returnresultOfDeal; }elseif<type.equals<typeOfGoods[1]>&&countOfOrangeJuice>0>//如果用户选择橙汁而且还有橙汁 {countOfOrangeJuice--;countOfFiveCents--;countOfOneDollar++;resultOfDeal="InputInformation:\n"+"Type:OrangeJuice;Money:1Dollar;Change:5Cents\n\n"+currentState<>;returnresultOfDeal; }else {if<type.equals<typeOfGoods[0]>&&countOfBeer<=0> {resultOfDeal="FailureInformation\n"+"BeerShortage";returnresultOfDeal; }elseif<type.equals<typeOfGoods[1]>&&countOfOrangeJuice<=0> {resultOfDeal="FailureInformation\n"+"OrangeJuiceShortage";returnresultOfDeal; }else {resultOfDeal="FailureInformation\n"+"TypeError";returnresultOfDeal; } } }else {resultOfDeal="FailureInformation\n"+"ChangeShortage";returnresultOfDeal; } }/*else { resultOfDeal="FailureInformation\n"+"MoneyError"; returnresultOfDeal; }*/resultOfDeal="FailureInformation\n"+"MoneyError";returnresultOfDeal; }}b、最终测试代码如下：importstaticorg.junit.Assert.*;importorg.junit.After;importorg.junit.Before;importorg.junit.Test;publicclassSaleMachineTest{ SaleMachinesaleMachine=newSaleMachine<>;BeforepublicvoidsetUp<>throwsException{ }AfterpublicvoidtearDown<>throwsException{ }TestpublicvoidtestOperation1<>{ StringexpectedResult="InputInformation\n"+"Type:OrangeJuice;Money:5Cents;Change:0\n\n"+"CurrentState\n"+"Beer:6\n"+"OrangeJuice:5\n"+"5Cents:7\n"+"1Dollar:6";assertEquals<expectedResult,saleMachine.operation<"OrangeJuice","5C">>; }TestpublicvoidtestOperation2<>{ StringexpectedResult="InputInformation\n"+"Type:Beer;Money:5Cents;Change:0\n\n"+"CurrentState\n"+"Beer:5\n"+"OrangeJuice:6\n"+"5Cents:7\n"+"1Dollar:6";assertEquals<expectedResult,saleMachine.operation<"Beer","5C">>; }TestpublicvoidtestOperation3<>{ SaleMachinesaleMachine=newSaleMachine<6,6,0,6>; StringexpectedResult="FailureInformation\n"+"BeerShortage";assertEquals<expectedResult,saleMachine.operation<"Beer","5c">>; }TestpublicvoidtestOperation4<>{ SaleMachinesaleMachine=newSaleMachine<6,6,6,0>; StringexpectedResult="FailureInformation\n"+"OrangeJuiceShortage";assertEquals<expectedResult,saleMachine.operation<"OrangeJuice","5c">>; }TestpublicvoidtestOperation5<>{ SaleMachinesaleMachine=newSaleMachine<6,6,6,6>; StringexpectedResult="FailureInformation\n"+"TypeError";assertEquals<expectedResult,saleMachine.operation<"apple","5c">>; }TestpublicvoidtestOperation6<>{ StringexpectedResult="InputInformation\n"+"Type:Beer;Money:1Dollar;Change:5Cents\n\n"+"CurrentState\n"+"Beer:5\n"+"OrangeJuice:6\n"+"5Cents:5\n"+"1Dollar:7";assertEquals<expectedResult,saleMachine.operation<"Beer","1D">>; }TestpublicvoidtestOperation7<>{ StringexpectedResult="InputInformation:\n"+"Type:OrangeJuice;Money:1Dollar;Change:5Cents\n\n"+"CurrentState\n"+"Beer:6\n"+"OrangeJuice:5\n"+"5Cents:5\n"+"1Dollar:7";assertEquals<expectedResult,saleMachine.operation<"OrangeJuice","1D">>; }TestpublicvoidtestOperation8<>{ SaleMachinesaleMachine=newSaleMachine<6,6,0,6>; StringexpectedResult="FailureInformation\n"+"BeerShortage";assertEquals<expectedResult,saleMachine.operation<"Beer","1D">>; }TestpublicvoidtestOperation9<>{ SaleMachinesaleMachine=newSaleMachine<6,6,6,6>; StringexpectedResult="FailureInformation\n"+"TypeError";assertEquals<expectedResult,saleMachine.operation<"apple","1D">>;} TestpublicvoidtestOperation10<>{ SaleMachinesaleMachine=newSaleMachine<6,6,6,0>; StringexpectedResult="FailureInf