白盒测试逻辑覆盖总结

白盒测试逻辑覆盖总结

根据覆盖目标的不同，逻辑覆盖又可分为语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖。

判定覆盖：通过执行足够的测试用例，使得程序中的每个判定至少都获得一次“真”值和“假”值， 也就是使程序中的每个取“真”分支和取“假”分支至少均经历一次，也称为“分支覆盖”。

条件覆盖：设计足够多的测试用例，使得程序中每个判定包含的每个条件的可能取值(真/假)都至少满足一次。

判定/条件覆盖：设计足够多的测试用例，使得程序中每个判定包含的每个条件的所有情况(真/假)至少出现一次，并且每个判定本身的判定结果(真/假)也至少出现一次。

满足判定/条件覆盖的测试用例一定同时满足判定覆盖和条件覆盖

组合覆盖：通过执行足够的测试用例，使得程序中每个判定的所有可能的条件取值组合都至少出现一次。

满足组合覆盖的测试用例一定满足判定覆盖、条件覆盖和判定/条件覆盖。

路径覆盖：设计足够多的测试用例，要求覆盖程序中所有可能的路径。