1、实验四 白盒测试一、实验目的通过本实验，熟悉白盒测试的目的、内容，并掌握白盒测试的基本方法，能够按照具体要求对指定的程序设计测试用例并进行测试。二、相关知识1、语句覆盖：设计足够的测试用例，使得程序中的每个语句至少执行一次。2、判定覆盖：设计足够的测试用例，使得在语句覆盖的基础上,程序中每个判定的取“真”分支和取“假”分支至少都执行一次。3、条个覆盖：设计足够的测试用例，在语句覆盖的基础上使得程序判定中的每个条件能获得各种可能的结果。4、判定/条件覆盖：设计足够的测试用例，使得判定中的每个条件都取到各种可能的值，而且每个判定表达式也都取到各种可能的结果。5、条件组合覆盖：设计足够的测试用例，使
2、得每个判定中的条件的各种可能组合都至少出现一次。6、基本路径测试法：基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每一条可执行语句至少执行一次。三、实验内容1、折半查找：请按要求对下面的 java 代码进行测试。代码的功能是：用折半查找法在元素呈升序排列的数组中查找值为 key 的元素。Public int binSearch(int array,int key) 1) Int mid,low,high;2) Low=0;3) High=array.length-1;4) While(l
3、ow=high)5) 6) Mid=(low+high)/2;7) If(key=arraymid)8) Return mid;9) Else if(keyarraymid)10) High=mid-1;11) Else12) Low=mid+1;13) 14) Return -1;15)（1） 完成程序流图；Low=0High=array.lenght-1Lowhigh Return -1Mid=(low+high)/2Key=arraymid Return midKeyarraymidHigh=mid-1Low=mid+1124387659（2） 试计算此程序段的 McCabe 复杂性；McCabe 复杂性=m-n+2=10-9+2=3McCabe 复杂性=3（3） 用基本路径覆盖法给出测试路径；三条路径：（1）1,2,3,4,5（2）1,2,3,4,6,7,2,3,4,5（3）1,2,3,4,6,8,2,3,4,5（4） 为各测试路径设计测试用例,用测试用例数据进行测试；（1）1,2,3（2）1,2,3,5,6（3）1,2,3,4,5,6（5） 撰写实验报告。三、实验要求提交实验报告，报告内容如下：实验目的、程序清单、测试用例、测试结果、结果分析、心得体会。
