关于控制流技术实验报告

• 实验内容：

编写一个二分查找函数:
1.画控制流图
2.分别确定3条路径,满足100%语句覆盖、完全分支覆盖、完全谓词覆盖:并推导出相应路径的路径谓词表达式；
3.求解每个谓词表达式，找出至少一条不可行路径；
4.引入至少一个缺陷，使得某个特定的满足完全分支覆盖准则的测试用例，未能检测出该缺陷。
5.使用CPPUNIT上机实践并完成上述任务。
6.根据实训，试提出一种方法，能检测出前一步引入的缺陷。

• 实验步骤：

代码如下：

public class BinarySearch {

public int BinarySearch(int sorted[],int key){

    int left = 0;

    int right = sorted.length - 1;

 

    while (left <= right) {

        //计算中间位置

        int mid = (left + right) / 2;

        if (sorted[mid] == key) {

            return mid;

        }

        else if (sorted[mid] < key) {

            left