LastZero

/**
 * If x == null throw NullPointerException, else return the index of the
 * last 0 in x. Return -1 if 0 does not occur in x.
 */
public static int lastZero(int[] x)
{
	for (int i = 0; i < x.length; i++) {
		if (x[i] == 0) {
			return i;
		}
	}
	return -1;
}

1. Identify the fault for the test case {Input: x = [0, 1, 0]; Expected output = 2}.
2. If possible, identify a test case that does not execute the fault.
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. Hint: Don’t forget about the program counter.
5. For the given test case, identify the first error state. Be sure to describe the complete state.
6. Fix the fault and verify that the given test now produces the expected output.