域測試

域測試方法基於對輸入空間的分析。自然，任何一個被測程式都有一個輸入空間。域測試主要針對域錯誤進行的程式測試，測試的理想結果就是檢驗輸入空間中的每一個輸入元素是否都產生正確的結果。域測試正是在分析輸入域的基礎上，選擇適當的測試點以後進行測試的。

程式中的錯誤可分為域錯誤、計算機型錯誤、丟失路徑錯誤。

由於程式中每條路徑對應著一個輸入域，是程式的一個子計算。如果程式的控制流有錯誤，則對某一特定的輸入可能執行的是一條錯誤路徑，這種錯誤被稱為路徑錯誤或域錯誤。

而域測試主要是針對域錯誤進行的測試。

域測試的基本步驟如下：

（1）：根據各個分支謂詞，給出子域的分割圖；

（2）：對每個子域的邊界，採用ON-OFF-ON原則選取測試點。

（3）：在子域內選取一些測試點。

（4）：針對這些測試點進行測試。