三种方法
•条件与判定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各被执行一次.