软件测试作业2：对faulty,error和failure的理解和应用

本次课程要求学生理解fauly，error,failure之间的区别和联系，以下是对两段不同程序的问题分析与解答。

题目要求如下：

1、Identify the fault

2、If possible, identify a test case that does not execute the fault. (Reachability)

3、If possible, identify a test case that executes the fault, but does not result in an error state.

4、If possible identify a test case that results in an error, but not a failure.

程序片段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

分析：该程序用后序遍历方法查找数组x中最后一个值为y的索引。从最后一个数值开始到0号索引结束，很显然，for循环没有考虑到第一个数值。

解答：1、将for循环中的 i>0 改为 i>=0；

2、当数组为空时，程序跳过for循环，不执行错误代码段；

3、数组x={1，2，3}，y=2时，执行了错误程序段，但没有产生错误；

4、数组x={1，2，3}，y=1时，导致了error。

程序片段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

分析：该段代码查找数组x中最后一个0的索引值，但从第一个数开始查找，结果返回了第一个值为0的索引值。

1、错误为for循环条件，应改为for{int i = x.length-1; i>=0; i--}；

2、当数组中只且只有一个0时，不执行错误；

3、数组x={1，0，1}，执行错误代码，但不产生error

4、数组x={1，0，0}，产生error，但并没有failure.