? ? ? ? 邏輯覆蓋是以程序內部的邏輯結構為基礎的設計測試用例的技術。它屬白盒測試。白盒測試的測試方法有代碼檢查法、靜態結構分析法、靜態質量度量法、邏輯覆蓋法、基本路徑測試法、域測試、符號測試、Z路徑覆蓋、程序變異。白盒測試法的覆蓋標準有邏輯覆蓋、循環覆蓋和基本路徑測試。

1.語句覆蓋(Statement Coverage，SC)
? ? ? ? 又稱行覆蓋（LineCoverage），段覆蓋（SegmentCoverage），基本塊覆蓋（BasicBlockCoverage），這是最常用也是最常見的一種覆蓋方式，就是度量被測代碼中每個可執行語句是否被執行到了。

2.?判定覆蓋(Decision Coverage，DC)
? ? ? ? 判定覆蓋是設計足夠多的測試用例，使得程序中的每一個判斷至少獲得一次“真”和一次“假”，即使得程序流程圖中的每一個真假分支至少被執行一次。

3.?條件覆蓋(Condition Coverage，CC)
? ? ? ?使每個判定表達式中的每個條件都取到各種可能的結果。

4.?條件/判定覆蓋(Condition/Decision Coverage，CC)
? ? ? ?判定條件覆蓋是設計足夠的測試用例，得使判斷中每個條件的所有可能取值至少執行一次，同時每個判斷本身所有可能結果也至少執行一次。缺點是忽略了條件的組合情況。

5.?條件組合覆蓋(Conditional Combination Coverage,CCC)
? ? ? ?在白盒測試法中，選擇足夠的測試用例，使得每個判定中條件的各種可能組合都至少出現一次。顯然，滿足“條件組合覆蓋”的測試用例是一定滿足“判定覆蓋”、“條件覆蓋”和“判定/條件覆蓋”的。

6.多條件覆蓋(Multi Condition Coverage，MCC)
? ? ? ?設計足夠多的測試用例，使得每個判定中條件的各種可能組合都至少出現一次。顯然，滿足多條件覆蓋的測試用例是一定滿足，“判定覆蓋”、“條件覆蓋”、條件判定組合覆蓋的。

7.修正判定條件覆蓋(MC/DC)
? ? ? ? 條件表示不含有布爾操作符號的布爾表達式；
? ? ? ??判定表示由條件和零或者很多布爾操作符號所組成的一個布爾表達式；
? ? ? ??修正條件判定覆蓋要求在一個程序中每一種輸入輸出至少得出現一次，在程序中的每一個條件必須產生所有可能的輸出結果至少一次，并且每一個判定中的每一個條件必須能夠獨立影響一個判定的輸出，即在其他條件不變的前提下僅改變這個條件的值，而使判定結果改變。
? ? ? ??上面的定義有點不好理解，解釋一下：
? ? ? ??MC/DC首先要求實現條件覆蓋、判定覆蓋，在此基礎上，對于每一個條件C，要求存在符合以下條件的兩次計算：
? ? ? ??1）條件C所在判定內的所有條件，除條件C外，其他條件的取值完全相同；
? ? ? ??2）條件C的取值相反；
? ? ? ??3）判定的計算結果相反。
? ? ? ??核心意思是每個條件都要獨立影響判定結果。為什么說“兩次計算”，而不是“兩個用例”呢？當循環中有判定時，一個用例下同一判定可能被計算多次，每次的條件值和判定值也可能不同，因此，一個用例就可能完成循環中判定的MC/DC。

8.?點覆蓋
? ? ? ?在圖論中點覆蓋的概念定義如下：對于圖G=(V,E)中的一個點覆蓋是一個集合S?V使得每一條邊至少有一個端點在S中。

9.?邊覆蓋
? ? ? ?邊覆蓋是一類覆蓋，指一類邊子集。具體地說，圖的一個邊子集，使該圖上每一節點都與這個邊子集中的一條邊關聯，只有含孤立點的圖沒有邊覆蓋，邊覆蓋也稱為邊覆蓋集，圖G的最小邊覆蓋就是指邊數最少的覆蓋，圖G的最小邊覆蓋的邊數稱為G的邊覆蓋數，常記為β′(G)。

10.路徑覆蓋
? ? ? ?路徑覆蓋的含義是，選取足夠多的測試數據，使程序的每條可能路徑都至少執行一次（如果程序圖中有環，則要求每個環至少經過一次）。
? ? ? ?對于比較簡單的小程序來說，實現路徑覆蓋是可能的，但是如果程序中出現了多個判斷和多個循環，可能的路徑數目將會急劇增長，以致實現路徑覆蓋是幾乎不可能的。

總結

以上是生活随笔為你收集整理的程序测试的逻辑覆盖测试方法的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。