李威
- 作品数：2 被引量：5H指数：1
- 供职机构：中国矿业大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金江苏省研究生培养创新工程项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于贝叶斯的软件错误定位方法
- 2014年
- 为提高基于程序切片和覆盖信息的传统错误定位技术的效率,提出一种基于程序动态切片和贝叶斯相结合的错误定位方法。针对程序执行轨迹计算动态切片,减少搜索空间;在切片后覆盖信息的基础上,利用贝叶斯公式计算相关语句的可疑度;根据语句可疑度降序排列语句,依次检查直到找出真正的错误语句。实验结果表明,该方法能够在一定程度上提高软件错误定位的效率与精度。
- 姜元鹏李威于巧姜淑娟
- 关键词：程序切片概率统计贝叶斯定理
- 空指针异常的自动故障定位方法被引量：5
- 2015年
- 提出一种空指针异常自动定位方法。该方法首先结合程序的静态分析技术,利用程序运行时的堆栈信息指导程序切片,然后对得到的切片进行空指针分析及别名分析,得出引发空指针异常的可疑语句集合,最终给出错误定位报告。实验结果表明,所提方法虽然因收集堆栈信息和别名分析增加了时间开销,但是利用堆栈信息可以缩小问题搜索空间,别名分析可以发现隐含的值传递过程,从而克服单独使用静态方法分析结果引起误报和漏报的缺陷,使最终的错误定位结果更精确。
- 姜淑娟王兴亚张艳梅李威鞠小林刘颖祺
- 关键词：程序切片别名分析
