白盒测试用例练习题.doc.docVIP

白盒测试实验一 1．为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。 void DoWork (int x,int y,int z) { int k=0,j=0; if ( (x3)(z10) ) { k=x*y-1; j=sqrt(k); //语句块1 } if ( (x==4)||(y5) ) { j=x*y+10; } //语句块2 j=j%3; //语句块3 } a Y c N b e Y N d 由这个流程图可以看出，该程序模块有4条不同的路径： P1:(a-c-e) P2:(a-c-d) P3:(a-b-e) P4:(a-b-d) 将里面的判定条件和过程记录如下： 判定条件M＝{x3 and z10} 判定条件N={x=4 or y5} 语句覆盖 测试用例输入 输出 判定M的取值 判定N的取值 覆盖路径 2、判定覆盖 p1和p4可以作为测试用例，其中p1作为取真的路径，p4作为取反的路径。 测试用例输入 输出 判定M的取值 判定N的取值 覆盖路径 也可以让测试用例测试路径P2和P3。相应的两组输入数据如下： 测试用例输入 输出 判定M的取值 判定N的取值 覆盖路径 3、条件覆盖 对于M：x3取真时T1，取假时F1; z10取真时T2，取假时F2； 对于N：x=4取真时T3，取假时F3; y5取真时T4，取假时F4。 条件：x3,z10,x=4,y5 条件：x=3,z=10,x!=4,y=5 根据条件覆盖的基本思路，和这8个条件取值，组合测试用例如表所示: 测试用例输入 输出 取值条件 具体取值条件 覆盖路径 4、判定/条件覆盖 测试用例输入 输出 取值条件 具体取值条件 覆盖路径 5、组合覆盖 条件组合 1)x3,z10 2)x3,z=10 3) x=3,z10 4)x=3,z=10 5)x=4,y5 6)x=4,y=5 7)x!=4,y5 8)x!=4,y=5 测试用例输入 输出 覆盖条件取值 覆盖条件组合 覆盖路径 6、路径覆盖 测试用例输入 输出 覆盖条件取值 覆盖条件组合 覆盖路径 k=0 j=0 k=x*y-1 j=sqrt(k) x3 and z10 x=4 or y5 j=x*y+10 j=j%3