逻辑覆盖

三种方法

•条件与判定Condition and Decision

•子句与谓词Clause and Predicate

•基于故障的测试Fault-based Testing

判定覆盖准则(DC)：

判定的true和false至少各执行一次.

•((x>5) && (y>0)): true and false

条件覆盖准则(CC)：

每个条件的true和false至少各被执行一次

•(x>5) ：true and false
•(y>0)：true and false

条件判定覆盖准则(C/DC): 

同时满足DC和CC.

•C/DC(P)=CC(P) ∩ DC(P)
•C/DC ≥ CC
•C/DC ≥ DC

Modified Condition/Decision Coverage (MC/DC) 是C/DC得到一个增强版本：

每个条件独立影响判定true和false各一次

谓词覆盖Predicate Coverage (PC): 每个谓词p的true 和false 各被执行一次.

子句覆盖Clause Coverage (CC): 每个子句c的true和false各被执行一次.