摘要
鉴于基于谱的软件错误定位技术缺乏依赖分析及存在过多不可区分的语句问题,给出一种基于分块切片的软件错误定位技术BSlicing-SFL(block slicing based software fault localization)的实现方法。基于不可区分块间数据依赖和控制依赖构建系统依赖图并生成分块切片,在此基础之上,统计计算切片内元素可疑度值进行错误定位。通过3个实际应用程序验证了分块切片的约减度及BSlicing-SFL技术的有效性。
Because spectrum-based software fault localization technique lacks the analysis of dependence relations and has too many indistinguishable statements, the implementation of the block slicing-based software fault localization (BSlicing-SFL) tech- nique was presented. System dependency graph was constructed based on data dependence and control dependence between indis tinguishable blocks, and slice elements' suspiciousness was statistically calculated. The reduction degree of the block slices and the effectiveness of BSlicing-SFL were verified based on the three practical application programs.
出处
《计算机工程与设计》
北大核心
2015年第12期3258-3263,3301,共7页
Computer Engineering and Design
基金
国家自然科学基金项目(61202006
61402396)
南通市应用研究计划基金项目(BK2014056
BK2014055)
关键词
程序切片
软件错误定位
程序频谱
系统依赖图
分块切片
program slicing
software fault localization
program spectrum
system dependence graph
block slice