軟件測試之邏輯覆蓋 軟件測試工具
邏輯覆蓋是通過對程序邏輯結構的遍歷實現程序的覆蓋，它是一系列測試過程的總稱，這組測試過程逐漸進行越來越完整的通路測試。從覆蓋源程序預計的詳盡程度分析，邏輯覆蓋標準包括： 1.語句覆蓋SC（statement coverage）： 選擇測試數據，使被測程序中每條語句至少執行一次。 2.判定覆蓋DC（decision coverage）： 選擇測試用例，使程序中的每個判定至少獲得一次“真值”或“假值”，或說使得程序中的每個取“真”和取“假”分支至少經歷一次。 3.條件覆蓋CC（condition coverage）： 選擇測試用例，使得每個判定語句中的每個邏輯條件的可能值至少滿足一次。 滿足條件覆蓋不一定滿足判定覆蓋。 4.條件判定組合覆蓋CDC： 設計足夠的測試用例，使得判定中每個條件的所有可能取值（真/假）至少出現一次，并且每個判定本身的判定結果（真/假）至少出現一次。 5.多條件覆蓋MCC： 設計足夠的測試用例，使得每個判定條件中的各種可能組合都至少出現一次。 滿足多條件覆蓋的測試用例一定滿足判定覆蓋，條件覆蓋和條件組合覆蓋。 6.修正判定條件覆蓋MCDC：修正條件判定覆蓋方法要求在一個程序中每一種輸入輸出至少得出現一次，在程序中的每一個條件必須產生所有可能的輸出結果至少一次，并且每一個判定中的每一個條件必須能夠獨立影響一個判定的輸出，即在其他條件不變的前提下僅改變這個條件的值，而使判定結果改變.
延伸閱讀
文章來源于領測軟件測試網 http://www.kjueaiud.com/
