- 語句覆蓋是指選擇足夠的測試用例，使得運行這些測試用例時，被測程序的每一個語句至少執行一次，其覆蓋標準無法發現判定中邏輯運算的錯誤；
- 判定覆蓋<又叫分支覆蓋率>是指選擇足夠的測試用例，使得運行這些測試用例時，每個判定的所有可能結果至少出現一次，但若程序中的判定是有幾個條件聯合構成時，它未必能發現每個條件的錯誤；
- 條件覆蓋是指選擇足夠的測試用例，使得運行這些測試用例時，判定中每個條件的所有可能結果至少出現一次，但未必能覆蓋全部分支；
- 判定/條件覆蓋是使判定中每個條件的所有可能結果至少出現一次，並且每個判定本身的所有可能結果也至少出現一次；
- 修正條件判定覆蓋滿足條件與判定覆蓋，並且需要確定每個條件能夠影響到包含的判定的結果。
- 條件組合覆蓋是使每個判定中條件結果的所有可能組合至少出現一次，因此判定本身的所有可能解說也至少出現一次，同時也是每個條件的所有可能結果至少出現一次；
- 路徑覆蓋是每條可能執行到的路徑至少執行一次；
其中語句覆蓋是一種最弱的覆蓋，判定覆蓋和條件覆蓋比語句覆蓋強，滿足判定/條件覆蓋標準的測試用例一定也滿足判定覆蓋、條件覆蓋和語句覆蓋，條件組合覆蓋是除路徑覆蓋外最強的，路徑覆蓋也是一種比較強的覆蓋，但未必考慮判定條件結果的組合，並不能代替條件覆蓋和條件組合覆蓋。
不論那種覆蓋方法，都不能保證程序的正確性。
白盒測試中的六種覆蓋方法
http://blog.sina.com.cn/s/blog_671c968b0100i5jc.html
白盒測試中的六種覆蓋方法案例分析