简介：白盒测试试验是一种软件测试方法，侧重于程序内部结构和逻辑，通过检查代码实现细节来验证其正确性和完整性。该过程包括审查代码、设计测试用例并执行测试以识别潜在错误或漏洞。
软件测试实验报告题目一：使用逻辑覆盖测试方法对以下程序段进行测试：
```cpp
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(k);
6 }
7 if((x==4)||(y>5))
8 j=x*y+10;
9 j=j%3;
10 }
```
说明：程序段中每行开头的数字（1~10）是对每条语句的编号。
（1）画出该程序的控制流图，使用题中给出的语句编号表示。
（2）分别以以下方法设计测试用例，并写出每个测试用例执行的具体路径：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖。
题目二：
对下面Java代码进行折半查找法测试，该功能是在一个升序排列的数组中寻找值为key的元素：
```java
public int binSearch (int array[], int key) {
int mid, low, high;
low = 0;
high = array.length-1;
while(low <= high){
mid = (low + high)/2;
if(key == array[mid])
return mid;
else if(key < array[mid])
high = mid - 1;
else
low = mid + 1;
}
return -1;
}
```
（1）计算此程序段的McCabe复杂性。
（2）使用基本路径覆盖方法给出测试路径。
（3）为各条测试路径设计具体的测试用例。
5星
