江苏省研究生培养创新工程项目(CXZZ12-0935)
- 作品数：2 被引量：7H指数：2
- 相关作者：鞠小林王兴亚姜淑娟张艳梅李威更多>>
- 相关机构：南通大学中国矿业大学更多>>
- 发文基金：中央高校基本科研业务费专项资金江苏省研究生培养创新工程项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于子路径扩展的不可达路径检测方法被引量：2
- 2015年
- 不可达路径是造成软件测试资源消耗的一个重要方面.在路径测试之前,检测程序中的不可达路径可以有效节约软件测试资源.提出了一种基于子路径扩展的不可达路径静态检测方法.该方法首先生成程序的子路径集,将路径的可达性问题转换为不等式组的求解问题.使用约束求解器判断子路径的可达性,可以分为:可达子路径,不可达子路径和无法判定三个部分,并对后面两部分的子路径扩展出的路径做二次可达性检测,最终获得程序中所有路径的可达性信息.可达性检测工作主要在子路径集上进行,因此有效地解决了路径爆炸问题.实验结果表明本文方法可以准确有效地检测出程序中的不可达路径.
- 王红阳姜淑娟王兴亚鞠小林张艳梅
- 关键词：软件测试
- 空指针异常的自动故障定位方法被引量：5
- 2015年
- 提出一种空指针异常自动定位方法。该方法首先结合程序的静态分析技术,利用程序运行时的堆栈信息指导程序切片,然后对得到的切片进行空指针分析及别名分析,得出引发空指针异常的可疑语句集合,最终给出错误定位报告。实验结果表明,所提方法虽然因收集堆栈信息和别名分析增加了时间开销,但是利用堆栈信息可以缩小问题搜索空间,别名分析可以发现隐含的值传递过程,从而克服单独使用静态方法分析结果引起误报和漏报的缺陷,使最终的错误定位结果更精确。
- 姜淑娟王兴亚张艳梅李威鞠小林刘颖祺
- 关键词：程序切片别名分析
