软件工程白盒测试.docVIP

以下的程序段，请分别写出语句覆盖、判定覆盖、条件覆盖、判定—条件覆盖、条件组合覆盖的测试用例？（红色部分代码可能会改变） void DoWork(int x,int y,int z) { int k=0,j=0; if((x3)(z10)) { k=x*y-1; //语句块1 j=sqrt(k); } if((x==4)||(y5)) { j=x*y+10; //语句块2 } j=j%3; //语句块3 } 解： （1）语句覆盖（3分）测试用例输入：??????{?x=4、y=5、z=5}程序执行的路径是：??????a-b-d这个测试用例把三个执行语句块中的语句都覆盖了。（2）判定覆盖（3分）测试用例的输入为：{?x=4、y=5、z=5}#9;#9;????????????????{?x=2、y=5、z=5}?程序执行的路径：a-b-d??????????????a-c-e???（3）条件覆盖（3分）测试用例?通过路径?条件取值覆盖分支x=2、y=6、z=5?acd-T1、T2、-T3、T4?cdx=4、y=5、z=15?acdT1、-T2T3、-T4?cd（4）判定-条件覆盖（3分）测试用例?通过路径?条件取值覆盖分支x=4、y=6、z=5?abd