您的位置： 专家智库 > >

王红阳

作品数：1 被引量：2H指数：1
供职机构：中国矿业大学计算机科学与技术学院更多>>
发文基金：中央高校基本科研业务费专项资金南通市应用研究计划项目江苏省研究生培养创新工程项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇软件测试
  • 1篇不可达路径

机构

  • 1篇中国矿业大学
  • 1篇南通大学

作者

  • 1篇张艳梅
  • 1篇姜淑娟
  • 1篇王兴亚
  • 1篇鞠小林
  • 1篇王红阳

传媒

  • 1篇电子学报

年份

  • 1篇2015
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于子路径扩展的不可达路径检测方法被引量：2
2015年
不可达路径是造成软件测试资源消耗的一个重要方面.在路径测试之前,检测程序中的不可达路径可以有效节约软件测试资源.提出了一种基于子路径扩展的不可达路径静态检测方法.该方法首先生成程序的子路径集,将路径的可达性问题转换为不等式组的求解问题.使用约束求解器判断子路径的可达性,可以分为:可达子路径,不可达子路径和无法判定三个部分,并对后面两部分的子路径扩展出的路径做二次可达性检测,最终获得程序中所有路径的可达性信息.可达性检测工作主要在子路径集上进行,因此有效地解决了路径爆炸问题.实验结果表明本文方法可以准确有效地检测出程序中的不可达路径.
王红阳姜淑娟王兴亚鞠小林张艳梅
关键词：软件测试
全选 清除 导出
共1页<1>
聚类工具0