搜索
白盒测试实验一1．为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。voidDoWork(intx,inty,intz){intk=0,j=0;if((x3)&&(z10)){k=x*y-1;j=sqrt(k);//语句块1}if((x==4)||(y5)){j=x*y+10;}//语句块2j=j%3;//语句块3}aYcNbeYNdx3andz10x=4ory5j=j%3j=x*y+10k=x*y-1j=sqrt(k)k=0j=0由这个流程图可以看出，该程序模块有4条不同的路径：P1:(a-c-e)P2:(a-c-d)P3:(a-b-e)P4:(a-b-d)将里面的判定条件和过程记录如下：判定条件M＝{x3andz10}判定条件N={x=4ory5}1、语句覆盖测试用例输入输出判定M的取值判定N的取值覆盖路径2、判定覆盖p1和p4可以作为测试用例，其中p1作为取真的路径，p4作为取反的路径。测试用例输入输出判定M的取值判定N的取值覆盖路径也可以让测试用例测试路径P2和P3。相应的两组输入数据如下：测试用例输入输出判定M的取值判定N的取值覆盖路径3、条件覆盖对于M：x3取真时T1，取假时F1;z10取真时T2，取假时F2；对于N：x=4取真时T3，取假时F3;y5取真时T4，取假时F4。条件：x3,z10,x=4,y5条件：x=3,z=10,x!=4,y=5根据条件覆盖的基本思路，和这8个条件取值，组合测试用例如表所示:测试用例输入输出取值条件具体取值条件覆盖路径4、判定/条件覆盖测试用例输入输出取值条件具体取值条件覆盖路径5、组合覆盖条件组合1)x3,z102)x3,z=103)x=3,z104)x=3,z=105)x=4,y56)x=4,y=57)x!=4,y58)x!=4,y=5测试用例输入输出覆盖条件取值覆盖条件组合覆盖路径6、路径覆盖测试用例输入输出覆盖条件取值覆盖条件组合覆盖路径