白盒测试实验报告

软件测试实验二一：实验目的1.通过实验熟悉测试用例设计2.通过实验熟悉白盒测试二：实验内容1：1．用java编写一个类，完成下面函数的功能，并编写另外一个类，调用该方法：voidDoWork(intx,inty,intz){intk=0,j=0;if((x3)&&(z10)){k=x*y-1;//语句块1j=sqrt(k);}if((x==4)||(y5)){j=x*y+10;//语句块2}j=j%3;//语句块3}试验内容2：1、画出上面函数的流程图。2、分别使用语句覆盖、判定覆盖（也称为分支覆盖）、条件覆盖、判定-条件覆盖、条件组合测试、路径测试设计测试用例（注意测试用例的格式）。3、执行每个测试用例，执行完毕后填写测试用例。二：程序publicclassTest{staticvoiddowork(intx,inty,intz){intk=0,j=0;if((x3)&&(z10)){k=x*y-1;j=(int)Math.sqrt(k);}if((x==4)||(y5)){j=x*y+10;}j=j%3;System.out.println(k=+k);x3andz10x==4ory5k=x*y-1j=sqrt(k)TFTacebj=j%3j=x*y+10FdSystem.out.println(j=+j);}publicstaticvoidmain(String[]args){dowork(4,6,5);}}三：设计测试用例1.语句覆盖x=4,y=6,z=52.判定覆盖x，y，z(x3)and(z10)(x=4)or(y5)执行路径4，6，7真真ace2，5，10假假abd3.条件覆盖x3为真，记为T1x3为假，记为-T1z10为真，记为T2z10为假，记为-T2x=4为真，记为T3x=4为假，记为-T3y5为真，记为T4y5为假，记为-T4x，y，z执行路径覆盖条件覆盖分支3，5，5abe-T1，T2，-T3，T4be4，4，11abeT1，-T2，T3，-T4be4.判定—条件覆盖x，y，z执行路径覆盖条件覆盖分支14,4,5aceT1,T2,T3,T4ce22,6,11abd-T1,-T2,-T3,-T4bd5.条件组合覆盖1．X3,Z10,记为T1，T22．X3,Z=10,记为T1,-T23.X=3,Z10,记为–T1，T24.X=3,Z=10记为–T1,-T25.X=4,Y5记为T3,T46.X=4,Y=5记为T3,-T47.X4,Y5记为–T3,T48.X4,Y=5记为–T3,-T4X,Y,Z执行路径覆盖条件覆盖组合号4，6，7aceT1，T2，T3，T41,54，5，11abeT1，-T2，T3，-T42,63，5，10abd-T1，-T2，-T3，-T44,83，6，7abe-T1，T2，-T3，T43,76。路径覆盖序号X,Y,Z执行路径覆盖条件14，6，7aceT1，T2，T3，T423，5，10abd-T1，-T2，-T3，-T433,6,11abe-T1，-T2，-T3，T444,5,6acdT1，T2，-T3，-T4逻辑覆盖法：语句覆盖：测试用例能使被测程序中的每条执行语句至少执行一次判断覆盖：测试用例能使被测程序中的每个判断至少取得一次“真”和一次“假”。又称分支覆盖。条件覆盖：测试用例能使被测程序中的每个判断的每个条件至少取得一次“真”和一次“假”。如果判断中只有一个条件，则条件覆盖便满足判断覆盖，否则，不一定。判断/条件覆盖：测试用例既满足判断覆盖，又满足条件覆盖。条件组合覆盖：测试用例使每个判定中所有可能的条件取值组合至少执行一次。