相關(guān)文章鏈接如下：

微軟過橋問題與測試人員素養(yǎng)

等價類分法 新解

測試用例設(shè)計中的NP難題

測試驅(qū)動需求分析--需求文檔評審實例

C/C++代碼檢視實例

《編程珠璣》（第二版）一書第四章中提及過100多名專業(yè)程序員使用兩個小時的充足時間編寫一個簡單的二分查找程序，結(jié)果發(fā)現(xiàn)90％的人編出的代碼都有BUG，Knuth也在他的《Sorting and Searching》一書中提過，第一個二分查找程序在1946年已經(jīng)公布，但是到了1962年才出現(xiàn)第一個沒有BUG的二分查找程序，期間經(jīng)歷了16年的時間。那么為什么一個簡單的二分查找程序會這么容易出錯呢？看一看有序表的查找的測試用例設(shè)計也許能明白為什么。

要對有序表查找進(jìn)行用例設(shè)計，我們可以先分析輸入域，實際上有兩個輸入域，一個是要查找的數(shù)據(jù)，另外一個是有序表，可以先對有序表數(shù)據(jù)的個數(shù)進(jìn)行分類，有序表中可能有0，1，2，3，…個數(shù)據(jù)。因此我們可以將目標(biāo)數(shù)據(jù)分為以下幾個類：

完成第1級分類后，我們可以再對數(shù)據(jù)的特點進(jìn)行分類，因為有序表是一個有順序的表，是有大小順序的，因此可以根據(jù)數(shù)據(jù)特點再進(jìn)行分類，以3個數(shù)據(jù)為例可以進(jìn)行以下分類：

有序表有0、1、2、4個以上數(shù)據(jù)的情況都可以按照以上的類似的方式進(jìn)行再分類。

當(dāng)按有序表中分類好后，可以再按要查找的數(shù)據(jù)進(jìn)行分類

當(dāng)對查找的數(shù)據(jù)和有序表分別分好類后，就可以把這兩種分類組合起來，比如將有序表有3個數(shù)據(jù)的分類情況和查找數(shù)據(jù)的分類情況組合起來就可以得到以下的分類：

組合完后，還需要將一些不可能或不需要的組合刪除掉，比如在3個數(shù)據(jù)都相等的情況下，查找數(shù)據(jù)介于集合兩個相鄰數(shù)據(jù)之間的情況就不存在，需要刪除掉這種情況，查找數(shù)據(jù)在有序表中的3種分類也由于集合中數(shù)據(jù)都相等而變成了一個分類，下圖便是3個數(shù)據(jù)都相等情況下的一個分類：

這樣7個最終分類減少到只有4個最終分類，查找數(shù)據(jù)為空的情況并不是所有情況下都需要測試的，其實只要測試有序表中有數(shù)據(jù)和沒有數(shù)據(jù)兩種情況就夠了，因此查找數(shù)據(jù)為空的情況如果在其他情況中有了分類，那么也可以將其刪去，這樣3個數(shù)據(jù)都相等的情況就只有3個最終分類，如下圖所示：

有序表有0個數(shù)據(jù)時可以所見成測試兩種情況，一種是查找的數(shù)據(jù)為空，一種是查找的數(shù)據(jù)不為空。

有序表中有1個數(shù)據(jù)時的分類可以縮減成以下3種分類情況：

有序表中有2個數(shù)據(jù)的分類可以縮減成以下8種分類：

這樣一來，即使不考慮4個以上數(shù)據(jù)以及3個數(shù)據(jù)在有兩個數(shù)據(jù)相等情況下的分類，總共的最終分類也有20多種，每種分類至少需要設(shè)計一個測試用例，總共至少需要20多個測試用例，一個簡單的二分查找的測試用例都至少需要20多個，看到這里大家也許會明白為什么90％的專業(yè)程序員寫不出一個無BUG的二分查找程序來。