軟件白盒測試實例之十一——邏輯覆蓋測試

         軟件白盒測試實例之十一——邏輯覆蓋測試  測試用例　

    　邏輯覆蓋測試是通過對程序邏輯結構的遍歷實現程序的覆蓋。從覆蓋源代碼的不同程度可以分為以下六個標準：語句覆蓋、判定覆蓋(又稱為分支覆蓋)、條件覆蓋、判定-條件覆蓋(又稱為分支-條件覆蓋)、條件組合覆蓋和路徑覆蓋。

　　先看一下具體例子的源代碼(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.anti-gravitydesign.com