软件测试技术-实验四.pdfVIP

云路鹏程九万里，雪窗萤火二十年。——《王实甫》 软件测试技术-实验四 实验四.结构性测试 1 实验类型 实验类型为验证型，4 个学时。 2 实验⽬的 （1 ）掌握结构性测试技术，并能应⽤结构性测试技术设计测试⽤例； （2 ）对测试⽤例进⾏优化设计； 3 背景知识 结构性测试是知道产品内部⼯作过程，检测产品内部动作是否按照规格说明书的规定正常进⾏。结构性测试允许测试⼈员利⽤程序内部的逻辑 结构及有关信息，设计或选择测试⽤例，对程序所有逻辑路径进⾏测试。通过在不同点检查程序的状态，确定实际的状态是否与预期的状态⼀ 致。 ⼀、逻辑覆盖 结构性测试⼒求提⾼测试覆盖率。逻辑覆盖是对⼀系列测试过程的总称，它是在使⽤⽩盒测试法时，选⽤测试⽤例执⾏程序逻辑路径的⽅法。 逻辑覆盖按覆盖程度由低到⾼⼤致分为以下⼏类： （1 ）语句覆盖：设计若⼲测试⽤例，使程序中每⼀可执⾏语句⾄少执⾏⼀次； （2 ）判断覆盖：设计⽤例，使程序中的每个逻辑判断的取真取假分⽀⾄少经历⼀次； （3 ）条件覆盖：设计⽤例，使判断中的每个条件的可能取值⾄少满⾜⼀次； （4 ）判断/条件覆盖：设计⽤例，使得判断中的每个条件的所有可能结果⾄少出现⼀次，⽽且判断本⾝所有可能结果也⾄少出现⼀次； （5 ）条件组合覆盖。设计⽤例，使得每个判断表达式中条件的各种可能组合都⾄少出现⼀次；显然，满⾜⑤的测试⽤例也⼀定是满⾜②、 ③、④的测试⽤例。 （6 ）路径覆盖。设计⾜够的测试⽤例，使程序的每条可能路径都⾄少执⾏⼀次。 如果把路径覆盖和条件组合覆盖结合起来，可以设计出检错能⼒更强的测试数据⽤例。 ⼆、基本路径测试 如果把覆盖的路径数压缩到⼀定限度内，例如，程序中的循环体只执⾏零次和⼀次，就成为基本路径测试。它是在程序控制流图的基础上，通 过分析控制构造的环路复杂性，导出基本可执⾏路径集合，从⽽设计测试⽤例的⽅法。 设计出的测试⽤例要保证在测试中，程序的每⼀个可执⾏语句⾄少要执⾏⼀次。 ①程序的控制流图 控制流图是描述程序控制流的⼀种图⽰⽅法。基本控制构造的图形符号如图所⽰。符号○称为控制流图的⼀个结点，⼀组顺序处理框可以映射 为⼀个单⼀的结点。控制流图中的箭头称为边，它表⽰了控制流的⽅向，在选择或多分⽀结构中分⽀的汇聚处，即使没有执⾏语句也应该有⼀ 个汇聚结点。边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为⼀个区域。 图3-1 控制流图的各种图形符号 如果判定中的条件表达式是复合条件时，即条件表达式是由⼀个或多个逻辑运算符 （OR ，AND ，NAND ，NOR ）连接的逻辑表达式，则需要 改复合条件的判定为⼀系列只有单个条件的嵌套的判定。例如对应图3-2. (a) 的复合条件的判定，应该画成如图3-2. (b) 所⽰的控制流图。条件 语句if a OR b 中条件a 和条件b 各有⼀个只有单个条件的判定结点。 云路鹏程九万里，雪窗萤火二十年。——《王实甫》 人之为学，不日进则日退，独学无友，则孤陋而难成；久处一方，则习染而不自觉。——《顾炎武》 图3-2 复合逻辑下的控制流图 ②计算程序环路复杂性 进⾏程序的基本路径测试时，程序的环路复杂性给出了程序基本路径集合中的独⽴路径条数，这是确保程序中每个可执⾏语句⾄少执⾏⼀次所 必需的测试⽤例数⽬的上界。 所谓独⽴路径，是指包括⼀组以前没有处理的语句或条件的⼀条路径。如在图3-3(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组成了图3-3 (b) 所⽰控制流图的⼀个基本路径集。只要设计出的测试⽤例能够确保这些基本路径的执⾏， 就可以使得程序中的每个可执⾏语句⾄少执⾏⼀次，每个条件的取真分⽀和取假分⽀也能得到测试。基本路径集不是唯⼀的，对于给定的控制 流图，可以得到不同的基本路径集。 (a) 程序流程图(b) 控制流图 图3-3 程序流程图与对应的控制流图 通常环路复杂性可⽤以下三种⽅法求得。 将环路复杂性定义为控制流图中的区域数。 穷则独善其身，达则兼善天下。——《孟子》 以家为家，以乡为乡，以国为国，以天下为天下。——《管子·牧民》 设E为控制流图的边数，N为图的结点数，则定义环路复杂性为V(G) ＝E－N ＋2。 若设P为控制流图中