| 基于条件执行切片谱的多错误定位 |
| |
| 引用本文： | 文万志,李必信,孙小兵,齐珊珊.基于条件执行切片谱的多错误定位[J].计算机研究与发展,2013,50(5):1030-1043. |
| |
| 作者姓名： | 文万志 李必信 孙小兵 齐珊珊 |
| |
| 作者单位： | 1. 东南大学计算机科学与工程学院 南京211189
2. 扬州大学信息工程学院 江苏扬州 225127 |
| |
| 基金项目： | 国家自然科学基金项目，高等学校博士学科点专项科研基金项目，中国科学院计算机科学国家重点实验室开放基金项目，国家自然科学基金青年科学基金项目 |
| |
| 摘 要： | 基于程序谱的错误定位技术由于其较高的定位效率已成为当前软件调试领域研究热点之一.这种技术通常根据测试覆盖信息计算程序语句发生错误的可疑度来进行错误定位.然而,这种技术会随着程序中错误数目的增多效率不断下降.鉴于此,提出了一种基于条件执行切片谱的多错误定位技术(conditioned execution slicing spectrum-based multiple fault localization,CESS-MFL),以提高多错误定位的效率.CESS-MFL技术首先根据输入变量的谓词条件构建错误相关条件执行切片的谱矩阵,然后依次计算错误相关条件执行切片中的元素(语句或语句块)的可疑度,并生成可疑度报告.实验验证了CESS-MFL技术比当前流行的基于程序谱的Tarantula技术、基于程序切片的Intersection技术、Union技术有更高的多错误定位效率,并且可在有效的时间和空间复杂度内完成.
|
| 关 键 词： | 多错误定位 程序切片谱 程序谱 条件执行切片 软件调试 |
A Technique of Multiple Fault Localization Based on Conditioned Execution Slicing Spectrum |
| |
| Wen Wanzhi
,
Li Bixin
,
Sun Xiaobing
,
Qi Shanshan.A Technique of Multiple Fault Localization Based on Conditioned Execution Slicing Spectrum[J].Journal of Computer Research and Development,2013,50(5):1030-1043. |
| |
| Authors: | Wen Wanzhi Li Bixin Sun Xiaobing Qi Shanshan |
| |
| Affiliation: | 1(School of Computer Science and Engineering,Southeast University,Nanjing 211189) 2(College of Information Engineering,Yangzhou University,Yangzhou,Jiangsu 225127) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
