軟件質量保證與測試4.3_2邏輯覆蓋標準小結第4章白盒測試SoftwareQualityAssuranceandTesting邏輯覆蓋小結邏輯覆蓋是通過對程序邏輯結構的遍歷，來實現(xiàn)對程序的測試，它需要根據(jù)程序內(nèi)部的邏輯結構來設計測試用例，是一種白盒測試技術。邏輯覆蓋是一種基于控制流的覆蓋標準，被工業(yè)界廣泛采用。除此之外也有基于數(shù)據(jù)流的覆蓋標準。邏輯覆蓋標準

根據(jù)覆蓋目標的不同，邏輯覆蓋可以分為：1.語句覆蓋(SC)2.判定覆蓋(DC)3.條件覆蓋(CC)4.判定/條件覆蓋(DCC)5.條件組合覆蓋(CDC)6.修正判定條件覆蓋(MC/DC)等等

邏輯覆蓋標準

邏輯覆蓋標準用于描述在測試過程中，對被測對象的測試程度，有時候也稱為軟件測試覆蓋準則或者測試數(shù)據(jù)完備準則。不同的邏輯覆蓋標準，對軟件的測試程度是不一樣的，而滿足相同覆蓋標準的測試數(shù)據(jù)集則是等價的。

邏輯覆蓋標準的作用邏輯覆蓋標準的作用體現(xiàn)在多個方面。（1）它可以定量地明確軟件測試的要求和工作量。對一段程序進行測試時，按照不同的測試標準，測試的要求，包括測試的工作量，是不一樣的，例如對某一段程序進行條件組合覆蓋可能需要8個測試用例，而條件覆蓋只需要2個測試用例，因為條件組合覆蓋標準高于條件覆蓋。通過邏輯覆蓋標準可以明確軟件測試要求和工作量。邏輯覆蓋標準的作用（2）它可以體現(xiàn)測試的充分程度。通過邏輯覆蓋標準，及對覆蓋率的統(tǒng)計可以體現(xiàn)測試進行的充分程度，覆蓋標準越高，測試程度越高，覆蓋率越高，測試越充分。例如：判定覆蓋比語句覆蓋測試程度更高。同樣是判定覆蓋，100%的覆蓋率比95%的覆蓋率測試更充分。邏輯覆蓋標準的作用

（3）它是選取測試數(shù)據(jù)的依據(jù)在進行軟件測試時，需要設計或者選擇很多測試數(shù)據(jù)，那么應當選取什么樣的數(shù)據(jù)呢？覆蓋標準就是選取測試數(shù)據(jù)的依據(jù)，不同的邏輯覆蓋，就會按照不同的標準來選擇測試數(shù)據(jù)。

邏輯覆蓋標準的作用

（4）它可以作為測試停止的標準過度的測試是一種浪費，測試工作不能一直進行下去，那么測試工作應當何時停止呢？停止的標準可以有很多種，其中，達到某種邏輯覆蓋標準，就可以作為依據(jù)之一。例如某對程序進行測試時，要求達到修正判定條件覆蓋（MC/DC），那么當測試達到這樣的測試標準之后，這項測試任務即算完成，測試可以停止。邏輯覆蓋標準的作用

（5）它對測試結果和軟件質量評估具有重要影響測試結果是跟測試標準掛鉤的，不同的覆蓋標準對同一個軟件的測試結果有可能是不一樣的，軟件能通過一個覆蓋標準的測試，不一定能通過另外一個覆蓋標準的測試。不同覆蓋標準在對軟件的測試程度上有區(qū)別，根據(jù)測試通過的覆蓋標準的不同，可以對軟件質量給出不同的評估意見。

如果說覆蓋標準A的充分程度比標準B高，則意味著滿足A標準的測試用例集合也滿足B標準。語句覆蓋、判定覆蓋、條件覆蓋、條件/判定覆蓋、條件組合覆蓋它們的測試充分程度存在著如圖所示的強弱關系。覆蓋標準對比

它們中，條件組合覆蓋最強。而條件覆蓋并不一定比語句覆蓋強。

在軟件測試過程中，需要按照測試覆蓋標準統(tǒng)計覆蓋率，例如統(tǒng)計語句覆蓋率、判定覆蓋率等，這樣做的目的是：1.提高測試效率通過覆蓋率統(tǒng)計,可以發(fā)現(xiàn)并去除無效的測試項目，減少測試次數(shù),簡化測試用例生成過程，提高測試效率。覆蓋率統(tǒng)計例如，張三李四兩位測試工程師一起設計測試用例，通過覆蓋率統(tǒng)計發(fā)現(xiàn)，兩人的測試用例合并時李四設計的一部分測試用例對提高覆蓋率沒有任何貢獻，也就是這些測試用例是冗余的，應當去掉，以減少不必要的工作量。覆蓋率統(tǒng)計2.發(fā)現(xiàn)更多問題，提高產(chǎn)品質量通過覆蓋率統(tǒng)計,可以清楚的描述程序被檢驗到了何種程度，發(fā)現(xiàn)軟件中尚未測量過的部分，然后針對未測試或者測試不充分的地方繼續(xù)測試，以發(fā)現(xiàn)更多問題，提高軟件產(chǎn)品的質量。

例如，通過覆蓋率統(tǒng)計發(fā)現(xiàn)，模塊X的覆蓋率為0，也就是