软件测试流程.docx

软件测试的流程

无锡超正软件有限公司
二零一六年七月
图覆盖问题
图是测试中最常用到的结构,测试通常打算以某种方式去“覆盖”图。
图的定义:
节点的集合N,N为非空
起始结点的集合N0 , N0非空
终止节点的集合Nf,Nf 非空
边的集合E ,每个边表示从一个节点连到另一个;( ni , nj ), i 是前驱, j 是后继
与图相关的概念:
路径: 一个节点序列[n1, n2, …, nM],任何一组相邻的节点都表示一条边
长度: 路径中边的个数,一个单独节点的路径长度是0
子路径: 路径p中的一个由若干个节点组成的自序列叫做p的子路径
可达(n),Reach (n) : 从节点n开始,有子路径可以达到某个节点,就程那个节点从n节点可达
测试路径:一个从起始节点出发到达终止节点的路径。测试路径表示了测试用例的执行:一些测试路径会被许多测试执行;一些测试路径不会被任何测试执行
SESE图:所有的测试路径都从唯一的一个节点出发,到另一个节点终止。
单一入口,单一出口
N0 和 Nf 分别是有且只有一个
访问& 遍历
Visit (访问):如果n在路径p中,那么测试路径p访问了节点n
Tour(遍历):如果边e在路径p中,那么测试路径p访问了边e
测试&测试路径
path (t):测试t所执行的路径
path (T):由测试集T执行的测试路径集
每一个测试执行且仅执行一条测试路径。
如果图中有一个边的序列表示从一个地址到另一个地址,那么就说这个地址(节点或者边)可以从另外一个地址可达。
Syntactic reach(语义可达):图中存在某个子路径
Semantic reach(实际可达):一个测试可以执行这个子路径
确定性软件(Deterministic software) –测试总是执行同一个路径
不确定性软件(Non-deterministic software) –测试执行不同路径
测试&图覆盖
在测试中,我们按一下方法使用图
测试需求(TR):描述了测试路径的属性
测试准则:规定和定义了测试的需求
Structural Coverage Criteria (结构化覆盖准则): 只是按照节点和边来定义图
Data Flow Coverage Criteria (数据流覆盖准则): 要求一个图用变量的引用来注解
节点覆盖与边覆盖
节点覆盖(NC):测试集T 满足对图G的节点覆盖当且仅当对于N中每一个语义可达的节点
n,path(T)中都有一些路径p可以访问到。即, TR 包含图G中每一个可达的节点
边覆盖(EC):TR 包含了图G中每一个可达的长度最多为1的路径(“长度最多为1”允许只有一个节点和一条边的图的存在)
边覆盖比节点覆盖稍强
NC 和EC 只是当两个节点之间有不同的字路径连接时不同(比如说“if-else”语句)
多边覆盖:
边对覆盖(EPC):TR 包含了图G中每一个长度最多为2的可达路径(“长度最多为2”表示包括含有少于2条边的图)。边对覆盖要求一对边,或者说长度为2的所有子路径都要被覆盖
全路径覆盖(CPC):TR 包含图G中的所有路径。逻辑的延伸时要求多有的路径都被覆盖
具体路径覆盖(SPC):TR 包含了一个测试路径集合S,S被看作是一个参数
图中的循环:
如果一个图包含了一个循环,那么它便有了无数多个路径。所以,CPC是不可行的;SPC不甚理想,因为这个结果是主观的,因测试人员而异
Simple Path (简单路径):一个从节点ni到nj 的路径,当它除了第一个和最后一个节点相同的时候,没有其他节点出现次数多于1次,那么这个节点是简单路径。
没有内部循环
包含了其他所有的子路径
一个循环是一个简单路径
Prime Path(基本路径) : 一个简单路径,满足其不会是任何其他简单路径的子路径。
基本路径覆盖:TR包含了图G中的所有基本路径
要求循环被执行而且可以被跳过的一种简单的、优雅地、有限的规则
可以遍历长度为0、1…的所有路径。即,它包含了节点覆盖和边覆盖
Round-Trip Path : 一个起点和终点是同一个节点的基本路径
Simple Round Trip Coverage (SRTC):对于图G中每一个可达的节点,TR 包含了至少一个这个节点的round-trip路径
Complete Round Trip Coverage (CRTC):对于图G中的每一个可达的节点,TR包含了所有round-trip路径
这个规则忽略了不再round trip中的节点。即,他们不包括边对覆盖、边覆盖和节点覆盖
Touring、Sidetrips & Detours