简单的Java代码测试样例设计
函数一
public static int findLast(int[] x, int y) {
for (int i = x.length - 1; i > 0; i--) {
if (x[i] == y) {
return i;
}
}
return -1;
}
指出错误
没有检测数组在下标为0处的元素,导致当最后一个匹配元素在下标为0处时函数失效,错误返回-1。
不触发fault
答案:
x: null
y: int(0)
很简单,把数组x设置为null空指针即可。这样函数直接会抛出空指针异常而不会继续执行,也就无从谈起触发后面的fault了。
触发fault,但不导致error
答案:
x: [int(0), int(1), int(2)]
y: int(1)
由于函数本身含有fault,所以当x为非空指针且为正确int数组时,含有fault函数得以运行,但是由于在i等于1的时候,函数就得出了结果并且返回下标值1,函数并没有执行与下标为0的逻辑有关的代码,所以函数在这个测试样例里的状态是全程正确的,即没有触发error。
导致error,但不导致failure
答案:
x: [int(0), int(1), int(2)]
y: int(3)
在这个测试样例里,函数执行了与下标为0的逻辑有