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

　　一個或者多個條件組成一個判定，一個程序中可以有多個判定。

　　首要的是建立一個二維的真值表，各列為判定和條件，各行為每組值的T或者F。

　　1、語句覆蓋

　　為了暴露程序中的錯誤，至少每個語句應該執行一次。

　　這也是最弱的邏輯覆蓋標準咯。

　　2、判定覆蓋

　　每個判定的每種可能結果都要執行一次。

　　建立判定表以后，要保證每種判定的結果中都包含了T和F，才滿足判定覆蓋。

　　3、條件覆蓋

　　不但每個語句需要執行一次，而且判定表達式中的每個條件都要取到可能的結果。

　　建立判定表以后，要保證每種條件的結果中都包含了T和F，才滿足條件覆蓋。

　　4、判定/條件覆蓋

　　使得每個判定以及每個判定中的每個條件都取到可能的結果。

　　建立判定表以后，要保證每個判定結果包含T和F，而且每種條件的結果包含T和F。

　　也就是綜合了上面的條件覆蓋和判定覆蓋。

　　5、條件組合覆蓋

　　使得每個判定中的條件的各種組合至少出現一次。

　　也就是說，先把程序中的條件列出來，排列組合，寫出所有的可能性，看有沒有那組值同時滿足這些排列組合。

　　6、路徑覆蓋

　　每條可能的路徑都至少執行一次。

　　就是看源程序中的判斷，都有哪些組合，比如T ,FF,FT,等等，看看哪個滿足包含了所有的組合。

　　因為這些不同的組合就代表了程序中執行的不同路徑啊。

原文轉自：http://www.kjueaiud.com