白盒测试技术中的逻辑覆盖包括:
语句覆盖,为了暴露程序中的错误,至少每个语句应该执行一次, 这是最弱的逻辑覆盖标准。判定覆盖,每个判定的每种可能结果都要执行一次,建立判定表以后,要保证每种判定的结果中都包含了T和F,才满足判定覆盖。
条件覆盖,不但每个语句需要执行一次,而且判定表达式中的每个条件都要取到可能的结果。
条件组合覆盖,使得每个判定中的条件的各种组合至少出现一次,先把程序中的条件列出来,排列组合,写出所有的可能性,观察组值是否同时满足这些排列组合。
路径覆盖,每条可能的路径都至少执行一次。