對於測試，更為合適的定義應該是：
「測試是為發現錯誤而執行程式的過程」。
黑盒測試（又稱為資料驅動的測試或輸入/輸出驅動的測試）是一種重要的測試策略。在這種方法中，測試資料完全**於軟體規範（不需要去了解程式的內部結構）。如果想通過黑盒測試發現程式的所有錯誤，判定的標準是「窮舉輸入測試」。但是基於多方面考慮，窮舉輸入測試是無法實現的。這個有兩方面的含義，一是我們無法測試乙個程式以確保它是無措的，而是軟體測試中需要考慮的乙個基本問題是軟體測試的經濟學。
白盒測試（又稱為邏輯驅動測試），這種方法允許我們檢查程式的內部結構。這種測試策略對程式的邏輯結構進行檢查，從中獲取測試資料。「窮舉路徑測試即完全的測試」是乙個錯誤的論斷，原因有三：
即使是窮舉路徑測試也決不能保證程式符合其設計規範
程式可能會因為缺少某些路徑而存在問題
窮舉路徑測試可能不會暴露資料敏感錯誤
測試用例中的乙個必須部分是對預期輸出或結果的定義
程式設計師應當避免測試自己的程式
編寫軟體的組織不應當測試自己編寫的軟體
應當徹底檢查每個測試的執行結果
測試用例的編寫不僅應當根據有效和預期的輸入情況，而且也應當根據無效和未預料到的輸入情況
檢查程式是否「未做其應該做的」僅是測試的一半，測試的另一半是檢查程式是否「做了其不應該做的」
應避免測試用例用後即棄，除非軟體本身就是乙個一次性的軟體
計畫測試工作時不應當默許假定不會發生錯誤
程式某部分存在更多錯誤的可能性，與該部分已發現錯誤的數量成正比
軟體測試是一項極富創造性、極具智力挑戰性的工作
軟體測試是為發現錯誤而執行的過程
乙個好的測試用例具有較高的發現某個尚未發現的錯誤的可能性
乙個成功的測試用例能夠發現某個尚未發現的錯誤
讀書筆記 軟體測試的藝術第4章
黑盒測試 等價類劃分 邊界值分析 因果圖分析 錯誤猜測 白盒測試 語句覆蓋 判定覆蓋 條件覆蓋 判定 條件覆蓋 多重條件覆蓋 白盒測試 關注的是測試用例執行的程度或覆蓋程式邏輯結構 源 的程度。語句覆蓋是白盒測試中較弱的準則，通常沒有什麼用處。判定覆蓋或分支覆蓋式較強的一些邏輯覆蓋準則。該準則要求必...
《軟體測試的藝術》讀書筆記（上）
一 測試的目的。測試是為發現錯誤而執行程式的過程。乙個成功的測試用例 是發現程式中存在錯誤的測試用例。二 測試用例設計的原則 1 測試用例中乙個必需部分是對預期輸出進行定義。2 測試用例的編寫不僅應當根據有效和預料到的輸入情況，而且也應當根據無效和未預料到的輸入情況。3 檢查程式是否 未做其應該做的...
軟體測試的藝術 讀書筆記 五
當程式無法實現其終端使用者的要求的合理功能時，就發生了乙個軟體錯誤 軟體開發過程 溝通有關最終程式的資訊，並將資訊從一種形式轉換到另一種形式。由於資訊的轉化，大部分軟體錯誤都可以歸結為資訊溝通和轉換時發生的故障 差錯 干擾。解決辦法 在產生需求和設計的時候每一步的輸出和上一步要的結果做驗證，驗證有不...