赵良《软件工程》软件测试.pptVIP

* 基本路径测试 基本路径测试 基本路径测试方法把覆盖的路径数压缩到一定限度内，程序中的循环体最多只执行一次。 它是在程序控制流图的基础上，分析控制构造的环路复杂性，导出基本可执行路径集合，设计测试用例的方法。设计出的测试用例要保证在测试中，程序的每一个可执行语句至少要执行一次。 1. 程序的控制流图 结点，表示一个或多个无分支的PDL语句或源程序语句。 箭头为边，表示控制流的方向。 顺序结构 IF选择结构 WHILE重复结构 UNTIL重复结构 CASE多分支结构 在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。 边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。 如果判断中的条件表达式是由一个或多个逻辑运算符 (OR, AND, ...) 连接的复合条件表达式，则需改为 一系列只有单个条件的嵌套的判断。 1 2，3 6 4，5 7 8 9 10 11 1 2，3 6 4，5 7 8 9 10 11 定点 区域 边 If a OR b then procedure x; else procedure y; a b x y x 判定节点 判定节点 复合逻辑表达式（一） If a AND b then procedure x; else procedure y; a b y x y 复合逻辑表达式（二） 2. 程序环路复杂性 程序的环路复杂性给出了程序基本路径集中的独立路径条数，这是确保程序中每个可执行语句至少执行一次所必需的测试用例数目的上界。 从控制流图来看，一条独立路径是至少包含有一条在其它独立路径中从未有过的边的路径。 E为边的条数,或控制转移次数,P为控制路径个数,N表示结点个数. 环路复杂性V(G) V(G)=E-N+2 V(G)=P+1 (判定结点的个数) V(G)=区域数 程序环路复杂性(续) 1 2，3 6 4，5 7 8 9 10 11 例如，在图示的控制流图中，一组独立的路径是path1：1 - 11path2：1 - 2 - 3 - 4 - 5 - 10 - 1 - 11path3：1 - 2 - 3 - 6 - 8 - 9 - 10 - 1 - 11path4：1 - 2 - 3 - 6 - 7 - 9 - 10 - 1 - 11 路径 path1，path2，path3，path4组成了控制流图的一个基本路径集。 3.导出测试用例 导出测试用例，确保基本路径集中的每一条路径的执行。 根据判断结点给出的条件，选择适当的数据以保证某一条路径可以被测试到 — 用逻辑覆盖方法。 每个测试用例执行之后，与预期结果进行比较。如果所有测试用例都执行完毕，则可以确信程序中所有的可执行语句至少被执行了一次。 必须注意，一些独立的路径(如例中的路径1)，往往不是完全孤立的，有时它是程序正常的控制流的一部分，这时，这些路径的测试可以是另一条路径测试的一部分。 (A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F a b d c e 黑盒测试用例的设计 等价类划分 边界值分析 错误推测法 因果图 黑盒测试用例的设计 等价类划分方法把所有可能的输入数据，即程序的输入域划分成若干部分，然后从每一部分中选取少数有代表性的数据做为测试用例。 使用这一方法设计测试用例要经历划分等价类（列出等价类表）和选取测试用例两步。 划分等价类 等价类是指某个输入域的子集合。在该子集合中，各个输入数据对于揭露程序中的错误都是等效的。测试某等价类的代表值就等价于对这一类其它值的测试。 等价类的划分有两种不同的情况：① 有效等价类：对于程序的规格说明来说，是合理的，有意义的输入数据构成的集合。 ②无效等价类：对于程序的规格说明来说，是不合理的，无意义的输入数据构成的集合。 等价类划分的原则 (1) 如果输入条件规定了取值范围，或值的个数，则可以确立一个有效等价类和两个无效等价类。 (2) 如果输入条件规定了输入值的集合，或者是规定了“必须如何”的条件，这时可确立一个有效等价类和一个无效等价类。 (3) 如果输入条件是一个布尔量，则可以确定一个有效等价类和一个无效等价类。 (4) 如果规定了输入数据的一组值，而且程序要对每个输入值分别进行处理。则可以确定一个有效等价类和一个无效等价类。 (5) 如果规定了输入数据必须遵守的规则，则可以确立一个有效等价类（符合规则）和若干个无效等价类（从不同角度违反规则）。 边界值分析 大量的错误是发生在输入或输出范围的边界上，而不是在输入范围的内部。 这里所说的边界是指，相当于输入等价类和输出等价类而言，稍高于其边界值及稍低于其边界值