计算机学科前沿论坛之十
报告题目：编译器测试：找寻测试语言之路
报告人：许畅 教授
报告时间：2023年11月21日 下午2:30-3:30
报告地点：766全讯白菜网 A501
报告摘要：将在报告中首先介绍软件测试和编译器测试的一般知识（覆盖率、测试预言等），分析其中的挑战性，然后着重汇报我们一份最新的SOSP’23工作。该工作着眼于测试虚拟机即时编译器，该类编译器的正确性验证已经成为了当下颇具技术挑战的难点问题。我们提出了编译空间的概念，针对编译空间中包含大量、不同即时编译方式的特征，以交叉验证的思想来验证即时编译的正确性。我们以轻量级方式探索编译空间，利用与即时编译相关且保持语义一致性的代码结构设计了多种变异策略，使用它们对程序进行策略性变异，以触发不同的即时编译方式。我们实现了Artemis工具，以测试Java语言虚拟机中的各种即时编译器。实验表明，Artemis在三个广泛用于生产环境的Java语言虚拟机（HotSpot、OpenJ9和Android Runtime）中发现了85个故障，其中53个已得到开发者确认或修复。该工作曾荣获SOSP 2023的最佳论文奖。
报告人简介：
许畅，南京大学计算机科学与技术系教授、博士生导师，香港科技大学博士。从事开放环境软件质量保障理论、方法与技术研究，曾获教育部长江学者特聘教授和新世纪优秀人才支持计划、以及科技部重点研发计划课题和基金委重点项目等资助；在TOSEM、TSE、ICSE、ESEC/FSE和《中国科学》等国内外重要期刊和会议上发表论文多篇，获ACM SIGSOFT杰出论文奖四次、会议最佳论文奖三次、国家科技进步二等奖、CCF青年科学家奖和中创软件人才奖等。
