【软件测试】白盒测试 / 逻辑覆盖法

《语句覆盖法》

• 使程序中的每个可执行语句至少执行一次

• 所有的可执行语句得到执行
• 语句覆盖测试是较弱的一种测试
• 发现错误能力最弱的逻辑覆盖
  

《判定覆盖法》

• 使每一个判定获得每一种可能的结果至少一次

• 每个判定得到真值和假值
• 判断覆盖法满足了语句覆盖，因此比语句覆盖稍强
  

《条件覆盖法》

• 使每一判定语句中每个逻辑条件的可能值至少满足一次

• 判定中的每个条件取得真值和假值
  
  

《判定—条件覆盖法》

• 使判定中每个条件的所有可能（真 / 假）至少出现一次，并且每个判定本身的判定结果（真 / 假）也至少出现一次

• 既满足条件覆盖，又满足判定覆盖
  

《组合—条件覆盖法》

• 使每个判定中条件的各种可能组合都至少出现一次

• 满足判定覆盖、条件覆盖和判定—条件覆盖
• 查错能力最强的逻辑覆盖
• 实际的逻辑覆盖测试中，一般以（条件组合覆盖）为主设计测试用例
  

《路径覆盖法》

• 每个路径都有可能被执行

• 满足路径覆盖必定满足语句覆盖
• 覆盖准则最强的逻辑覆盖