图5.11循环的分类 对于简单循环,测试应包括以下几种。其中的n表示循环允许的最大次数。 ■零次循环:从循环入口直接跳到循环出口 次循环:査找循环初始值方面的错误 二次循环:检查在多次循环时才能暴露的错误。 m次循环:此时的m<n,也是检査在多次循环时才能暴露的错误 最大次数循环、比最大次数多一次的循环、比最大次数少一次的循环。 对于嵌套循环,不能将简单循环的测试方法简单地扩大到嵌套循环,因为可能的测试数 目将随嵌套层次的增加呈几何倍数增长。这可能导致一个天文数字的测试数目。下面给出一 种有助于减少测试数目的测试方法 除最内层循环外,从最内层循环开始,置所有其它层的循环为最小值 对最内层循环做简单循环的全部测试。测试时保持所有外层循环的循环变量为最小值。 另外,对越界值和非法值做类似的测试 ·逐步外推,对其外面一层循环进行测试。测试时保持所有外层循环的循环变量取最小 值,所有其它嵌套内层循环的循环变量取“典型”值 反复进行,直到所有各层循环测试完毕 对全部各层循环同时取最小循环次数,或者同时取最大循环次数。对于后一种测试 由于测试量太大,需人为指定最大循环次数 对于连锁循环,要区别两种情况。如果各个循环互相独立,则连锁循环可以用与简单循 环相同的方法进行测试。例如,有两个循环处于连锁状态,则前一个循环的循环变量的值就 可以做为后一个循环的初值。但如果几个循环不是互相独立的,则需要使用测试嵌套循环的 办法来处理 对于非结构循环,应该使用结构化程序设计方法重新设计测试用例。 (4)基本路径测试 如果把覆盖的路径数压缩到一定限度内,例如,程序中的循环体只执行零次和一次,就 成为基本路径测试。它是在程序控制流图的基础上,通过分析控制构造的环路复杂性,导出 基本可执行路径集合,从而设计测试用例的方法 设计出的测试用例要保证在测试中,程序的每一个可执行语句至少要执行一次 ①程序的控制流图 控制流图是描述程序控制流的一种图示方法。基本控制构造的图形符号如图5.12所示。 符号O称为控制流图的一个结点,一组顺序处理框可以映射为一个单一的结点。控制流图中 的箭头称为边,它表示了控制流的方向,在选择或多分支结构中分支的汇聚处,即使没有执 行语句也应该有一个汇聚结点。边和结点圈定的区域叫做区域,当对区域计数时,图形外的 区域也应记为一个区域。 顺序结构 F选择结构ⅧIL重复结构UML重复结构ASE多分支结构 图5.12控制流图的各种图形符号 如果判定中的条件表达式是复合条件时,即条件表达式是由一个或多个逻辑运算符 1414 图 5.11 循环的分类 对于简单循环，测试应包括以下几种。其中的 n 表示循环允许的最大次数。 ▪ 零次循环：从循环入口直接跳到循环出口。 ▪ 一次循环：查找循环初始值方面的错误。 ▪ 二次循环：检查在多次循环时才能暴露的错误。 ▪ m 次循环：此时的 m＜n，也是检查在多次循环时才能暴露的错误。 ▪ 最大次数循环、比最大次数多一次的循环、比最大次数少一次的循环。 对于嵌套循环，不能将简单循环的测试方法简单地扩大到嵌套循环，因为可能的测试数 目将随嵌套层次的增加呈几何倍数增长。这可能导致一个天文数字的测试数目。下面给出一 种有助于减少测试数目的测试方法。 ▪ 除最内层循环外，从最内层循环开始，置所有其它层的循环为最小值； ▪ 对最内层循环做简单循环的全部测试。测试时保持所有外层循环的循环变量为最小值。 另外，对越界值和非法值做类似的测试。 ▪ 逐步外推，对其外面一层循环进行测试。测试时保持所有外层循环的循环变量取最小 值，所有其它嵌套内层循环的循环变量取“典型”值。 ▪ 反复进行，直到所有各层循环测试完毕。 ▪ 对全部各层循环同时取最小循环次数，或者同时取最大循环次数。对于后一种测试， 由于测试量太大，需人为指定最大循环次数。 对于连锁循环，要区别两种情况。如果各个循环互相独立，则连锁循环可以用与简单循 环相同的方法进行测试。例如，有两个循环处于连锁状态，则前一个循环的循环变量的值就 可以做为后一个循环的初值。但如果几个循环不是互相独立的，则需要使用测试嵌套循环的 办法来处理。 对于非结构循环，应该使用结构化程序设计方法重新设计测试用例。 (4) 基本路径测试 如果把覆盖的路径数压缩到一定限度内，例如，程序中的循环体只执行零次和一次，就 成为基本路径测试。它是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出 基本可执行路径集合，从而设计测试用例的方法。 设计出的测试用例要保证在测试中，程序的每一个可执行语句至少要执行一次。 ① 程序的控制流图 控制流图是描述程序控制流的一种图示方法。基本控制构造的图形符号如图 5.12 所示。 符号○称为控制流图的一个结点，一组顺序处理框可以映射为一个单一的结点。控制流图中 的箭头称为边，它表示了控制流的方向，在选择或多分支结构中分支的汇聚处，即使没有执 行语句也应该有一个汇聚结点。边和结点圈定的区域叫做区域，当对区域计数时，图形外的 区域也应记为一个区域。 图 5.12 控制流图的各种图形符号 如果判定中的条件表达式是复合条件时，即条件表达式是由一个或多个逻辑运算符