白盒测试实验报告

软件测试实验 二一：实验目的1.通过实验熟悉测试用例设计2.通过实验熟悉白盒测试 二：实验内容1：1用java编写一个类，完成下面函数的功能，并编写另外一个类，调用该方法：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试验内容2：1、画出上面函数的流程图。2、分别使用语句覆盖、判定覆盖（也称为分支覆盖）、条件覆盖、判定-条件覆盖、条件组合测试、路径测试设计测试用例（注意测试用例的格式）。 3、执行每个测试用例，执行完毕后填写测试用例。d Fj=x*y+10j=j%3x3 and z5 k=x*y-1j=sqrt(k)TFTaceb二：程序public class Test static void dowork(int x,int y,int z) int k=0,j=0; if(x3)&(z5) j=x*y+10; j=j%3; System.out.println(k=+k); System.out.println(j=+j);public static void main(String args)dowork(4,6,5);三：设计测试用例1. 语句覆盖x=4,y=6,z=52. 判定覆盖x，y，z(x3) and (z5)执行路径4，6，7真真ace2，5，10假假abd3. 条件覆盖x3为真，记为T1x3为假，记为-T1z10为真，记为T2z5为真，记为T4y5为假，记为-T4x，y，z执行路径覆盖条件覆盖分支3，5，5abe-T1，T2，-T3，T4be4，4，11abeT1，-T2，T3，-T4be4. 判定条件覆盖x，y，z执行路径覆盖条件覆盖分支1 4, 4, 5aceT1,T2,T3,T4ce2 2, 6,11abd-T1,-T2,-T3,-T4bd5. 条件组合覆盖1X3,Z3,Z=10,记为 T1,-T23.X=3,Z10,记为 T1，T24.X=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逻辑覆盖法：语句覆盖：测试用例能使被测程序中的每条执行语句至少执行一次判断覆盖：测试用例能使被测程序中的每个判断至少取得一次“真”和一次“假”。又称分支覆盖。条件覆盖：测试用例能使被测程序中的每个判断的每个条件至少取得一次“真”和一次“假”。如果判断中只有一个条件，则条件覆盖便满足判断覆盖，