以下程序段,用(x,y,z;k,j)表示输入、输出结果,满足判定(分支)覆盖法的测试用例的是():void DoWork (int x,int y,int z){int k=0,j=0;if ( (x>3)&&(z<10) ){k=x*y-1;j=sqrt(k); //判定(分支)块1 平方根}if ( (x==4)||(y>5) ){j=x*y+10;}//判定(分支)块2j=j%3; //判定(分支)块3 取余运算}
A. (4,8,11;31,0)和(2,5,9;0,0)
B. (4,8,5;31,0)和(2,5,11;0,0)
C. (5,4,5;19,1)和(4,6,11;0,1)
D. (5,4,11;19,1)和(4,6,5;0,1)
设定(x,y,s)表示法,为以下程序段,设计足够的测试用例满足判定覆盖的选项包括( )。if (x>8 && y>5){if(x>16||y>10)s1;}else{if (x>0||y>0)s2;else s3;
A. (17,11,s1)
B. (7,4,s2)
C. (-7,11,s3)
D. (7,4,s3)