.设计测试下列函数的测试方案：4 函数Search(somearray,size,value)的功能是，在一个整数数组somearray 中搜索一个值为value 的整数，如果数组中有这个数，则函数值等于该数的下标，否则函数值等于-1。数组的长度由参数 size指定。假定数组第一个元素的下标为1。用C语言实现此函数，并且由此设计白盒测试方案。

以下是针对函数Search的白盒测试方案：

1. 边界值测试
- 测试用例1：size = 0，value = 5，期望输出-1
- 测试用例2：size = 1，value = 5，somearray = {5}，期望输出1
- 测试用例3：size = 10，value = 5，somearray = {1,2,3,4,5,6,7,8,9,10}，期望输出5
- 测试用例4：size = 10，value = 1，somearray = {1,2,3,4,5,6,7,8,9,10}，期望输出1
- 测试用例5：size = 10，value = 10，somearray = {1,2,3,4,5,6,7,8,9,10}，期望输出10
- 测试用例6：size = 10，value = 11，somearray = {1,2,3,4,5,6,7,8,9,10}，期望输出-1

2. 分支测试
- 测试用例1：size = 5，value = 3，somearray = {1,3,5,7,9}，期望输出2
- 测试用例2：size = 5，value = 4，somearray = {1,3,5,7,9}，期望输出-1
- 测试用例3：size = 5，value = 1，somearray = {1,3,5,7,9}，期望输出1
- 测试用例4：size = 5，value = 9，somearray = {1,3,5,7,9}，期望输出5

3. 等价类测试
- 测试用例1：size = 5，value = 3，somearray = {1,2,3,4,5}，期望输出2
- 测试用例2：size = 5，value = 7，somearray = {1,2,3,4,5}，期望输出-1
- 测试用例3：size = 0，value = 3，期望输出-1

4. 边界条件测试
- 测试用例1：size = 1000000，value = 999999，somearray = {1,2,3,...,999999}，期望输出999999
- 测试用例2：size = 1000000，value = 1000000，somearray = {1,2,3,...,999999}，期望输出-1
- 测试用例3：size = 1000000，value = 1，somearray = {1,2,3,...,999999}，期望输出1

C语言实现：

int Search(int somearray[], int size, int value) {
    for (int i = 0; i < size; i++) {
        if (somearray[i] == value) {
            return i+1;
        }
    }
    return -1;
}