实验4白盒测试二new

1、南京信息工程大学 实验（实习）报告实验四 白盒测试（二）一、 实验目的理解白盒测试的基本方法，掌握语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖等代码覆盖测试策略，并能运用相应的方法设计测试用例二、 实验时间2学时三、 实验准备主流PC 机一套，要求安装windows 操作系统和Office 工具及相应编程软件；四、 实验内容1题目一：使用逻辑覆盖测试方法测试以下程序段void DoWork (int x,int y,int z)1 int k=0, j=0;2 if ( (x>3)&&(z<10) )3 4 k=x*y-1;5 j=sqrt(

2、k);6 7 if(x=4)|(y>5)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,

3、 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 < array mid )9 high = mid -1;10 else11 low = mid + 112 13 return -1;14 （1） 画出此程序段的控制流图；（2）试计算此程序段的McCabe 复杂性；（3）用独立路径覆盖法给出测试路径；并为各测试路径设计测试用例。五、实验步骤程序流程图k

4、 = x*y - 1j = sqrt(k)(x = = 4) or ( y > 5)j = x*y + 10j = j % 3Endstartk=0，j=0( x>3)and ( z<10 )truetruefalsefalse语句覆盖用例编号xyz条件取值执行路径1465(x>3)&&(z<10) (x=4)|(y>5)1 2 3 4 5 6 7 8 9 102265y>51 2 7 9 103538(x>3)&&(z<10)1 2 3 4 5 6 7 9 1044610 (x=4)|(y>5)1 2

5、 7 8 9 10判定覆盖用例编号xyz条件取值执行路径1465(x>3)&&(z<10) (x=4)|(y>5)1 2 3 4 5 6 7 8 9 10 2538(x>3)&&(z<10)1 2 3 4 5 6 7 9 1034610(x=4)|(y>5)1 2 7 8 9 10条件覆盖用例编号xyz条件取值执行路径1538(x>3)&&(z<10)1 2 3 4 5 6 7 9 1024610(x=4)|(y>5)1 2 7 8 9 10判定/条件覆盖 x > 3 ； z <

6、10 ； x = = 4 ； y > 5 ；用例编号xyz覆盖条件执行路径1465真真真真1 2 3 4 5 6 7 8 9 1022413假假假假1 2 3 6 7 9 10条件组合覆盖 x > 3 ； z < 10 ； x = = 4 ； y > 5 ；令 x > 3 为真时，记作T1 ；为假时，即x 3 , 记作F1 ；z< 10 为真时，记作T2 ；为假时，即z 10, 记作F2 ；x = = 4 为真时，记作T3 ；为假时，即x 4 , 记作F3 ；y > 5 为真时，记作T4 ；为假时，即y 5 , 记作F4 。编号具体条件取值覆盖条件判定

7、取值1x > 3 ， z < 10T1，T2第一个判定：取真分支2x > 3 ， z 10T1，F2第一个判定：取假分支3x 3 ，z < 10F1，T2第一个判定：取假分支4x 3 ，z 10F1，F2第一个判定：取假分支5x = = 4 ，y > 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

8、,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;