典型文献
自适应推导下的统一化调试加速技术
文献摘要：
在传统调试过程中,缺陷定位通常作为程序修复的前置步骤.最近,一种新型调试框架(统一化调试)被提出.不同于传统调试中缺陷定位和程序修复的单向连接方式,统一化调试首次建立了定位与修复之间的双向连接机制,从而达到同时提升两个领域的效果.作为首个统一化调试技术,ProFL利用程序修复过程中伴随产生的大量补丁执行信息逆向地提升已有缺陷定位技术的效果.统一化调试技术不仅修复了可被修复的缺陷,而且也为不能被自动修复技术修复的缺陷提供了有效的调试线索.虽然统一化调试是一个很有前景的研究方向,但其在补丁验证过程中涉及到了大量的测试用例执行(比如百万量级的测试执行),因此时间开销问题严重.提出一种针对于统一化调试框架的加速技术(AUDE),该技术通过减少对缺陷定位效果无提升的测试执行,以提升统一化调试的效率.具体来说,AUDE首先通过马尔可夫链蒙特卡洛采样方法构建补丁执行的初始序列,随后在补丁执行过程中将已执行的补丁信息作为反馈信息,自适应性地估计每一个未执行补丁可能提供有效反馈信息的概率.在广泛使用的数据集Defects4J上对该技术进行了验证,发现AUDE在显著加速ProFL的同时,并没有降低其在缺陷定位和程序修复的效果.例如:在减少了ProFL中70.29％的测试执行的同时,AUDE仍在Top-1/Top-3/Top-5指标上与ProFL保持了相同的定位效果.
文献关键词：
软件质量保障;软件测试;软件调试;缺陷定位;缺陷修复
中图分类号：
作者姓名：
娄一翎;张令明;郝丹;张皓天;张路
作者机构：
高可信软件技术教育部重点实验室(北京大学), 北京 100871;北京大学 信息科学技术学院, 北京 100871;Department of Computer Science, University of Illinois at Urbana-Champaign, Illinois 61822, USA;蚂蚁金融服务集团, 浙江 杭州 310099
文献出处：
引用格式：
[1]娄一翎;张令明;郝丹;张皓天;张路-.自适应推导下的统一化调试加速技术)[J].软件学报,2022(02):377-396
A类：
ProFL,补丁验证,AUDE,Defects4J
B类：
统一化,试加,加速技术,调试过程,缺陷定位,连接方式,首次建立,连接机制,调试技术,修复过程,执行信息,定位技术,自动修复,修复技术,验证过程,测试用例,百万,测试执行,开销,问题严重,定位效果,果无,具体来说,马尔可夫链,蒙特卡洛,洛采,采样方法,执行过程,过程中将,反馈信息,自适应性,有效反馈,Top,软件质量保障,软件测试,软件调试,缺陷修复
AB值：
0.305141
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
