使用逻辑覆盖测试方法测试以下程序段：
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） 分别以语句覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）
