(完整版)软件测试与质量保证实验一

1、实验一：白盒测试一、实验目的1、通过简单程序白盒测试，熟悉测试过程，对软件测试行程初步了解，并养成良好的测试习惯。2、熟练掌握如何运用基本路径测试方法进行测试用例设计，进行逻辑覆盖率分析。二、实验原理白盒测试原理：分析程序的内部逻辑结构，选择适当的覆盖标准，设计测试用例，对主要路径进行尽可能多的测试。白盒测试测试用例一般采用逻辑覆盖法进行设计。语句覆盖：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。判定覆盖：执行足够的测试用例，使得程序中每个判定至少都获得一次“真”值和“假”值。条件覆盖：执行足够的测试用例，使得所有判定中的每个条件至少都获得一次“真”值和“假”值。判定/条件覆盖：

2、执行足够的测试用例，使得判定中每个条件取到各种可能的值，并使每个判定取到各种可能的结果。条件组合覆盖：执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。路径覆盖：路径覆盖是相当强的逻辑覆盖，它保证程序中每条可能的路径都至少执行一次。完全覆盖：条件组合和路径覆盖结合的测试方法。三、实验要求1用java编写一个类，完成下面函数的功能，并编写另外一个类，调用该方法：voidDoWork(intx,inty,intz)intk=0,j=0;if(x3)&(z5)j=x*y+10;/语句块2j=j%3;/语句块32、画出上面函数的流程图。3、分别使用语句覆盖、判定覆盖(也称为分支覆盖)、条

3、件覆盖、判定-条件覆盖、条件组合测试、路径测试设计测试用例(注意测试用例的格式)。4、执行每个测试用例，执行完毕后填写测试用例。四、实验步骤：1、测试程序源代码publicclassTeststaticvoiddowork(intx,inty,intz)intk=0,j=0;if(x3)&(z5)j=x*y+10;j=j%3;System.out.println(k=+k);System.out.println(j=+j);publicstaticvoidmain(Stringargs)dowork(4,6,5);2、测试程序流程图a图1-1白盒测试流程图3、测试用例设计语句覆盖输入值：x=4

4、,y=6,z=5；期望结果：k=23,j=1。判定覆盖表1-1序号输入值（x，y，z）(x3)and(z5)执行路径期望结果（k,j）14,6，7真真ace23，122,5，10假假abd0，03.条件覆盖x3为真，记为T1x3为假，记为F1z10为真，记为T2z5为真，记为T4y5为假，记为F4表1-2序号输入值（x,y，z）执行路径覆盖条件覆盖分支期望结果（k,j）13，5，5abeF1，T2，F3，T4be0，024,4，11abeT1，F2，T3，F4be0，24.判定条件覆盖表1-3序号输入值（x，y,z）执行路径覆盖条件覆盖分支期望结果（k,j）14,4,5aceT1,T2,T3,

5、T4ce15，022,6,11abdF1,F2,F3,F4bd1,0条件组合覆盖X3Zv10,记为T1,T2X3Z=10,记为T1,F2X=10记为F1,F25.X=4,Y5记为T3,T46X=4,Yv=5记为T3,F47Xv4,Y5记为F3,T48Xv4,Yv=5记为F3,F4表1-4序号输入值（x,y,z）执行路径覆盖条件覆盖组合号期望结果（k,j）14,6,7aceT1,T2,T3,T41,523,124,5,11abeT1,F2,T3,F42,60,033,5,10abdF1,F2,F3,F44,80,043,6,7abeF1,T2,F3,T43,70,16.路径覆盖表1-5序号输入值（x,y,z）执行路径覆盖条件期望结果（k,j）14,6,7aceT1,T2,T3,T423,123,5,10abdF1,F2,F3,