首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    图覆盖准则

    有了图,我们如何来覆盖它,需要一些规则。通常我们可以进一步去扩展,一个子图可以从这一个点可达,是指从这个点出发,我们存在这么一条路径,到达这个子图,这个概念叫可达。特别需要注意可达要分为两种情况,第一个我们称之为语法可达,也就是在我们通过语法构建的某种图结构当中,是存在一条路径可以到达这个子图。另外一个叫语义可达,是指在实际的程序当中我们存在这么一个测试,可以跑到这个子图。从可达,我们可以拓展到我们测试里面一个非常重要的概念,也就是这一节的重点。 所谓覆盖,是指存在一条测试路径p,可以覆盖到某个顶点v,是指,这个v,顶点v,恰好就在这个路径里面。这里面特别需要注意在这里面我们强调的是测试路径,并不仅仅是路径。我们简单复习一下什么叫测试路径,是指这条路径的出发点是初始节点,结束点就是终结节点,这么一条路径我们才称之为测试路径。

    03
    领券