軟件測試邏輯覆蓋

1、1內(nèi)容內(nèi)容（1）邏輯覆蓋語句覆蓋判定覆蓋條件覆蓋判定條件覆蓋條件組合覆蓋路徑覆蓋2邏輯覆蓋邏輯覆蓋void DoWork (int x,int y,int z) int k=0,j=0; if ( (x3)&(z5) ) j=x*y+10; /語句塊2 j=j%3; /語句塊33邏輯覆蓋邏輯覆蓋X3 & z5執(zhí)執(zhí)行行語語句句塊塊3FFTTabdce4邏輯覆蓋邏輯覆蓋語句覆蓋：選擇足夠多的測試用例，使得程序中的每個可執(zhí)行語句至少執(zhí)行一次。要實(shí)現(xiàn)DoWork函數(shù)的語句覆蓋，只需設(shè)計一個測試用例就可以覆蓋程序中的所有可執(zhí)行語句。 測試用例輸入為： x=4、y=5、z=5 程序執(zhí)行的路

2、徑是：abd分析： 語句覆蓋可以保證程序中的每個語句都得到執(zhí)行，但發(fā)現(xiàn)不了判定中邏輯運(yùn)算的錯誤，即它并不是一種充分的檢驗(yàn)方法。例如在第一個判定(x3)&(z3誤寫成x 2,這時仍使用該測試用例，則程序仍會按照流程圖上的路徑abd執(zhí)行?？梢哉f語句覆蓋是最弱的邏輯覆蓋準(zhǔn)則。 5邏輯覆蓋邏輯覆蓋判定覆蓋：通過執(zhí)行足夠的測試用例，使得程序中的每個判定至少都獲得一次“真”值和“假”值， 也就是使程序中的每個取“真”分支和取“假”分支至少均經(jīng)歷一次，也稱為“分支覆蓋”。要實(shí)現(xiàn)DoWork函數(shù)的判定覆蓋，需要設(shè)計兩個測試用例。 測試用例的輸入為：x=4、y=5、z=5；x=2、y=5、z=5 程序執(zhí)

3、行的路徑分別是：abd；ace分析： 上述兩個測試用例不僅滿足了判定覆蓋，同時還做到語句覆蓋。從這點(diǎn)看似乎判定覆蓋比語句覆蓋更強(qiáng)一些，但仍然無法確定判定內(nèi)部條件的錯誤。例如把第二個判定中的條件y5錯誤寫為y3)&(z3 取真值記為T1，取假值記為-T1 條件z5) )： 條件x=4 取真值記為T3，取假值記為-T3 條件y5 取真值記為T4，取假值記為-T47邏輯覆蓋邏輯覆蓋 根據(jù)條件覆蓋的基本思想，要使上述4個條件可能產(chǎn)生的8種情況至少滿足一次，設(shè)計測試用例如下：n分析：上面這組測試用例不但覆蓋了4個條件的全部8種情況，而且將兩個判定的4個分支b、c、d、e也同時覆蓋了，即同時達(dá)到了

4、條件覆蓋和判定覆蓋。8邏輯覆蓋邏輯覆蓋 說明：雖然前面的一組測試用例同時達(dá)到了條件覆蓋和判定覆蓋，但是，并不是說滿足條件覆蓋就一定能滿足判定覆蓋。如果設(shè)計了下表中的這組測試用例，則雖然滿足了條件覆蓋，但只是覆蓋了程序中第一個判定的取假分支c 和第二個判定的取真分支d，不滿足判定覆蓋的要求。 9邏輯覆蓋邏輯覆蓋 判定/條件覆蓋：設(shè)計足夠多的測試用例，使得程序中每個判定包含的每個條件的所有情況（真/假）至少出現(xiàn)一次，并且每個判定本身的判定結(jié)果（真/假）也至少出現(xiàn)一次 滿足判定/條件覆蓋的測試用例一定同時滿足判定覆蓋和條件覆蓋判定/條件覆蓋實(shí)際上是將判定覆蓋和條件覆蓋結(jié)合起來的一種方法，即：設(shè)計足夠

5、的測試用例，使得判定中每個條件的所有可能取值至少滿足一次，同時每個判定的可能結(jié)果也至少出現(xiàn)一次。根據(jù)判定/條件覆蓋的基本思想，只需設(shè)計以下兩個測試用例便可以覆蓋4個條件的8種取值以及4個判定分支。 10邏輯覆蓋邏輯覆蓋 分析：從表面上看，判定/條件覆蓋測試了各個判定中的所有條件的取值，但實(shí)際上，編譯器在檢查含有多個條件的邏輯表達(dá)式時，某些情況下的某些條件將會被其它條件所掩蓋。因此，判定/條件覆蓋也不一定能夠完全檢查出邏輯表達(dá)式中的錯誤。 例如：對于第一個判定(x3)&(z3和z3為假，則編譯器將不再檢查z5)來說，若條件x=4滿足，就認(rèn)為該判定為真，這時將不會再檢查y5，那么同樣也無法

6、發(fā)現(xiàn)這個條件中的錯誤。11邏輯覆蓋邏輯覆蓋 組合覆蓋：通過執(zhí)行足夠的測試用例，使得程序中每個判定的所有可能的條件取值組合都至少出現(xiàn)一次。 滿足組合覆蓋的測試用例一定滿足判定覆蓋、條件覆蓋和判定/條件覆蓋。組合覆蓋的目的是要使設(shè)計的測試用例能覆蓋每一個判定的所有可能的條件取值組合。對DoWork函數(shù)中的各個判定的條件取值組合加以標(biāo)記： 1、x3, z3, z=10 記做T1 -T2，第一個判定的取假分支 3、x=3, z10 記做-T1 T2，第一個判定的取假分支 4、x=10 記做-T1 -T2，第一個判定的取假分支 5、x=4, y5 記做T3 T4，第二個判定的取真分支 6、x=4, y5 記做-T3 T4，第二個判定的取真分支 8、x!=4, y= 90) & (