白盒测试用例练习.docxVIP

白盒测试用例练习 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 k=0j=0k=x*y-1j=sqrt(k)x3 and k=0 j=0 k=x*y-1 j=sqrt(k) x3 and z10 a Y c N b x=4 x=4 or y5 e Y j=x*y+10 j=x*y+10 N d j=j%3 j=j%3 由这个流程图可以看出，该程序模块有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