阅读以下程序：
给出该算法的时间复杂度。
简要说明语句覆盖，分支覆盖，条件覆盖之前的关系。
给出该代码的测试用例（单元测试代码），说明你设计测试用例的依据。
int binarySearch(int[] arr, int res) {
If(arr.length<1){
return -1;
}
int low = 0;
int high = arr.length-1;
while(low <= high) {
int middle = (low + high)/2;
if(res == arr[middle]) {
return middle;
}else if(res <arr[middle]) {
high = middle - 1;
}else {
low = middle + 1;
}
}
return -1;
} 
