《语句覆盖法》 使程序中的每个可执行语句至少执行一次 所有的可执行语句得到执行 语句覆盖测试是较弱的一种测试 发现错误能力最弱的逻辑覆盖 《判定覆盖法》 使每一个判定获得每一种可能的结果至少一次 每个判定得到真值和假值 判断覆盖法满足了语句覆盖,因此比语句覆盖稍强 《条件覆盖法》 使每一判定语句中每个逻辑条件的可能值至少满足一次 判定中的每个条件取得真值和假值