软件测试的目的:发现尽可能多的缺陷,而不是为了证明软件的正确性; 白盒测试: 语句覆盖每个可执行语句都被执行到判定覆盖(分支覆盖)每个语句至少执行一次,且每个判定的可能结果都至少执行一次条件覆盖每个语句至少执行一次,每个判定表达式的真、假值都要被取到判定/条件覆盖每个判定表达式的每个条件值都要被取到路径覆盖每条可执行路径至少被执行一次;(区别于语句覆盖,是可执行路径的组合)