软件测试作业2
程序1
public int findLast (int[] x, int y)
{ //Effects: If x==null throw
NullPointerException
// else return the index of the last element
// in x that equals y.
// If no such element exists, return -1
for (int i=x.length-1; i > 0; i--)
{
if (x[i] == y)
{
return i;
}
}
return -1;
}
// test: x=[2, 3, 5]; y = 2
// Expected = 0
- Fault: 循环条件没设置好,i > 0会导致循环无法进行到数组第一项,应该改成 i >= 0。
- 数组x为空时,会抛出空指针错误,循环无法执行,也不会执行上面叙述的Fault。
- 只要满足数组x[0]不是与y相等的唯一的元素即可避免Error,比如测试用例 x = [1, 2, 3, 4, 5, 6], y = 2, 这样得到返回结果 Expected = 1, 结果是正确的。
- 当数组只有一个元素的时候,由于循环无法访问第一个元素(x[0]),所以循环无法进行,永远返回-1,导致Error。此时Failure产生未知, 如果这唯一的元素与y不相等,则Failure也不会产生。测试用例 x = [1], y = 2,此时 返回-1,只有Error,无Failure。
程序2
public static int lastZero (int[] x) {
// Effects: if x==null throw NullPointerException
// else return the index of the LAST 0 in x.
// Return -1 if 0 does not occur in x
for (int i = 0; i < x.length; i++)
{
if (x[i] == 0)
{
return i;
}
}
return -1;
}
// test: x=[0, 1, 0]
// Expected = 2
Fault: 循环错误,从前往后遍历,遇到第一个0便返回其下标,循环应改为for (int i=x.length-1; i >= 0; i--)。
由于该程序从前往后遍历,循环至少执行一次,所以总会执行该Fault。
循环如果无法执行便不会导致Error,即数组为空。另外若数组只有一个元素,这样不论如何遍历结果也相同,也不会引发Error。
当数组有一个以上元素且只有一个元素为0时,此时循环返回的是第一个等于0的元素的下标,导致Error。但是由于只有一个元素等于0, 所以同时这也是最后一个等于0的元素的下标,则Failure不会产生。测试用例 x =
[1,0,1],Expected=1,此时只有Error,无Failure。