使用逻辑覆盖测试方法测试以下程序段
1:voidDoWork(intx,inty,intz)
2:{
3:
intk=0,j=0;
4:
if((x>3)&&(z<10))
5:
{
6:
k=x*y-1;
7:
j=sqrt(k);
8:
}
9:
if((x==4)||(y>5))
10:
j=x*y+10;
11:
j=j%3;
12:}
说明:
(1)画出程序的控制流图(用题中给出的语句编号表示)。
(2)分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和
路径覆盖方法设计测试用例,并写出每个测试用例的执行路径(用题中给出的语
句编号表示)。