⑤多重条件覆盖:多重条件覆盖就是设计足够的测试用例,运行被测程序,使得每个 判断的所有可能的条件取值组合至少执行一次 这是一种相当强的覆盖准则,可以有效地检查各种可能的条件取值的组合是否正确。它 不但可覆盖所有条件的可能取值的组合,还可覆盖所有判断的可取分支,但可能有的路径会 遗漏掉。测试还不完全。 ⑤路径测试:路径测试就是设计足够的测试用例,覆盖程序中所有可能的路径。这是 最强的覆盖准则。但在路径数目很大时,真正做到完全覆盖是很困难的,必须把覆盖路径数 目压缩到一定限度。下面我们做一分析 (3)关于控制结构测试的一些讨论 ①分支结构的路径数 当程序中判定多于一个时,形 成的分支结构可以分为两类:嵌套 PI 型分支结构和连锁型分支结构。如 P3 图59所示。对于嵌套型分支结构 若有n个判定语句,则需要m+1个81中2中s32 测试用例:但对连锁型分支结构, s3 若有n个判定语句,则需要有2个 测试用例,去覆盖它的2条路径 当n较大时将无法测试 为减少测试用例的数目,可采 用试验设计法,抽取部分路径进行 测试。由于抽样服从均匀分布,因 (a)嵌套型分支结构 (b)连锁型分支结构 此,在假定各条路径的重要性相同 图59分支的两种类 或暂不明确各条路径的重要性的情 况下可以做到均匀抽样。如果明确了各条路径的重要性,还可以采取加权的办法,筛选掉部 分路径,再用如下的措施进行抽样。具体步骤如下: i)设耦合型分支结构中有n个判定,计算满足关系式+1≤2m的最小自然数m )设t=2m,取正交表Lt,并利用它设计测试数据。 例如,一个耦合型分支结构中有三个判定语句P1,P2,P3。它全部路径是23=8条。 先计算3+1≤2m=t的t,得t=4。取正交表L4,如图5.10(a)所示,把每一列当做一个判定 每一行当做可取的测试用例,则正交表L4最多可取三个判定,分别代之以P1,P2,P3。判 定P1,P2,P3的取假分支和取真分支分别记作Sl、S2:S3、S4;S5、S6,用各个判定的取 假分支取代正交表L4中的“0”,用取真分支取代正交表中的“1”,就建立起一个测试路径矩 阵,如图5.10(b)所示。这样,测试路径数目从23=8条减少到3+1=4条 L4123 用例P1P2P3|路径 1000 S1S355S1-S3S5 2S3S6S2-S3-S6 3S1S46S1-S4-56 4110 4 S2 S4 S5 S2-S4-S6 图5.0(a)正交表L 图5.0(b)路径抽样矩阵 ②条件测试的策略 程序中的条件分为简单条件和复合条件。简单条件是一个布尔变量或一个关系表达式12 图 5.9 分支的两种类型 ⑤ 多重条件覆盖 ：多重条件覆盖就是设计足够的测试用例，运行被测程序，使得每个 判断的所有可能的条件取值组合至少执行一次。 这是一种相当强的覆盖准则，可以有效地检查各种可能的条件取值的组合是否正确。它 不但可覆盖所有条件的可能取值的组合，还可覆盖所有判断的可取分支，但可能有的路径会 遗漏掉。测试还不完全。 ⑤ 路径测试 ：路径测试就是设计足够的测试用例，覆盖程序中所有可能的路径。这是 最强的覆盖准则。但在路径数目很大时，真正做到完全覆盖是很困难的，必须把覆盖路径数 目压缩到一定限度。下面我们做一分析。 (3) 关于控制结构测试的一些讨论 ① 分支结构的路径数 当程序中判定多于一个时，形 成的分支结构可以分为两类：嵌套 型分支结构和连锁型分支结构。如 图 5.9 所示。对于嵌套型分支结构， 若有 n 个判定语句，则需要 n+1 个 测试用例；但对连锁型分支结构， 若有 n 个判定语句，则需要有 2 n 个 测试用例，去覆盖它的 2 n 条路径。 当 n 较大时将无法测试。 为减少测试用例的数目，可采 用试验设计法，抽取部分路径进行 测试。由于抽样服从均匀分布，因 此，在假定各条路径的重要性相同， 或暂不明确各条路径的重要性的情 况下可以做到均匀抽样。如果明确了各条路径的重要性，还可以采取加权的办法，筛选掉部 分路径，再用如下的措施进行抽样。具体步骤如下： ⅰ）设耦合型分支结构中有 n 个判定，计算满足关系式 n+1≤2 m 的最小自然数 m； ⅱ）设 t = 2 m，取正交表 Lt，并利用它设计测试数据。 例如，一个耦合型分支结构中有三个判定语句 P1，P2，P3。它全部路径是 2 3＝8 条。 先计算 3+1≤2 m = t 的 t，得 t = 4。取正交表 L4，如图 5.10 (a) 所示，把每一列当做一个判定， 每一行当做可取的测试用例，则正交表 L4 最多可取三个判定，分别代之以 P1，P2，P3。判 定 P1，P2，P3 的取假分支和取真分支分别记作 S1、S2；S3、S4；S5、S6，用各个判定的取 假分支取代正交表 L4 中的“0”，用取真分支取代正交表中的“1”，就建立起一个测试路径矩 阵，如图 5.10 (b) 所示。这样，测试路径数目从 2 3＝8 条减少到 3＋1＝4 条。 图 5.10 (a) 正交表 L4 图 5.10 (b) 路径抽样矩阵 ② 条件测试的策略 程序中的条件分为简单条件和复合条件。简单条件是一个布尔变量或一个关系表达式