《編 程珠璣》（第二版）一書第四章中提及過100多名專業程式設計師使用兩個小時的充足時間編寫乙個簡單的二分查詢程式，結果發現90％的人編出的**都有 bug，knuth也在他的《sorting and searching》一書中提過，第乙個二分查詢程式在2023年已經公布，但是到了2023年才出現第乙個沒有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的二分查詢程 序來。
90 程式設計師寫不出無BUG的二分查詢程式？
90 程式設計師寫不出無bug的二分查詢程式？微軟過橋問題與測試人員素養 等價類分法 新解 測試用例設計中的np難題 測試驅動需求分析 需求文件評審例項 c c 檢視例項 程式設計珠璣 第二版 一書第四章中提及過100多名專業程式設計師使用兩個小時的充足時間編寫乙個簡單的二分查詢程式，結果發現90 ...
程式設計師成長之旅 二分查詢
最終 溢位問題在迴圈體中，一般計算中間值middle時所用的是 middle left right 2 但是這種情況容易溢位，因為一旦left right超過所在型別的範圍的話，就會出現錯誤，為了不出現這種問題，我們引入了 middle left right left 2 邊界問題 迴圈體外的初始化...
「倒霉」系列之90 的程式設計師都遇到的bug坑
乙個要素是條件 bug描述裡一般會列出這些條件 作業系統的版本號，環境變數配置了什麼值 這些變數也許會是乙個長長的列表 發生bug之前做了什麼操作 這些操作也許會是乙個長長的列表 我們需要從這個描述中找出導致bug的 條件要素 才能更好的理解bug發生的原因，從而可以找到解決方案。這裡提到的 條件要...