西安理工大学《软件测试技术》3-2基于图的测试理论.pptVIP

* * ? Ammann Offutt ? Ammann Offutt 软件测试基于图的测试技术 计算机学院软件工程系 Email:Xiahui_1@163.com TelphoneQQ不聊天) 基于图的测试 图一般来自于以下资源 控制流图 活动图 状态图 基于图的测试试图以一种标准去“覆盖”图 图的定义 节点集合N, N 非空 初始节点集合N0, N0 非空 终止节点集合Nf, Nf 非空 边集合E, 边是从一个节点连接到另一个节点 ( ni , nj ), i 是前趋, j 后继 图举例 0 2 1 3 N0 = { 0 } Nf = { 3 } 9 0 4 3 7 1 5 8 2 6 N0 = { 0, 1, 2 } Nf = { 7, 8, 9 } 图的路径 路径(path) ：节点的有序序列– [n1, n2, …, nM] 每个节点对是一个边 长度 (length): 边的数量 单节点的路径长度为0 子路径(subpath) : 路径p的子节点序列，称为p的子路径 Reach (n) : 能从节点n到达的子图 9 7 8 0 1 2 4 3 5 6 路径 [ 0, 3, 7 ] [ 1, 4, 8, 5, 1 ] [ 2, 6, 9 ] Reach (0) = { 0, 3, 4, 7, 8, 5, 1, 9 } Reach ({0, 2}) = G Reach([2,6]) = {6, 9} 测试路径和SESE图 测试路径(test path) : 从初始节点出发，终止节点结束的路径 测试路径表示测试用例的执行 一些测试路径可以测试到 一些测试路径不可能测试到 SESE 图 : 所有的测试路径从一个节点出发，终止于另一个节点 单入口，单出口 N0 和 Nf 只有一个 0 2 1 6 3 5 4 图例 4个测试路径 [ 0, 1, 3, 4, 6 ] [ 0, 1, 3, 5, 6 ] [ 0, 2, 3, 4, 6 ] [ 0, 2, 3, 5, 6 ] 测试和测试路径 * test 1 test 2 test 3 many-to-one test 1 test 2 test 3 many-to-many 测试路径1 测试路径 2 测试路径 3 不确定性软件– 一个测试可能执行不同的测试路径 测试路径 确定性软件 – 一个测试可能执行相同的测试路径 基于图的覆盖 基于图的覆盖过程: 对软件以图的方式建模 确定测试用例去访问一组特殊的节点、边、子路径的集合。 * 基于图的覆盖准则 结构化覆盖准则: 根据图中的点或边生成测试用例 数据流覆盖准则: 根据变量的定义和引用生成测试用例 基于节点和边的覆盖 最简单的覆盖标准是覆盖图中的每一个节点和边 节点覆盖(Node Coverage,NC) : 测试用例集T可以访问所有可以到达的节点 边覆盖(Edge Coverage,EC) : 测试用例集T可以访问所有可以到达的边 NC 和 EC 当属于下面情况时不同 在节点对之间存在一个边和另一个子路径，比如if-else语句 NC: T = { 0, 1, 2 } Test Path = [ 0, 1, 2 ] EC: T = { (0,1), (0, 2), (1, 2) } Test Paths = [ 0, 1, 2 ] [ 0, 2 ] 覆盖多个边 边对覆盖(Edge-Pair Coverage,EPC) : 测试用例集T可以访问所有长度为2的子路径 完全路径覆盖(Complete Path Coverage,CPC) : 测试用例集T可以访问所有的路径 逻辑扩展直到所有路径覆盖… 如果图中存在循环，则无法实现 结构化覆盖举例 节点覆盖 T = { 0, 1, 2, 3, 4, 5, 6 } Test Paths: [ 0, 1, 2, 3, 6 ] [ 0, 1, 2, 4, 5, 4, 6 ] 边覆盖 T = { (0,1), (0,2), (1,2), (2,3), (2,4), (3,6), (4,5), (4,6), (5,4) } Test Paths: [ 0, 1, 2, 3, 6 ] [ 0, 2, 4, 5, 4, 6 ] 边对覆盖 T = { [0,1,2], [0,2,3], [0,2,4], [1,2,3], [1,2,4], [2,3,6], [2,4,5], [2,4,6], [4,5,4], [5,4,5], [5,4,6] } Test Paths: [ 0, 1, 2, 3, 6 ] [ 0, 1, 2, 4, 6 ] [ 0, 2, 3, 6 ] [