【软件测试】（homework2）错误分析

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：

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

回答：

① for循环中的判断条件应该是i>=0，不应该是i>0。

②  如果x=0，则不会经过for循环，所以不会执行错误的代码位置。

③ 只要是x中和y相等大小的元素不是在x中的第一个位置，那么就会运行了代码行且不会报错。

例如：x=[1,2,3,4,5] y=3，那么就可以经过代码行，且不会有错误出现。

④ 当x中元素个数只有一个时，会出现得到error却没有failure的情况。

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

回答：

① for (int i = 0; i < x.length; i++) 有错误，应该是 for (int i = x.length-1; i >= 0; i --)

② 所有的测试用例都会经过错误的代码行。

③ 当x中只有一个元素时，例如x=[1]，这时会运行错误的代码行却没有报错。

④ 当x的数组中有0时，会出现得到error没有failure的情况。