简单的Java代码测试样例设计

简单的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的逻辑有关的代码，并且最终返回-1。从表面结果上来看，函数并没有失效，所以这不是一个failure，但是在函数执行的过程中发生了设计意图以外的偏差，即没有检测数组在下标为0处的元素，这是一个error。

函数二

public static int lastZero(int[] x) {
    for (int i = 0; i < x.length; i++) {
        if (x[i] == 0) {
            return i;
        }
    }
    return -1;
}

指出错误

此函数返回的是第一个值为0的元素的下标，而非最后一个。

不触发fault

答案：

x: null

和第一问一样的道理，当把数组x设置为null时，函数直接会抛出空指针异常而不会继续执行，也就无从谈起触发后面的fault了。

触发fault，但不导致error

答案：

x: [int(0)]

由于函数本身含有fault，所以当x为非空指针且为正确int数组时，含有fault函数得以运行，但是由于在i等于0的时候，函数就得出了结果并且返回下标值0，恰巧这个下标值0正好是正确结果，最重要的是在这个测试样例里第一个元素就是最后一个元素。所以虽然含有fault的函数被执行了，但是并没有发生什么逻辑上的状态错误。所以可以说这个测试样例触发fault，但不导致error。

导致error，但不导致failure

答案：

x: [int(1), int(2), int(3)]

首先由于x是有效的int数组，所以含有fault的函数被执行了。同时由于这个数组含有的元素多余一个，所以不会出现像上面那样由于第一个元素就是最后一个元素而恰巧避开error的情况，在这个例子里，函数的中间状态完全错误（搜索方向反了），所以导致了error。但是由于在x里并没有0，所以函数返回了-1，其表面结果是正确的，故说此测试样例不导致failure。

（完）