lect06a-测试的理论基础.pptVIP

理论基础 测试用例设计的理论依据 主要内容 简单图论知识 覆盖准则 简单图论知识 无向图 图G V,E ，其中V n1, n2, …, nm 为有限非空集合，称为顶点集，ni为顶点，E e1, e2, …, ek 为有限集合，E称为边集，ei称为边。 ei u,v 为无序顶点对，称ei为无向边，若任意ei∈E都是无向边，则G称为无向图。 无向图相关定义 节点的度：节点n的度定义为该节点作为顶点的边的数目，记为deg n 路径：路径是一系列边的序列，该序列中任何连续的两个边都存在一个公共的顶点。 无向图相关定义 连接性：节点ni、nj是连接的，当且仅当ni、nj在同一条路径上。 组件：图的组件是相连节点的最大集合 图G的圈复杂度V（G ＝e－n＋2p，其中e为G的边数，n为节点数，p为组件数。 有向图 有向图： 图G V,E ，其中V n1, n2, …, nm 为有限非空集合，称为顶点集，ni为顶点，E e1, e2, …, ek 为有限集合，E称为边集，ei称为边。 ei u,v 为有序顶点对，称ei为有向边，若任意ei∈E都是有向边，则G称为有向图。 有向图 节点n的入度：有向图G中以n作为终点的边数目 节点n的出度：有向图G中以n作为起点的边数目 路径p是一个有向边的序列：相邻两条边满足前一条边的终点是后一条边的起点。 有向图 环路是一个开始节点与结束节点相同的有向路径 3-连接：有向图的两个节点ni、nj，当且仅当从ni到nj有一条路径，且nj到ni有一条路径。 强组件：有向图的强组件是3-连接节点的最大集合。如 n1 n3 n7 n2 n5 n6 n4 覆盖准则 路径覆盖准则 数据流覆盖准则 逻辑覆盖准则 输入空间的划分准则 覆盖准则 测试需求：是软件制品（artifact）的一个特殊元素，测试用例必须要满足或覆盖它。 测试需求通常成套出现，以TR表示一测试需求集合。 如目标是覆盖程序中所有判断，则每个判断导致两个测试需求：判断成真、判断成假。 若目标是每个方法被调用一次，则每个方法对应一个测试需求。 覆盖准则 覆盖准则：将测试需求加在一个测试集上的一个或一组规则。测试准则以一种完整明确的方式描述测试需求。 覆盖：对于覆盖准则C，给定一组测试需求TR，测试集T满足C是指当且仅当对于每一个TR中的测试需求tr，T中至少存在一个测试t，使t满足tr。 覆盖准则 覆盖率：给定一组测试需求TR和一个测试集T，覆盖率是被T满足的测试需求的数量与TR大小的比率。 有时满足覆盖准则代价昂贵，则满足覆盖率，如所有路径覆盖 有些需求是不能被满足的，如无法到达的代码 测试准则 准则包含性：若每个测试集T在满足覆盖准则C1的同时，也满足覆盖准则C2，则称C1包含C2。 C1的测试需求集是C2测试需求集的一个扩展，或者C1的测试需求与C2的测试需求之间存在一个多对一的映射。 直觉上， 测试准则C1包含C2，C1应该能够揭示更多错误。 图覆盖准则 图G≡ N,N0,Nf,E ，其中N为节点的非空集合，N0是始节点的非空集合，Nf是终节点的非空集合，E是边的集合，E是NxN的子集。边记为 ni,nj ，ni为前驱，nj为后继。 一条路径是节点的序列，其中相邻的节点是图G的一条边。路径长度定义为所包含边的数量。子路径是路径p的子序列。 图覆盖准则 节点可达：如果存在一条从节点ni到n的路径，称节点n为从节点ni开始可达的。 reachG x ：是从参数x开始可达的。参数可以是一个节点、一条边或节点集合 reachG n 是G的一个子图。 reachG N0 是G的一个子图，它是从始节点可达的 图覆盖准则 测试路径：从N0中某节点开始到Nf中某节点结束的一条路径称为一条测试路径。 如果节点n在测试路径p中，则称测试路径p访问节点n；如果边e在测试路径中，则称测试路径p访问边e。如果q是测试路径p的子路径，则称测试路径遍历子路径q。 图覆盖准则 pathG t 表示测试用例t所执行的图G的测试路径。 path T 表示测试集T测试所执行的测试路径的集合，path T path t |t∈T 图覆盖准则 图覆盖：给定一个关于图G的准则C的测试需求集合TR，测试集合T在图G上满足准则C当且仅当对TR中每个测试需求tr，path T 中至少存在一条测试路径p满足tr。 结构化覆盖准则 涉及控制流的准则称为结构化覆盖准则 节点覆盖： 节点覆盖准则NC：TR包含图G中每个可达的节点 测试集合T满足图G上的节点覆盖准则当且仅当N中每个语法可达节点n在path T 存在一条路径p，p访问n。 TR包含图G中长度为零的可达路径 结构化覆盖准则 边覆盖（EC）：TR包含图G中长度不大于1的