软件学报

作者：张卓,谭庆平,毛晓光,雷晏,常曦,薛建新

单位：张卓，国防科技大学 计算机学院, 湖南 长沙 41007211,谭庆平，国防科技大学 计算机学院, 湖南 长沙 41007202,毛晓光，国防科技大学 计算机学院, 湖南 长沙 41007203,雷晏，重庆大学 大数据与软件学院, 重庆 400044;信息物理社会可信服务计算教育部重点实验室(重庆大学), 重庆 40004404,常曦，上海第二工业大学 计算机与信息工程学院, 上海 20012705,薛建新，国防科技大学 计算机学院, 湖南 长沙 410072;上海第二工业大学 计算机与信息工程学院, 上海 20012706

关键词：错误定位;上下文;动态切片;SFL;可疑值

基金：国家自然科学基金（61602504，61672529，61379054，61502296）

错误定位就是寻找程序错误的位置.现有的错误定位方法大多利用测试用例的覆盖信息，以标识一组导致程序失效的可疑语句，却忽视了这些语句相互作用导致失效的上下文.因此，提出一种增强上下文的错误定位方法Context-FL，以构建上下文的方式来优化错误定位性能.Context-FL利用动态切片技术构建数据与控制相关性的错误传播上下文，显示了导致失效的语句之间传播依赖关系；然后，基于可疑值度量来区分上下文片段中不同语句的可疑度；最后，Context-FL以标记可疑值的上下文作为定位结果.实验结果表明，Context-FL优于8种典型错误定位方法.

来源：2019年第2期

《软件学报》期刊编辑部

查看软件学报杂志2019年第2期