白盒測試的條件覆蓋標準強於判定覆蓋（錯）

條件覆蓋：每個複合判定表示式的每個簡單判定條件的取真和取假情況至少執行一次；

判定覆蓋：又稱為分支覆蓋，其含義是保證程式中每個判定節點的取真和取假分支至少執行一次 。

條件覆蓋不一定強於判定覆蓋。條件覆蓋在通常情況下是強於判定覆蓋的，因為條件覆蓋使判定表示式中每個條件都取到了兩個不同的結果，判定覆蓋卻只關心整個判定表達似的值。但是，也有可能有相反的情況，條件覆蓋雖然把每個簡單判定條件都取到了真假兩個結果，但是可能判定表示式始終只取了一個值。

舉個栗子～比如，一個複合條件為 A==2 || B > 1

如果條件覆蓋中我們選取了兩個測試用例：

• A=2，B=0（A為真，B為假，總的結果為真）
• A=0，B=2（A為假，B為真，總的結果為真）

在上述兩組測試用例下：雖然滿足了條件覆蓋（每個簡單判定條件的真假都取到了），但是因為最終整個判定表達是都是真，導致條件覆蓋下永遠只取到了真值，而如果是判定覆蓋將會真值假值都取到。這兩組測試用例就只滿足了條件覆蓋標準並不滿足判定覆蓋標準。