软件测试白盒测试

用逻辑覆盖测试方法测试以下程序段 void DoWork (int x,int y,int z){ 1 int k=0, j=0; 2 if ( (x>3)&&(z5)) 8 j=x*y+10; 9 j=j%3; 10 }