測試用例設計指南（六）

3.2.3導出測試用例

   根據上面的計算方法，可得出四個獨立的路徑：

路徑1：3-13
路徑2：3-5-6-12-3-13
路徑3：3-5-7-9-12-3-13
路徑4：3-5-7-10-12-3-13

    根據上面的獨立路徑，去設計輸入數據，使程序分別執行到上面四條路徑。

3.2對等區間（等價類劃分）

對等區間劃分是一種黑盒測試方法，該方法也成為等價類劃分；

對等區間劃分是軟件測試用例設計的非常形式化的方法。它將被測軟件的輸入輸出劃分成一些區間，被測軟件對一個特定區間的任何值都是等價的。形成測試區間的數據不只是函數/過程的參數，也可以是軟件可以訪問的全局變量，系統資源等，這些變量或資源可以是以時間形式存在的數據，或以狀態形式存在的輸入輸出序列。

對等區間劃分假定位于單個區間的所有值對測試都是對等的，應該為每個區間的一個值設計一個測試用例。
考慮前面的平方根函數的測試用例區間，有2個輸入區間和2個輸出區間，表示如下：

原文轉自：http://www.kjueaiud.com