- statement coverage
语句覆盖，最弱的逻辑覆盖准则，需覆盖所有的执行语句块。 - branch coverage
分支覆盖（判定覆盖），是程序中的每个判断的取真分支和取假分支至少执行一次 - prime path coverage
基本路径覆盖，在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。 - MC/DC coverage
修正条件判定覆盖：
条件：没有布尔运算符的布尔表达式
判定：由条件和0个或多个布尔运算符组成的布尔表达式
- 程序中的每个判定的所有可能结果至少能取值一次
- 程序中的每个判定中的每个条件的所有可能结果至少取值一次
- 一个判定中的每个条件曾经独立地对判定结果产生影响，所谓独立地影响判定结果，是指固定所有其他可能的条件，仅改变该条件的值就能使判定的结果改变
- 程序中的每个入口和每个出口至少执行一次