邏輯覆蓋測試是通過對程序邏輯結構的遍歷實現程序的覆蓋。從覆蓋源代碼的不同程度可以分為以下六個標準：語句覆蓋、判定覆蓋(又稱為分支覆蓋)、條件覆蓋、判定-條件覆蓋(又稱為分支-條件覆蓋)、條件組合覆蓋和路徑覆蓋。
先看一下具體例子的源代碼(C語言)：
1. /*
2. * 白盒測試邏輯覆蓋測試范例
3. * 作者：胡添發(hutianfa@126.com)
4. */
5. int logicExample(int x, int y)
6. {
7. int magic=0;
8. if(x>0 && y>0)
9. {
10. magic = x+y+10; // 語句塊1
11. }
12. else
13. {
14. magic = x+y-10; // 語句塊2
15. }
16.
17. if(magic < 0)
18. {
19. magic = 0; // 語句塊3
20. }
21. return magic; // 語句塊4
22. }
延伸閱讀
文章來源于領測軟件測試網 http://www.k11sc111.com/
