近日,我校软件学院任志磊副教授作为第一作者、江贺教授作为通讯作者的软件可重复编译研究成果喜获第40届国际软件工程大会(ICSE)杰出论文奖(ACM SIGSOFT Distinguished Paper Award)。作为国际久负盛名的顶级会议(CCF A类会议),本届软件工程大会共吸引了来自全球的1700多名参会者,在投稿的500余篇研究论文中,共有8篇论文被遴选为杰出论文。2018年适逢软件工程学科提出50周年,大会在瑞典哥德堡举行了隆重的颁奖活动。
在这一成果中,课题组主要关注软件工程中软件编译的可重复性。软件的可重复编译性是验证软件编译环境可靠性的前提,对于软件调试、缺陷修复等环节有十分重要的意义。近年来众多开源软件仓库均开始进行不可重复编译问题的定位和修复工作,但现有技术主要手动进行,效率难以满足日常开发需求。针对以上挑战,课题组创新性地提出一种融合规则匹配与信息检索的方法。一方面,通过一组基于正则表达式的启发式规则,过滤可疑源文件。另一方面,通过解析构建日志,提取执行构建命令,提出一种检索扩充机制。通过融合两种机制,得到最终的定位结果。通过在671个开源软件数据的实验,充分验证了新方法的有效性。在原型工具指导下,成功定位并修复了6个来自Debian和Guix等国际知名开源代码仓库的软件包,其中4个修复包已被Debian、Guix验证并纳入发行版代码库。
武汉大学玄跻峰教授、美国西密西根大学杨子江教授共同参与了本项研究。该成果是我校软件学院软件工程研究所在国际软件工程大会上发表的第4篇论文,此次获奖实现了研究所在该领域的再次突破,将进一步推动我校在软件工程领域的研究。