（b）连锁型分支结构

图 10-4-4　分支的两种类型

　　为减少测试用例的数目，可采用试验设计法，抽取部分路径进行测试。由于抽样服从均匀分布，因此，在假定各条路径的重要性相同，或暂不明确各条路径的重要性的情况下可以做到均匀抽样。如果明确了各条路径的重要性，还可以采取加权的办法，筛选掉部分路径，再用如下的措施进行抽样。具体步骤如下：

　　（1） 设耦合型分支结构中有n个判定，计算满足关系式 的最小自然数m；

　　（2） 设 ，取正交表L4，并利用它设计测试数据。

　　例如，一个耦合型分支结构中有三个判定语句P1，P2，P3。它全部路径是23＝8条。先计算 的t，得t= 4。取正交表L4，如图10-4-5（a）所示，把每一列当做一个判定，每一行当做可取的测试用例，则正交表L4最多可取三个判定，分别代之以P1，P2，P3。判定P1，P2，P3的取假分支和取真分支分别记作S1、S2；S3、S4；S5、S6，用各个判定的取假分支取代正交表L4中的“0”，用取真分支取代正交表中的“1”，就建立起一个测试路径矩阵，如图 10-4-5（b）所示。这样，测试路径数目从 条减少到3＋1＝4条。

图 10-4-5（a）　正交表L4

图 10-4-5（b）　路径抽样矩阵

　　2.条件测试的策略

　　程序中的条件分为简单条件和复合条件。简单条件是一个布尔变量或一个关系表达式（可加前缀NOT），复合条件由简单条件通过逻辑运算符（AND、OR、NOT）和括号连接而成。如果条件出错，至少是条件中某一成分有错。条件中可能的出错类型有：布尔运算符错、布尔变量错、布尔括号错、关系运算符错、算术表达式错。

　　如果在一个判定的复合条件表达式中每个布尔变量和关系运算符最多只出现一次，而且没有公共变量，应用一种称之为BRO（分支与关系运算符）的测试法可以发现多个布尔运算符或关系运算符错，以及其他错误。