90％程式員寫不出無BUG的二分尋找程式？
相關文章連結如下：
微軟過橋問題與測試人員素養
等價類別分法 新解
測試案例設計中的NP難題
測試驅動需求分析--需求文檔評審執行個體
C/C++代碼檢視執行個體 《編程珠璣》（第二版）一書第四章中提及過100多名專業程式員使用兩個小時的充足時間編寫一個簡單的二分尋找程式，結果發現90％的人編出的代碼都有BUG，Knuth也在他的《Sorting and Searching》一書中提過，第一個二分尋找程式在1946年已經公布，但是到了1962年才出現第一個沒有BUG的二分尋找程式，期間經曆了16年的時間。那麼為什麼一個簡單的二分尋找程式會這麼容易出錯呢？看一看有序表的尋找的測試案例設計也許能明白為什麼。要對有序表尋找進行用例設計，我們可以先分析輸入欄位，實際上有兩個輸入欄位，一個是要尋找的資料，另外一個是有序表，可以先對有序表資料的個數進行分類，有序表中可能有0，1，2，3，…個資料。因此我們可以將目標資料分為以下幾個類： 完成第1級分類後，我們可以再對資料的特點進行分類，因為有序表是一個有順序的表，是有大小順序的，因此可以根據資料特點再進行分類，以3個資料為例可以進行以下分類：有序表有0、1、2、4個以上資料的情況都可以按照以上的類似的方式進行再分類。當按有序表中分類好後，可以再按要尋找的資料進行分類當對尋找的資料和有序表分別分好類後，就可以把這兩種分類組合起來，比如將有序表有3個資料的分類情況和尋找資料的分類情況組合起來就可以得到以下的分類： 組合完後，還需要將一些不可能或不需要的組合刪除掉，比如在3個資料都相等的情況下，尋找資料介於集合兩個相鄰資料之間的情況就不存在，需要刪除掉這種情況，尋找資料在有序表中的3種分類也由於集合中資料都相等而變成了一個分類，便是3個資料都相等情況下的一個分類： 這樣7個最終分類減少到只有4個最終分類，尋找資料為空白的情況並不是所有情況下都需要測試的，其實只要測試有序表中有資料和沒有資料兩種情況就夠了，因此尋找資料為空白的情況如果在其他情況中有了分類，那麼也可以將其刪去，這樣3個資料都相等的情況就只有3個最終分類，如所示： 有序表有0個資料時可以所見成測試兩種情況，一種是尋找的資料為空白，一種是尋找的資料不為空白。 有序表中有1個資料時的分類可以縮減成以下3種分類情況： 有序表中有2個資料的分類可以縮減成以下8種分類： 這樣一來，即使不考慮4個以上資料以及3個資料在有兩個資料相等情況下的分類，總共的最終分類也有20多種，每種分類至少需要設計一個測試案例，總共至少需要20多個測試案例，一個簡單的二分尋找的測試案例都至少需要20多個，看到這裡大家也許會明白為什麼90％的專業程式員寫不出一個無BUG的二分尋找程式來。
Trackback: http://tb.blog.csdn.net/TrackBack.aspx?PostId=1562717
