邏輯覆蓋是以程式內部的邏輯結構為基礎的設計測試 用例的技術。它屬白盒測試，一般來說，邏輯覆蓋分為4個分支，語句覆蓋 • 條件覆蓋 • 分支覆蓋 • 條件組合覆蓋。下面一一來說。
先給出乙個流程圖：
一、語句覆蓋：
設計測試用例，使得每個可執行的語句都要被執行一次，如上圖的路線a->c->e就將4個可執行語句覆蓋了。我們將該路線的判斷語句進行合併，記住要考慮對應的情況，如果為f要取反。
取得滿足條件的測試用例【（2，0，4），（2，0，3）】
二、分支覆蓋
分支覆蓋就是設計若干個測試用例， 執行被測程式，使得程式中每個判斷的取真分支和取假分支至少經歷一次。如上圖，我們選擇a->b->d，a->c->e就將所有的判斷分支都走過了一遍。我們也像上面一樣推導條件：
於是滿足條件的測試用例【（1，0，1），（1，2，1）】
a->c->e滿足條件的為【（2，0，4），（2，0，3）】（具體過程在一中已經推導）
三、條件覆蓋
就是設計若干個測試用例， 執行被測程式，使得程式中每個判斷的每個條件（按乙個條件為單位）的可能取值至少執行一次。 例如上圖中：
對於第乙個判斷：
條件a>1，取真為t1，取假為f1
條件 b＝0 取真為t2 ，取假為f2
對於第二個判斷：
條件 a=2，取真為t3，取假為f3
條件 x>1，取真為t4，取假為f4
由此，我們可以根據路徑a->b->e的不同取值來滿足條件覆蓋，如下：
四、條件組合覆蓋
條件組合覆蓋就是設計足夠的測試用例，執行被測程式，使得每個判斷（按乙個條件框為單位）的所有可能的條件取值組合至少執行一次。
由此：
軟體工程 白盒測試 黑盒測試
黑盒測試 白盒測試用例設計的乙個很重要的評估標準就是對 的覆蓋度。白盒測試中常見的覆蓋有六種 語句覆蓋 判定覆蓋 條件覆蓋 判定 條件覆蓋 組合覆蓋和路徑覆蓋。語句覆蓋，顧名思義就是針對 語句。它的含義是我們設計若干個測試用例，執行被測程式，使得每一可執行語句至少執行一次。通常語句覆蓋被認為是 最弱...
白盒測試邏輯覆蓋法
看新定的測試覆蓋率標準，有點暈。1 語句覆蓋率達到100 2 分支覆蓋率不低於70 開始覺得，這兩個限制有點矛盾，語句覆蓋率都達到100 了，分支覆蓋率還沒達到100 答案 是。舉個例子說明 if a and b then action1 if c or d then action2 就拿這個來說，...
白盒測試 邏輯覆蓋法
白盒測試又稱結構測試 透明盒測試 邏輯驅動測試或基於 的測試。白盒測試是一種測試用例設計方法方法，盒子指的是被測試的軟體，白盒指的是盒子是可視的，你清楚盒子內部的東西以及裡面是如何運作的。白盒 法全面了解程式內部邏輯結構 對所有邏輯路徑進行測試。白盒 法是窮舉路徑測試。在使用這一方案時，測試者必須檢...