白盒測試技術中的幾種邏輯覆蓋 軟件測試
白盒測試技術中的邏輯覆蓋
一個或者多個條件組成一個判定，一個程序中可以有多個判定。
首要的是建立一個二維的真值表，各列為判定和條件，各行為每組值的T或者F。
1、語句覆蓋
為了暴露程序中的錯誤，至少每個語句應該執行一次。
這也是最弱的邏輯覆蓋標準咯。
2、判定覆蓋
每個判定的每種可能結果都要執行一次。
建立判定表以后，要保證每種判定的結果中都包含了T和F，才滿足判定覆蓋。
3、條件覆蓋
不但每個語句需要執行一次，而且判定表達式中的每個條件都要取到可能的結果。
建立判定表以后，要保證每種條件的結果中都包含了T和F，才滿足條件覆蓋。
4、判定/條件覆蓋
使得每個判定以及每個判定中的每個條件都取到可能的結果。
建立判定表以后，要保證每個判定結果包含T和F，而且每種條件的結果包含T和F。
也就是綜合了上面的條件覆蓋和判定覆蓋。
5、條件組合覆蓋
使得每個判定中的條件的各種組合至少出現一次。
也就是說，先把程序中的條件列出來，排列組合，寫出所有的可能性，看有沒有那組值同時滿足這些排列組合。
6、路徑覆蓋
每條可能的路徑都至少執行一次。
就是看源程序中的判斷，都有哪些組合，比如T ,FF,FT,等等，看看哪個滿足包含了所有的組合。
因為這些不同的組合就代表了程序中執行的不同路徑啊。
延伸閱讀
文章來源于領測軟件測試網 http://www.kjueaiud.com/