[白盒测试]关于条件覆盖中的一个例子的疑问

testdatura

“条件覆盖”的含义是：执行足够的测试用例，使得判定中的每个条件获得各种可能的结果。
我看到的一个范例：
void  DoWork(int x,int y,int z)
{  int  k=0,j=0;
   if((x>3)&&(z<10))
   {       k=x*y-1;     //语句块1
               j=sqrt(k);
    }
   if((x= =4)||(y>5))
   {       j=x*y+10;   //语句块2
    }
   j=j%3;             //语句块3
}
按照我的理解：
对于第一个判断：
条件x>3  取真值为T1，取假值为-T1
条件z<10 取真值为T2，取假值为-T2
对于第二个判断：
条件x=4  取真值为T3，取假值为-T3
条件y>5  取真值为T4，取假值为-T4
那么，采用两个测试案例：
x=3,y=5,z=10
x=4,y=6,z=9
就可以了。

但是，看书上说，需要3个测试案例：
x=3,y=5,z=5
x=4,y=6,z=5
x=4,y=5,z=10
哪个是正确的，为什么？

testdatura

谢谢.

kpsz202

根据定义，条件覆盖测试：选取足够多的测试数据，使被测试程序中不仅每条语句至少执行一次，而且每个判定表达式中的每个条件都取到各种可能的结果。
楼主的用例也是正确的。即能使每条语句达到至少执行一次，每个条件都至少取得一次真假