即对一个模块内部进行一个细致的覆盖测试，有如下方法进行测试
覆盖分析法：
- 语句覆盖，代码中的执行语句（非判断语句）都至少执行一遍
- 判定覆盖，强调所有的判断语句的分支，真假都至少执行一遍
- 条件覆盖，强调判断语句当中的子条件都至少执行一遍，而非判断结果的分支
- 判定-条件覆盖：即满足判定覆盖，也满足条件覆盖的条件
- 条件组合覆盖：因为判定-条件覆盖会因为逻辑操作符而短路，导致问题，因此需要将判定-条件覆盖进行加强，具体表现为：将条件覆盖里面的所有子条件进行组合，并满足判定覆盖的条件
- 修正条件-判定组合覆盖 路径分析法：
- 基本路径覆盖
二者结合其优势而来的分析法： 组合-路径覆盖