软件测试与质量补充

《软件测试与质量补充》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、软件测试与质量补充1、图覆盖问题图是测试中最常用到的结构，测试通常打算以某种方式去“覆盖”图。1、图的定义：（1）节点的集合N，N为非空（2）起始结点的集合N0，N0非空（3）终止节点的集合Nf，Nf非空（4）边的集合E，每个边表示从一个节点连到另一个；(ni,nj),i是前驱,j是后继2、与图相关的概念：（1）路径:一个节点序列[n1,n2,…,nM]，任何一组相邻的节点都表示一条边（2）长度:路径中边的个数，一个单独节点的路径长度是0（3）子路径:路径p中的一个由若干个节点组成的自序列叫做p的子路径（4）可达(n)，Reach(n):从节

2、点n开始，有子路径可以达到某个节点，就程那个节点从n节点可达（5）测试路径：一个从起始节点出发到达终止节点的路径。测试路径表示了测试用例的执行：一些测试路径会被许多测试执行；一些测试路径不会被任何测试执行（6）SESE图：所有的测试路径都从唯一的一个节点出发，到另一个节点终止。1）单一入口，单一出口2）N0和Nf分别是有且只有一个（7）访问&遍历1）Visit（访问）：如果n在路径p中，那么测试路径p访问了节点n2）Tour（遍历）：如果边e在路径p中，那么测试路径p访问了边e（8）测试&测试路径1）path(t)：测试t所执行的路径2）pa

3、th(T)：由测试集T执行的测试路径集3）每一个测试执行且仅执行一条测试路径。4）如果图中有一个边的序列表示从一个地址到另一个地址，那么就说这个地址（节点或者边）可以从另外一个地址可达。1、Syntacticreach（语义可达）：图中存在某个子路径2、Semanticreach（实际可达）：一个测试可以执行这个子路径3、确定性软件（Deterministicsoftware）–测试总是执行同一个路径4、不确定性软件（Non-deterministicsoftware）–测试执行不同路径（9）测试&图覆盖1）在测试中，我们按一下方法使用图2）

4、测试需求(TR)：描述了测试路径的属性3）测试准则：规定和定义了测试的需求1、StructuralCoverageCriteria（结构化覆盖准则）:只是按照节点和边来定义图1、DataFlowCoverageCriteria（数据流覆盖准则）:要求一个图用变量的引用来注解1、节点覆盖与边覆盖（1）节点覆盖(NC)：测试集T满足对图G的节点覆盖当且仅当对于N中每一个语义可达的节点n，path(T)中都有一些路径p可以访问到。即，TR包含图G中每一个可达的节点（2）边覆盖(EC)：TR包含了图G中每一个可达的长度最多为1的路径（“长度最多为1”

5、允许只有一个节点和一条边的图的存在）（3）边覆盖比节点覆盖稍强（4）NC和EC只是当两个节点之间有不同的字路径连接时不同(比如说“if-else”语句)2、多边覆盖：（1）边对覆盖(EPC)：TR包含了图G中每一个长度最多为2的可达路径（“长度最多为2”表示包括含有少于2条边的图）。边对覆盖要求一对边，或者说长度为2的所有子路径都要被覆盖（2）全路径覆盖(CPC)：TR包含图G中的所有路径。逻辑的延伸时要求多有的路径都被覆盖（3）具体路径覆盖(SPC)：TR包含了一个测试路径集合S，S被看作是一个参数3、图中的循环：（1）如果一个图包含了一个

6、循环，那么它便有了无数多个路径。所以，CPC是不可行的；SPC不甚理想，因为这个结果是主观的，因测试人员而异（2）SimplePath（简单路径）：一个从节点ni到nj的路径，当它除了第一个和最后一个节点相同的时候，没有其他节点出现次数多于1次，那么这个节点是简单路径。1）没有内部循环2）包含了其他所有的子路径3）一个循环是一个简单路径（3）PrimePath（基本路径）:一个简单路径，满足其不会是任何其他简单路径的子路径。（4）基本路径覆盖：TR包含了图G中的所有基本路径1）要求循环被执行而且可以被跳过的一种简单的、优雅地、有限的规则2）可

7、以遍历长度为0、1…的所有路径。即，它包含了节点覆盖和边覆盖（5）Round-TripPath:一个起点和终点是同一个节点的基本路径1）SimpleRoundTripCoverage(SRTC)：对于图G中每一个可达的节点，TR包含了至少一个这个节点的round-trip路径2）CompleteRoundTripCoverage(CRTC)：对于图G中的每一个可达的节点，TR包含了所有round-trip路径3）这个规则忽略了不再roundtrip中的节点。即，他们不包括边对覆盖、边覆盖和节点覆盖（6）Touring、Sidetrips&De

8、tours1）基本路径中不包括内部循环，但是测试路径中有可能会有内部循环的存在2）TourWithSidetrips（旁道遍历）：测试路径p旁道遍历子路径q如果p和