白盒測試技術中的幾種邏輯覆蓋

白盒測試技術中的邏輯覆蓋包括：

語句覆蓋，為了暴露程序中的錯誤，至少每個語句應該執行一次， 這是最弱的邏輯覆蓋標準。判定覆蓋，每個判定的每種可能結果都要執行一次，建立判定表以後，要保證每種判定的結果中都包含了T和F，才滿足判定覆蓋。條件覆蓋，不但每個語句需要執行一次，而且判定表達式中的每個條件都要取到可能的結果。條件組合覆蓋，使得每個判定中的條件的各種組合至少出現一次，先把程序中的條件列出來，排列組合，寫出所有的可能性，觀察組值是否同時滿足這些排列組合。路徑覆蓋，每條可能的路徑都至少執行一次。