新闻标题
软件工程研究所研究团队获得ACM SIGSOFT杰出论文奖
IEEE/ACM 第34届国际自动化软件工程会议ACM SIGSOFT杰出论文奖
History-Guided Configuration Diversification for Compiler Test-Program Generation
基于历史配置多样性的编译器测试程序生成
陈俊洁（北大博士毕业，现为天津大学长聘副教授）、王冠成（博士二年级）、郝丹（长聘副教授）、熊英飞（长聘副教授、研究员）、张洪宇 （纽卡斯尔大学副教授）、张路（教授）
编译器中存在缺陷，编译器测试被广泛用于编译器质量的保障。在编译器测试中，如何有效且高效地产生能够揭露缺陷的测试程序至关重要。Csmith是编译器测试中生成测试程序的工具，它通过配置参数控制测试程序中特征的变化，目前并不清楚哪些配置参数是有效的。如何让Csmith的配置参数产生同时满足大概率揭露错误且多样的测试程序是一个困难且重要的问题。
该工作提出一种新颖的测试程序生成方法HiCOND，通过推断历史数据，得出具有哪些特征的配置参数能够满足上述要求。然后，利用启发式搜索方法找到一组能够生成揭错概率大且多样性高的测试程序的配置参数。研究人员将HiCOND应用于GCC和LLVM两款主流的编译器测试中，相较于三种已有的测试方法，HiCOND分别能够在68.86%、59.08%和74.14%的时间内多发现75%、133.33%和145%的缺陷。此外，HiCOND在最新版本的LLVM编译器中发现了2个缺陷；HiCOND也成功地运用到产业界编译器的测试中。
获奖日期
美国当地时间2019年11月13日（颁奖时间）
IEEE/ACM 第34届国际自动化软件工程会议（简称ASE 2019）
· https://2019.ase-conferences.org/
· https://2019.ase-conferences.org/details/ase-2019-papers/68/History-Guided-Configuration-Diversification-for-Compiler-Test-Program-Generation
