3.条件覆盖

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

　　条件覆盖深入到判定中的每个条件，但可能不能满足判定覆盖的要求。

　　4.判定－条件覆盖

　　判定－条件覆盖就是设计足够的测试用例，使得判断中每个条件的所有可能取值至少执行一次，同时每个判断本身的所有可能判断结果至少执行一次。换言之，即是要求各个判断的所有可能的条件取值组合至少执行一次。

　　判定－条件覆盖有缺陷。从表面上来看，它测试了所有条件的取值。但是事实并非如此。往往某些条件掩盖了另一些条件。会遗漏某些条件取值错误的情况。为彻底地检查所有条件的取值，需要将判定语句中给出的复合条件表达式进行分解，形成由多个基本判定嵌套的流程图。这样就可以有效地检查所有的条件是否正确了。

图 10-4-3（a）　复合判定的例子

图 10-4-3（b）　改为单个条件判定的嵌套结构的例子

　　5.多重条件覆盖

　　多重条件覆盖就是设计足够的测试用例，运行被测程序，使得每个判断的所有可能的条件取值组合至少执行一次。

　　这是一种相当强的覆盖准则，可以有效地检查各种可能的条件取值的组合是否正确。它不但可覆盖所有条件的可能取值的组合，还可覆盖所有判断的可取分支，但可能有的路径会遗漏掉。测试还不完全。

　　6.路径测试

　　路径测试就是设计足够的测试用例，覆盖程序中所有可能的路径。这是最强的覆盖准则。但在路径数目很大时，真正做到完全覆盖是很困难的，必须把覆盖路径数目压缩到一定限度。下面我们做一分析。

　　三、关于控制结构测试的一些讨论

　　1.分支结构的路径数

　　当程序中判定多于一个时，形成的分支结构可以分为两类：嵌套型分支结构和连锁型分支结构。如图 10-4-4所示。对于嵌套型分支结构，若有n个判定语句，则需要n+1个测试用例；但对连锁型分支结构，若有n个判定语句，则需要有 个测试用例，去覆盖它的 条路径。当n较大时将无法测试。

（a）嵌套型分支结构