軟件測試邏輯覆蓋

1內(nèi)容（1）邏輯覆蓋語句覆蓋判定覆蓋條件覆蓋判定－條件覆蓋條件組合覆蓋路徑覆蓋2邏輯覆蓋voidDoWork(intx,inty,intz){intk=0,j=0;if((x>3)&&(z<10)){k=x*y-1;j=sqrt(k);}//語句塊1if((x==4)||(y>5)){j=x*y+10;}//語句塊2

j=j%3;//語句塊3}3邏輯覆蓋X>3&&z<10執(zhí)行語句塊1執(zhí)行語句塊2X==4||y>5執(zhí)行語句塊3FFTTabdce4邏輯覆蓋語句覆蓋：選擇足夠多的測試用例，使得程序中的每個可執(zhí)行語句至少執(zhí)行一次。要實現(xiàn)DoWork函數(shù)的語句覆蓋，只需設計一個測試用例就可以覆蓋程序中的所有可執(zhí)行語句。測試用例輸入為：{x=4、y=5、z=5}程序執(zhí)行的路徑是：abd分析：語句覆蓋可以保證程序中的每個語句都得到執(zhí)行，但發(fā)現(xiàn)不了判定中邏輯運算的錯誤，即它并不是一種充分的檢驗方法。例如在第一個判定((x>3)&&(z<10))中把“&&”錯誤的寫成了“||”，或者把x>3誤寫成x>2,這時仍使用該測試用例，則程序仍會按照流程圖上的路徑abd執(zhí)行?？梢哉f語句覆蓋是最弱的邏輯覆蓋準則。5邏輯覆蓋判定覆蓋：通過執(zhí)行足夠的測試用例，使得程序中的每個判定至少都獲得一次“真”值和“假”值，也就是使程序中的每個取“真”分支和取“假”分支至少均經(jīng)歷一次，也稱為“分支覆蓋”。要實現(xiàn)DoWork函數(shù)的判定覆蓋，需要設計兩個測試用例。測試用例的輸入為：{x=4、y=5、z=5}；{x=2、y=5、z=5}程序執(zhí)行的路徑分別是：abd；ace分析：上述兩個測試用例不僅滿足了判定覆蓋，同時還做到語句覆蓋。從這點看似乎判定覆蓋比語句覆蓋更強一些，但仍然無法確定判定內(nèi)部條件的錯誤。例如把第二個判定中的條件y>5錯誤寫為y<5，使用上述測試用例，照樣能按原路徑執(zhí)行而不影響結果。因此，需要有更強的邏輯覆蓋準則去檢驗判定內(nèi)的條件。6邏輯覆蓋條件覆蓋：設計足夠多的測試用例，使得程序中每個判定包含的每個條件的可能取值（真/假）都至少滿足一次。在實際程序代碼中，一個判定中通常都包含若干條件。條件覆蓋的目的是設計若干測試用例，在執(zhí)行被測程序后，要使每個判定中每個條件的可能值至少滿足一次。對DoWork函數(shù)的各個判定的各種條件取值加以標記。對于第一個判定((x>3)&&(z<10))： 條件x>3取真值記為T1，取假值記為-T1

條件z<10取真值記為T2，取假值記為-T2對于第二個判定((x==4)||(y>5))：條件x==4取真值記為T3，取假值記為-T3條件y>5取真值記為T4，取假值記為-T47邏輯覆蓋根據(jù)條件覆蓋的基本思想，要使上述4個條件可能產(chǎn)生的8種情況至少滿足一次，設計測試用例如下：測試用例執(zhí)行路徑覆蓋條件覆蓋分支x=4、y=6、z=5abdT1、T2、T3、T4bdx=2、y=5、z=15ace-T1、-T2、-T3、-T4ce分析：上面這組測試用例不但覆蓋了4個條件的全部8種情況，而且將兩個判定的4個分支b、c、d、e也同時覆蓋了，即同時達到了條件覆蓋和判定覆蓋。8邏輯覆蓋說明：雖然前面的一組測試用例同時達到了條件覆蓋和判定覆蓋，但是，并不是說滿足條件覆蓋就一定能滿足判定覆蓋。如果設計了下表中的這組測試用例，則雖然滿足了條件覆蓋，但只是覆蓋了程序中第一個判定的取假分支c和第二個判定的取真分支d，不滿足判定覆蓋的要求。測試用例執(zhí)行路徑覆蓋條件覆蓋分支x=2、y=6、z=5ace-T1、T2、-T3、T4cex=4、y=5、z=15aceT1、-T2、T3、-T4ce9邏輯覆蓋判定/條件覆蓋：設計足夠多的測試用例，使得程序中每個判定包含的每個條件的所有情況（真/假）至少出現(xiàn)一次，并且每個判定本身的判定結果（真/假）也至少出現(xiàn)一次——滿足判定/條件覆蓋的測試用例一定同時滿足判定覆蓋和條件覆蓋判定/條件覆蓋實際上是將判定覆蓋和條件覆蓋結合起來的一種方法，即：設計足夠的測試用例，使得判定中每個條件的所有可能取值至少滿足一次，同時每個判定的可能結果也至少出現(xiàn)一次。根據(jù)判定/條件覆蓋的基本思想，只需設計以下兩個測試用例便可以覆蓋4個條件的8種取值以及4個判定分支。測試用例執(zhí)行路徑覆蓋條件覆蓋分支x=4、y=6、z=5abdT1、T2、T3、T4bdx=2、y=5、z=15ace-T1、-T2、-T3、-T4ce10邏輯覆蓋分析：從表面上看，判定/條件覆蓋測試了各個判定中的所有條件的取值，但實際上，編譯器在檢查含有多個條件的邏輯表達式時，某些情況下的某些條件將會被其它條件所掩蓋。因此，判定/條件覆蓋也不一定能夠完全檢查出邏輯表達式中的錯誤。例如：對于第一個判定(x>3)&&(z<10)來說，必須x>3和z<10這兩個條件同時滿足才能確定該判定為真。如果x>3為假，則編譯器將不再檢查z<10這個條件，那么即使這個條件有錯也無法被發(fā)現(xiàn)。對于第二個判定(x==4)||(y>5)來說，若條件x==4滿足，就認為該判定為真，這時將不會再檢查y>5，那么同樣也無法發(fā)現(xiàn)這個條件中的錯誤。11邏輯覆蓋組合覆蓋：通過執(zhí)行足夠的測試用例，使得程序中每個判定的所有可能的條件取值組合都至少出現(xiàn)一次。

——滿足組合覆蓋的測試用例一定滿足判定覆蓋、條件覆蓋和判定/條件覆蓋。組合覆蓋的目的是要使設計的測試用例能覆蓋每一個判定的所有可能的條件取值組合。對DoWork函數(shù)中的各個判定的條件取值組合加以標記：1、x>3,z<10記做T1T2，第一個判定的取真分支

2、x>3,z>=10記做T1-T2，第一個判定的取假分支

3、x<=3,z<10記做-T1T2，第一個判定的取假分支

4、x<=3,z>=10記做-T1-T2，第一個判定的取假分支

5、x==4,y>5記做T3T4，第二個判定的取真分支

6、x==4,y<=5記做T3-T4，第二個判定的取真分支

7、x!=4,y>5記做-T3T4，第二個判定的取真分支

8、x!=4,y<=5記做-T3-T4，第二個判定的取假分支12邏輯覆蓋根據(jù)組合覆蓋的基本思想，設計測試用例如下：測試用例執(zhí)行路徑覆蓋條件覆蓋組合號x=4、y=6、z=5abdT1、T2、T3、T41和5x=4、y=5、z=15acdT1、-T2、T3、-T42和6x=2、y=6、z=5acd-T1、T2、-T3、T43和7x=2、y=5、z=15ace-T1、-T2、-T3、-T44和8分析：上面這組測試用例覆蓋了所有8種條件取值的組合，覆蓋了所有判定的真假分支，但是卻丟失了一條路徑abe。13邏輯覆蓋前面提到的5種邏輯覆蓋都未涉及到路徑的覆蓋。事實上，只有當程序中的每一條路徑都受到了檢驗，才能使程序受到全面檢驗。路徑覆蓋的目的就是要使設計的測試用例能覆蓋被測程序中所有可能的路徑。根據(jù)路徑覆蓋的基本思想，在滿足組合覆蓋的測試用例中修改其中一個測試用例，則可以實現(xiàn)路徑覆蓋：測試用例執(zhí)行路徑覆蓋條件x=4、y=6、z=5abdT1、T2、T3、T4x=4、y=5、z=15acdT1、-T2、T3、-T4x=2、y=5、z=15ace-T1、-T2、-T3、-T4x=5、y=5、z=5abeT1、T2、-T3、-T414邏輯覆蓋public

charfunction(intx,inty){

chart;

if((x>=90)&&(y>=90)){t='A';