第九讲 路径测试.pptVIP

第九章 路径测试 程序图 三角形程序的程序图 DD-路径 DD-路径与有向图的关系 DD-路径的定义 三角形问题的DD-路径类型 三角形程序的DD-路径图 程序的DD-路径图 测试覆盖指标 语句与判断测试 DD-路径测试 DD-路径的依赖对偶 多条件覆盖 循环覆盖 循环覆盖示意图 测试覆盖分析器 基路径测试 McCabe的控制图 McCabe的强连接图 McCabe的基路径方法 McCabe的路径/边的关联矩阵 McCabe的基路径算法 McCabe的基路径算法举例 三角形问题应用McCabe的基路径方法 三角形问题应用McCabe的方法的问题 三角形问题应用McCabe的方法解决方法 结构化程序设计构造 三角形问题结构化程序设计构造压缩 三角形问题结构化程序设计构造压缩 非结构化程序的测试 指导方针与观察 总结 * 东北大学软件学院 东北大学软件学院 定义 给定采用命令式程序设计语言编写的一段程序，其程序图是一种有向图，图中的节点表示语句片段，边表示控制流。(完整语句是“默认”的语句片段)。 东北大学软件学院 4 5 6 7 8 9 10 11 12 13 21 14 15 16 17 18 19 20 22 23 东北大学软件学院 结构性测试最著名的形式以叫做决策到决策路径(DD-路径)的结构为基础(Miller，1977)。 这个名称指语句的一种序列，按照Miller的话说，从决策语句的“出路”开始，到下一个决策语句的“入路”结束，在这种序列中没有内部分支，因此对应的节点像排列起来的一行多米诺骨牌，当第一张牌推倒后，序列中的其他牌也会倒下。 东北大学软件学院 DD-路径可通过有向图中的节点路径定义，可以叫做路径链，其中链是一条起始和终止节点不同的路径，并且每个节点都满足内度=1和外度=1。 初始节点 终止节点 内部节点 东北大学软件学院 定义 DD-路径是程序图中的一条链，使得： 情况1：由一个节点组成，内度=0。 情况2：由一个节点组成，外度=0。 情况3：由一个节点组成，内度≥ 2或外度≥2。 情况4：由一个节点组成，内度=1并且外度=1。 情况5：长度≥1的最大链。 东北大学软件学院 2 最后 23 3 O 22 4 G 21 3 N 20 3 M 19 4 L 18 4 K 17 3 J 16 4 I 15 3 H 14 3 F 13 3 E 12 4 D 11 4 C 10 3 B 9 5 A 5-8 1 第一 4 定义情况 DD-路径名称 程序图节点 东北大学软件学院 第一 A B C D E F G H I J K L M N O 最后 东北大学软件学院 定义 给定采用命令式语言编写的一段程序，其DD-路径图是有向图。其中，节点表示其程序图的DD-路径，边表示连续DD-路径之间的控制流。 东北大学软件学院 测试覆盖指标，是度量一组测试用例覆盖(或执行)某个程序程度的工具。 所有可能的执行路径 C∞ 路径具有“统计重要性”的部分 Cstat 包含最多k次循环的所有程序路径（通常k=2） Cik 多条件覆盖 CMCC C1覆盖+DD-路径的所有依赖对偶 Cd C1覆盖+循环覆盖 C2 所有判断的每种分支 C1P 所有DD-路径（判断分支） C1 所有语句 C0 覆盖描述 指标 东北大学软件学院 这些覆盖指标要求找出一组测试用例，使得当执行时，程序图的所有节点都至少走过一次。 东北大学软件学院 如果每条DD-路径都被遍历(C1指标)，则我们知道每个判断分支都被执行，这要求遍历DD-路径图中的每条边。 东北大学软件学院 Cd涉及第10章将要讨论的问题，即数据流测试。 DD-路径对偶之间的最常见的依赖关系是定义/引用关系，其中变量在一个DD-路径中定义(接受值)，在另一个DD-路径中引用。 东北大学软件学院 不是直接遍历判断是到其真或假分支，而应该研究可能出现分支的不同方式。 这里可以看到一种有意思的折衷：语句复杂性和路径复杂性。 多条件覆盖可保证这种复杂性不会被DD-路径覆盖所掩盖。 东北大学软件学院 串联循环是不相交的简单循环序列。 嵌套循环是一个循环包含在另一个循环中的循环。 Beizer所说的复杂循环，如果跳转到某个循环内(或跳转出)，而这个分支位于其他循环的内部，就是复杂循环。 东北大学软件学院 第一 A B C D 最后 第一 A B C D 最后 第一 A B C D 最后 东北大学软件学院 覆盖分析器是一类测试工具，可用于自动化测试支持。 东北大学软件学院 空间中的一切都可以用基表示，并且如果一个基元素被删除，则这种覆盖特性也会丢失。 对测试的潜在意义是，如果可以把程序看做是一种向量空间，则这种空间的基