白盒測試

Rex Black
白盒測試，也稱為結構化測試、基于代碼的測試，是一種測試用例設計方法，它從程序的控制結構導出測試用例。用白盒測試產生的測試用例能夠：
1 ）保證一個模塊中的所有獨立路徑至少被使用一次；
2 ）對所有邏輯值均需測試 true 和 false ；
3 ）在上下邊界及可操作范圍內運行所有循環；
4 ）檢查內部數據結構以確保其有效性。

“ 我們應該更注重于保證程序需求的實現，為什么要花費時間和精力來擔心（和測試）邏輯細節？ ” 答案在于軟件自身的缺陷：
1 、邏輯錯誤和不正確假設與一條程序路徑被運行的可能性成反比。當我們設計和實現主流之外的功能、條件或控制時，錯誤往往開始出現在我們工作中。日常處理往往被很好地了解，而 “ 特殊情況 ” 的處理則難于發現。
2 、我們經常相信某邏輯路徑不可能被執行，而事實上，它可能在正常的基礎上被執行。程序的邏輯流有時是違反直覺的，這意味著我們關于控制流和數據流的一些無意識的假設可能導致設計錯誤，只有路徑測試才能發現這些錯誤。
3 、筆誤是隨機的。當一個程序被翻譯為程序設計語言源代碼時，有可能產生某些筆誤，很多將被語法檢查機制發現，但是，其他的會在測試開始時才會被發現。筆誤出現在主流上和不明顯的邏輯路徑上的機率是一樣的。

正如 Beizer 所說的： “ 錯誤潛伏在角落里，聚集在邊界上 ” ，而白盒測試更可能發現它。