1）了解错误类型：
Fault : A static defect in the software.【一个静态的在软件中产生的错误。】
Failure : External, incorrect behavior with respect to the requirements or other description of the expected behavior.【外部的表现，不正确的行为，相对于预期的行为的要求或其他描述。】
Error : An incorrect internal state that is the manifestation of some fault.【不正确的内部状态，是一种错误的表现形式。】
2）RIP模型：
Reachability 可达性
Infection 感染性
Propagation 传播性
3）Tarantula 公式：
4）程序用例分析：
要求：
如下给出两个程序，每个程序给出一个测试用例，并且这个用例出现错误的结果。
分别回答四个问题：
① 分辨错误（fault）。
② 如果可能的话，识别出没有执行错误的测试用例。
③ 如果可能的话，识别出执行了错误但是没有得出错误结论的测试用例。
④ 如果可能的话，识别出一个得到error却没有得到failure结论的测试用例。
程序1：
1 public int findLast (int[] x, int y) {
2 //Effects: If x==null throw NullPointerException
3 // else return the index of the last element
4 // in x that equals y.
5 // If no such element exists, return -1
6 for (int i=x.length-1; i > 0; i--)
7 {
8 if (x[i] == y) {
9 return i; }
10 }
11 return -1;
12 }
13 // test: x=[2, 3, 5]; y = 2
14 // Expected = 0
回答：
① for循环中的判断条件应该是i>=0，不应该是i>0。
② 如果x=0，则不会经过for循环，所以不会执行错误的代码位置。
③ 只要是x中和y相等大小的元素不是在x中的第一个位置，那么就会运行了代码行且不会报错。
例如：x=[1,2,3,4,5] y=3，那么就可以经过代码行，且不会有错误出现。
④ 当x中元素个数只有一个时，会出现得到error却没有failure的情况。
程序2：
1 public static int lastZero (int[] x) {
2 //Effects: if x==null throw NullPointerException
3 // else return the index of the LAST 0 in x.
4 // Return -1 if 0 does not occur in x
5 for (int i = 0; i < x.length; i++)
6 {
7 if (x[i] == 0)
8 {
9 return i;
10 }
11 }
12 return -1;
13 }
14
15 // test: x=[0, 1, 0]
16 // Expected = 2
回答：
① for (int i = 0; i < x.length; i++) 有错误，应该是 for (int i = x.length-1; i >= 0; i --)
② 所有的测试用例都会经过错误的代码行。
③ 当x中只有一个元素时，例如x=[1]，这时会运行错误的代码行却没有报错。
④ 当x的数组中有0时，会出现得到error没有failure的情况。