(OR,AND,NAND,NOR)连接的逻辑表达式,则需要改复合条件的判定为一系列只有 单个条件的嵌套的判定。例如对应图5.13(a)的复合条件的判定,应该画成如图513(b)所 示的控制流图。条件语句 if a or b中条件a和条件b各有一个只有单个条件的判定结点。 判断结点 判断结点 if a oR b then procedure else procedure 图5.13复合逻辑下的控制流图 ②计算程序环路复杂性 进行程序的基本路径测试时,程序的环路复杂性给出了程序基本路径集合中的独立路径 条数,这是确保程序中每个可执行语句至少执行一次所必需的测试用例数目的上界 所谓独立路径,是指包括一组以前没有处理的语句或条件的一条路径。如在图5.14(b) 所示的控制流图中,一组独立的路径是 path2:1-2-3-4-5-10-1·l1 1-2-3-6-8-9-10-1-1l 路径 pathI,path2,path3,path4组成了图514(b)所示控制流图的一个基本路径集。只 要设计出的测试用例能够确保这些基本路径的执行,就可以使得程序中的每个可执行语句至 少执行一次,每个条件的取真和取假分支也能得到测试。基本路径集不是唯一的,对于给定 的控制流图,可以得到不同的基本路径集。 边 区域 结点 R2 区域 (a)程序流程图 (b)控制流图 图5.14程序流程图与对应的控制流图15 （OR，AND，NAND，NOR）连接的逻辑表达式，则需要改复合条件的判定为一系列只有 单个条件的嵌套的判定。例如对应图 5.13 (a) 的复合条件的判定，应该画成如图 5.13 (b) 所 示的控制流图。 条件语句 if a OR b 中条件 a 和条件 b 各有一个只有单个条件的判定结点。 图 5.13 复合逻辑下的控制流图 ② 计算程序环路复杂性 进行程序的基本路径测试时，程序的环路复杂性给出了程序基本路径集合中的独立路径 条数，这是确保程序中每个可执行语句至少执行一次所必需的测试用例数目的上界。 所谓独立路径，是指包括一组以前没有处理的语句或条件的一条路径。如在图 5.14(b) 所示的控制流图中，一组独立的路径是 path1：1 - 11 path2：1 - 2 - 3 - 4 - 5 - 10 - 1 - 11 path3：1 - 2 - 3 - 6 - 8 - 9 - 10 - 1 - 11 path4：1 - 2 - 3 - 6 - 7 - 9 - 10 - 1 - 11 路径 path1，path2，path3，path4 组成了图 5.14 (b) 所示控制流图的一个基本路径集。只 要设计出的测试用例能够确保这些基本路径的执行，就可以使得程序中的每个可执行语句至 少执行一次，每个条件的取真和取假分支也能得到测试。基本路径集不是唯一的，对于给定 的控制流图，可以得到不同的基本路径集。 (a) 程序流程图 (b) 控制流图 图 5.14 程序流程图与对应的控制流图