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

　　一般做白盒測試不會直接根據源代碼，而是根據流程圖來設計測試用例和編寫測試代碼，在沒有設計文檔時，要根據源代碼畫出流程圖：

　　做好了上面的準備工作，接下來就開始講解六個邏輯覆蓋標準：

　　一、語句覆蓋

　　1、概念：

　　設計足夠多的測試用例，使得被測試程序中的每條可執行語句至少被執行一次。在本例中，可執行語句是指語句塊1到語句塊4中的語句。

　　2、測試用例：

　　{x=3, y=3}可以執行到語句塊1和語句塊4，所走的路徑：a-b-e-f

　　{x=-3, y=0}可以執行到語句塊2、語句塊3和語句塊4，所走的路徑：a-c-d-f

　　這樣，通過兩個測試用例即達到了語句覆蓋的標準，當然，測試用例(測試用例組)并不是唯一的。

　　3、測試的充分性：

　　假設第一個判斷語句if(x>0 && y>0)中的“&&”被程序員錯誤地寫成了“||”，即if(x>0 || y>0)，使用上面設計出來的一組測試用例來進行測試，仍然可以達到100%的語句覆蓋，所以語句覆蓋無法發現上述的邏輯錯誤。

　　在六種邏輯覆蓋標準中，語句覆蓋標準是最弱的。

文章來源于領測軟件測試網 http://www.kjueaiud.com/