实验六: 白盒测试——独立路径测试

【实验环境】

Windows 10 操作系统， C，C++，C#、Java或Python语言开发环境（IDE）。

【实验类型】 

设计型

【实验目的】 

1. 熟悉掌握白盒测试的原理
2. 掌握白盒测试过程，了解独立路径白盒测试方法并能根据问题设计测试样例。

【实验内容】 

1. 独立路径测试用例设计和执行

编写对有序表进行折半查找的算法，计算圈复杂度，设计测试用例并执行独立路径测试。

【算法描述】

输入: 要查找的目标值 `target`

输出：目标值在有序表中的索引

1. 输入要查找的目标值 `target`，调用二分查找函数

2. 初始化左边界 `left` 为0，右边界 `right` 为有序表的最后一个元素的索引。

3. 进入循环，条件为左边界小于等于右边界。

4. 在循环中，计算中间元素的索引 `mid`，通过 `(left + right) / 2` 或 `left + (right - left) / 2`。

5. 如果中间元素等于目标值，返回中间索引 `mid`。