4 软件测试：软件测试方法概述创新.pptVIP

图的覆盖标准：基本 节点覆盖: 每个节点至少覆盖一次 边覆盖： 每个可到达的长度=1的路径至少覆盖一次。 边-对覆盖：每个可到达的长度=2的路径至少覆盖一次。 Path(t1)=[1,2,3,4,5] Path(t2)=[1,2,3,5] Path(t3)=[1,3,5] Path(t4)=[1,3,4,5] 节点覆盖= {t1} 边覆盖= {t1,t3} 边-对覆盖={t1,t2,t3,t4} 1 2 3 5 4 节点集={1,2,3,4,5} 边集={[1,2],[1,3],[2,3],[3,4],[3,5],[4,5]} 边-对集={[1,2,3],[1,3,4],[1,3,5],[2,3,4],[2,3,5],[3,4,5]} 【例】 图的覆盖标准：复杂（带环路） 准备知识： 独立路径：至少包含1条在其它独立路径中从未出现过的边的路径。 简单路径：除了第1个和最后1个节点可能是同一节点，没有节点在路径中出现多于1次。 主路径：最长的简单路径。 1 3 2 5 4 独立路径={[1,2,3],[1,2,3,4,2,5]} 简单路径={[1,2,5],[1,2,3,4],[2,3,4,2], [3,4,2,3], [4,2,3,4],[3,4,2,5]} 【例】 图的覆盖标准：复杂（带环路） 完全路径覆盖：覆盖所有测试路径 独立路径覆盖：覆盖每一条独立