使用逻辑覆盖测试方法测试以下程序段

1．题目一：使用逻辑覆盖测试方法测试以下程序段

void DoWork (int x,int y,int z)
{
1   int k=0,  j=0;
2   if ( (x>3)&&(z<10))
3   {
4       k=x*y-1;
5       j=sqrt(k);
6    }
7   if((x==4)||(y>5))
8   j=x*y+10;
9   j=j%3;
10 }

说明：程序段中每行开头的数字（1~10）是对每条语句的编号。
（1）画出程序的控制流图（用题中给出的语句编号表示）。
（2）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）

1、画出程序的控制流图（用题中给出的语句编号表示）

2、分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。

![在这里插入图片描述](https://i

语句覆盖
序号	x	y	z	覆盖语句	执行路径
1	4	6	9	1、2、3、4、5、6、7、8、9、10	1->2->3->4->5->6->7->8->9->10
判定覆盖
序号	x	y	z	覆盖判定	执行路径
1	4	6	9	TT	1->2->3->4->5->6->7->8->9->10
2	3	5	9	FF	1->2->3->7->9->10
条件覆盖
序号	x	y	z	条件覆盖	执行路径
1	4	6	9	TT TT	1->2->3->4->5->6->7->8->9->10
2	3	5	10	FF FF	1->2->3->7->9->10
判定条件覆盖
序号	x	y	z	条件覆盖	执行路径
1	4	6	9	TT TT	1->2->3->4->5->6->7->8->9->10
2	3	5	10	FF FF	1->2->3->7->9->10
组合覆盖
序号	x	y	z	条件覆盖	执行路径
1	4	6	9	TT TT	1->2->3->4->5->6->7->8->9->10
2	4	6	10	TF FF	1->2->3->7->9->10
3	3	6	9	FT FT	1->2->3->7->9->10
4	3	6	10	FF FT	1->2->3->7->9->10
5	4	5	9	TT TF	1->2->3->4->5->6->7->8->9->10
6	5	6	9	TT FT	1->2->3->4->5->6->7->8->9->10
7	5	5	9	TT FF	1->2->3->4->5->6->7->9->10