白盒测试实验报告-(3)

河南师范大学软件学院软件学院综合性、设计性实验报告专业：软件技术年级/班级：2014级2015—2016学年第一学期课程名称软件测试指导教师本组成员学号姓名毛阿龙实验地点计科楼215实验时间2015年12月26日项目名称白盒测试实验类型综合性/设计性一、实验目的1.通过实验熟悉测试用例设计2.通过实验熟悉白盒测试二、实验仪器或设备计科楼计算机三、总体设计（设计原理、设计方案及流程等）程序流程图：x3andz10x==4ory5k=x*y-1j=sqrt(k)TFTacebj=j%3j=x*y+10Fd河南师范大学软件学院二：程序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);System.out.println(j=+j);}publicstaticvoidmain(String[]args){dowork(4,6,5);}}四、实验步骤（包括主要步骤、代码分析等）代码分析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);System.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,T4河南师范大学软件学院8.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五、结果分析与总结逻辑覆盖法：语句覆盖：测试用例能使被测程序中的每条执行语句至少执行一次判断覆盖：测试用例能使被测程序中的每个判断至少取得一次“真”和一次“假”。又称分支覆盖。条件覆盖：测试用例能使被测程序中的每个判断的每个条件至少取得一次“真”和一次“假”。如果判断中只有一个条件，则条件覆盖便满足判断覆盖，否则，不一定。判断/条件覆盖：测试用例既满足判断覆盖，又满足条件覆盖。条件组合覆盖：测试用例使每个判定中所有可能的条件取值组合至少执行一次。教师签名：年月日