摘要
自动故障定位对于提高软件调试的效率有重要意义.本文提出利用语句、数据流和控制流的频谱信息并基于局部最优性生成和计算语句序列的可疑度,并综合语句所在序列的可疑度和语句的可疑度以获得语句的最终可疑度排序.在西门子测试程序集上与两种基于语句可疑度的故障定位方法做了实验性能比较,结果验证了所提出方法的有效性.
Automated fault localization is significant for improving the efficiency of software debugging. We propose to generate state- ment sequences and compute their suspiciousness from the spectrum information of statements as well as control and data dependency relations based on local optimality. Then the suspiciousness of sequences and statements are integrated to produce a suspiciousness ranking of each statement. Performance comparison with two methods based on suspiciousness of statements on the Siemens Suite has validated the effectiveness of proposed approach.
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第2期324-327,共4页
Journal of Chinese Computer Systems
关键词
软件故障定位
语句序列可疑度
程序分析
软件调试
软件工程
software fault localization
suspiciousness of statement sequence
program analysis
debugging
software engineering