白盒测试实验

白盒测试实验
软件测试实验报告题目一：用逻辑覆盖测试方法测试以下程序段voidDoWork(intx,inty,intz){1intk=0,j=0;2if((x＞3)&&(z5))8j=x*y+10;9j=j%3;10}说明：程序段中每行开头的数字（1~10）是对每条语句的编号。
（1）画出程序的控制流图（用题中给出的语句编号表示）。
（2）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。
题目二、折半查找请按要求对下面的java代码进行测试。
代码的功能是：用折半查找法在元素呈升序陈列的数组中查找值为key的元素。
publicintbinSearch(intarray[],intkey){intmid,low,high;low=0;high=array.length-1;while(low＜=high){mid=(lowhigh)/2;if(key==array[mid])returnmid;elseif(key＜array[mid])high=mid-1;elselow=mid1}return-1;}（1）试计算此程序段的McCabe复杂性；
（2）用基本路径覆盖法给出测试路径；
（3）为各测试路径设计测试用例。