軟件測試（二）之 Failure, Error & Fault

知識回顧

　　軟件測試中的錯誤主要分爲三種：Failure, Error 和 Fault。

　　下面就分析一下它們的不一樣：

　　Fault的定義：可能致使系統或功能失效的異常條件（Abnormal condition that can cause an element or an item to fail.），可譯爲「故障」。

　　

　　Error的定義：計算、觀察或測量值或條件，與真實、規定或理論上正確的值或條件之間的差別（Discrepancy between a computed, observed or measured value or condition and the true, specified, or theoretically 　　　　　　　　　　correct value or condition.），可譯爲「錯誤」。Error是可以致使系統出現Failure的系統內部狀態。

 

　　Failure的定義：當一個系統不能執行所要求的功能時，即爲Failure，可譯爲「失效」。（Termination of the ability of an element or an item to perform a function as required.）

　　

　　三者關係分析：

• 因爲人類試圖經過上述3個基本術語來覆蓋全部現實中的失效場景，因此就有「Fault -> Error -> Failure」。即，故障發生了，會致使錯誤，錯誤有可能形成系統功能的減弱或喪失。
• 當Fault是另一個組件/系統的失效時，則有Failure (Fault) -> Error -> Failure；當將Fault說成是某組件狀態Error時，則有Error (Fault) -> Error -> Failure。
• 事實上，這是一種遞歸循環的關係，遞歸關係要成立必須有一個明確的結束條件，這個條件就是要找出Root Cause，不然將沒法完成一個失效分析。    
  

 

　　舉例：

　　病人告訴醫生本身的各類症狀，身體沒有健康地工做 – Failures 

　　醫生想找出疾病的根源，如病毒 – Fault

　　病人身體狀態異常，好比血壓較高，心跳不規律等 – Errors

 

實例（HOMEWORK2）

　　 程序1：

 1 public int findLast (int[] x, int y)  2 { //Effects: If x==null throw 
 3  NullPointerException  4    // else return the index of the last element  5    // in x that equals y.  6    // If no such element exists, return -1
 7    for (int i=x.length-1; i > 0; i--)  8  {  9         if (x[i] == y) 10  { 11           return i; 12  } 13  } 14      return -1; 15 } 16 // test: x=[2, 3, 5]; y = 2 17 // Expected = 0       

 

　　Solution：

　　1.Fault: 循環條件沒設置好，i > 0會致使循環沒法進行到數組第一項，應該改爲 i >= 0。

　  2.數組x爲空時，會拋出空指針錯誤，循環沒法執行，也不會執行上面敘述的Fault。

　  3.只要知足數組x[0]不是與y相等的惟一的元素便可避免Error，好比測試用例 x = [1, 2, 3, 4, 5, 6],  y = 2, 這樣獲得返回結果 Expected = 1, 結果是正確的。

     4.當數組只有一個元素的時候，因爲循環沒法訪問第一個元素（x[0]），因此循環沒法進行，永遠返回-1，致使Error。此時Failure產生未知， 若是這惟一的元素與y不相等，則Failure也不會產生。測試用例 x = [1], y = 2，此時　　 返回-1，只有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 // test: x=[0, 1, 0] 15 // Expected = 2

 

　　Solution：

　　1.Fault: 循環錯誤，從前日後遍歷，遇到第一個0便返回其下標，循環應改成for (int i=x.length-1; i >= 0; i--)。

　  2.因爲該程序從前日後遍歷，循環至少執行一次，因此總會執行該Fault。

　  3.循環若是沒法執行便不會致使Error，即數組爲空。另外若數組只有一個元素，這樣不論如何遍歷結果也相同，也不會引起Error。

     4.當數組有一個以上元素且只有一個元素爲0時，此時循環返回的是第一個等於0的元素的下標，致使Error。可是因爲只有一個元素等於0， 因此同時這也是最後一個等於0的元素的下標，則Failure不會產生。測試用例 x =

       [1，0，1]，Expected=1，此時只有Error，無Failure。