实验4白盒测试(二)new

南京信息工程大学 实验（实习）报告实验四 白盒测试（二）一、 实验目的理解白盒测试的基本方法，掌握语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖等代码覆盖测试策略，并能运用相应的方法设计测试用例二、 实验时间2学时三、 实验准备主流PC 机一套，要求安装windows 操作系统和Office 工具及相应编程软件；四、 实验内容1题目一：使用逻辑覆盖测试方法测试以下程序段void DoWork (int x,int y,int z)1 int k=0, j=0;2 if ( (x3)&(z5)8 j=x*y+10;9 j=j%3;10 说明：程序段中每行开头的数字（110）是对每条语句的编号。（1）画出程序的控制流图（用题中给出的语句编号表示）。（2）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。2题目二：请按要求对下面的java 代码进行测试。代码的功能是：用折半查找法在元素呈升序排列的数组中查找值为key 的元素。public int binSearch ( int array, int key ) 1 int mid, low, high;2 low = 0;3 high = array.length-1;4 while ( low = high ) 5 mid = (low +high)/2;6 if ( key = = array mid )7 return mid;8 else if ( key 5)j = x*y + 10j = j % 3Endstartk=0，j=0( x3)and ( z3)&(z5)1 2 3 4 5 6 7 8 9 102265y51 2 7 9 103538(x3)&(z5)1 2 7 8 9 10判定覆盖用例编号xyz条件取值执行路径1465(x3)&(z5)1 2 3 4 5 6 7 8 9 10 2538(x3)&(z5)1 2 7 8 9 10条件覆盖用例编号xyz条件取值执行路径1538(x3)&(z5)1 2 7 8 9 10判定/条件覆盖 x 3 ； z 5 ；用例编号xyz覆盖条件执行路径1465真真真真1 2 3 4 5 6 7 8 9 1022413假假假假1 2 3 6 7 9 10条件组合覆盖 x 3 ； z 5 ；令 x 3 为真时，记作T1 ；为假时，即x 3 , 记作F1 ；z 5 为真时，记作T4 ；为假时，即y 5 , 记作F4 。编号具体条件取值覆盖条件判定取值1x 3 ， z 3 ， z 10T1，F2第一个判定：取假分支3x 3 ，z 5T3，T4第二个判定：取真分支6x = = 4 ，y 5T3，F4第二个判定：取真分支7x 4 ， y 5F3，T4第二个判定：取真分支8x 4 ， y 5F3，F4第二个判定：取假分支用例编号xyz覆盖条件执行路径1465T1,T2,T3,T41 2 3 4 5 6 7 8 9 1024410T1,F2,T3,F41 2 3 6 7 8 9 103368F1,T2,F3,T41 2 3 6 7 8 9 1042410F1,F2,F3,F41 2 3 6 7 9 10路径覆盖用例编号xyz执行路径14651 2 3 4 5 6 7 8 9 1022651 2 7 9 1035381 2 3 4 5 6 7 9 10446101 2 7 8 9 10第二题程序流程图控制流图1234567891011121314R3R4R1R2 （2）计算此程序段的McCabe 复杂性若设P为控制流图中的判定节点数，则有V(G) = P + 1如图中有3个判定节点，因此其环路复杂性为V(G)=P+1=3+1=4，所以该程序的环路复杂性为4。（3）独立路径： PATH1：1-2-3-4-13-14PATH2：1-2-3-4-5-6-7-12-4-13-14PATH3：1-2-3-4-5-6-8-9-12-4-13-14PATH4：1-2-3-4-5-6-8-10-11-12-4-13-14用例编号路径输入数据预期输出1PATH1array0=; key = 1-12PATH2array3=2,8,6; key = 813PATH3array3=2,4,6; key = 204PAT