图覆盖准则

——网易云课堂《开发者测试》课程笔记

这节我们来介绍,图覆盖准则。

有了图,我们如何来覆盖它,需要一些规则。通常我们可以进一步去扩展,一个子图可以从这一个点可达,是指从这个点出发,我们存在这么一条路径,到达这个子图,这个概念叫可达。特别需要注意可达要分为两种情况,第一个我们称之为语法可达,也就是在我们通过语法构建的某种图结构当中,是存在一条路径可以到达这个子图。另外一个叫语义可达,是指在实际的程序当中我们存在这么一个测试,可以跑到这个子图。从可达,我们可以拓展到我们测试里面一个非常重要的概念,也就是这一节的重点。
所谓覆盖,是指存在一条测试路径p,可以覆盖到某个顶点v,是指,这个v,顶点v,恰好就在这个路径里面。这里面特别需要注意在这里面我们强调的是测试路径,并不仅仅是路径。我们简单复习一下什么叫测试路径,是指这条路径的出发点是初始节点,结束点就是终结节点,这么一条路径我们才称之为测试路径。
fg2
请看这张图,我们在上节当中讲过这里存在4条测试路径,也就是在路径v1-v2-v4-v5-v7这条路径当中,那我们覆盖了,v5,当然也覆盖了1-2-4-7其他4个节点。我们可以进一步拓展,边的覆盖。所谓一个边被一个测试路径覆盖是指,这边恰好就在这个路径里面,比如刚才那条路径,就覆盖了,v4到v5这一条边。但是,刚才那条路径也就是1-2-4-5-7这条路径并没有覆盖到4-6这条边,虽然它已经覆盖了v4个顶点,但他没有覆盖到v4到v6这条边上,并不属于p这条路。可以想象的就是我们可以进一步拓展覆盖的概念,一个子路径p’,被一个测试路径p覆盖,是指p’恰好就在这个p里面。比如,我们一个子路径4-5-7,恰好被p这条路径给覆盖。有了覆盖的概念,我们可以定义一些图的覆盖准则。我们首先要做两个准备工作,第一,我们需要从一些软件资料去构建某一种图的模型,然后我们再去要求一些测试来覆盖,所谓的这些顶点,边或者一些子路径等等。
接下来我们介绍一种常见的图覆盖类型叫结构覆盖。所谓结构覆盖,是指我们仅仅关注图的点和边,并不在意里面的是什么?
fg3
我们请看这张图,这张图可以来自源代码,来自需求文档或者某种设计图。但当有这些资料抽象为一张图以后我们并不关心里面的什么,我们仅仅关心如何去覆盖这些点和边和相关的性质。另外一种常见的图覆盖类型叫数据流覆盖。
fg4
我们也看这张图,这时我们可以发现,我们已经在图的点和边上已经标注了一些程序信息,这些内容我们会在以后的章节给大家详细讲解。
我们接下来介绍了一个非常重要的概念,测试准则,可以分为以下几个概念分步介绍。
第一,测试需求,测试需求是指用来描述测试路径性质的一些定义。所谓测试准则,是指来描述测试需求的一些规则。
fg5
给定一个测试准则C,对应派生的一个测试需求集TR,我们称之为一个测试用例集T满足这个准则,是指这个测试需求里面的TR里面的每一个测试需求T,tr,都可以被这个大的测试用例集T的某一个测试用例所满足。这就是测试准则,及其图覆盖准则的一些应用。

发表评论

电子邮件地址不会被公开。 必填项已用*标注