功能測試中故障模型的建立(2)

　　由此可知，流程型故障模型很可能是由一串連續的故障所組成的。因此在軟件功能測試中，我們可以通過判斷軟件流程是否正確執行、功能分支是否覆蓋全面、循環操作是否正常結束等方法來檢測軟件流程的正確性。

　　6. 資源型故障模型

　　資源型故障模型是在文件系統超載、系統介質忙或不可用、介質損壞等情況下，運行被測程序進行測試。此類故障模型的建立通常需要輔助測試工具進行環境的模擬。當磁盤負荷到達一定程度或可用物理資源十分有限時，系統進程十分容易進入“死鎖”狀態或出現不可恢復的錯誤。產生死鎖的根本原因在于系統提供的資源個數少于并發進程所要求的該類資源數。顯然，由于資源有限，不可能為所有要求資源的進程無限制地提供資源。但是，可以采用適當的方法，以達到消除或規避“死鎖”的目的。因此判斷軟件在何種操作下會導致“死鎖”以及軟件對介質損壞的糾錯能力也就變得極其重要。所以我們應該建立這種故障模型，并給出相應的測試用例。

　　7. 結論

　　故障模型的建立對于故障定位、故障分析以及生成相應的測試用例是非常有用的。本文在前人研究的基礎上，僅僅從軟件功能層面出發，提出了五種常用的故障模型。而在實際的軟件測試工程中，由于軟件故障原因的多樣性，還有很多故障模型有待于進一步細化和探討。

原文轉自：http://www.uml.org.cn/Test/201107042.asp