2010软考系统分析师：白盒测试用例设计方法

　　白盒测试又称为结构测试或逻辑驱动测试。需要掌握测试用例设计的方法与原则，以下将详细罗列各个方法，首先将介绍逻辑覆盖的几种方法，然后单独介绍基本路径测试的方法，其中涵盖有环复杂度的概念。

　　1.语句覆盖：设计若干测试用例，运行所测程序，使得每一可执行语句至少执行一次。(是最弱的逻辑覆盖准则)

　　2.判定覆盖：设计若干测试用例，运行所测程序，使得程序中每个判断的取真分支和取假分支至少经历一次。(又称分支覆盖)

　　3.条件覆盖：设计若干测试用例，运行所测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。

　　4.判定-条件覆盖：设计若干测试用例，运行所测程序，使得判定中的每个条件可能取值至少执行一次，同时每个判定的所有可能结果至少执行一次。换言之，即是要求各个判断的所有可能条件取值组合至少执行一次。(可以将多重条件的判定分解，形成基本判断条件，这样即可有效的检查所有条件是否正确了)

　　5.条件组合覆盖：设计若干测试用例，运行所测程序，使得程序中每个判断的所有可能的条件取值组合至少执行一次。

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