上海交通大学陈雨亭副教授做客重点实验室讲座

2016年7月4日下午，上海市计算机软件评测重点实验室特邀上海交通大学电子信息与电气工程学院陈雨亭副教授进行最新学术成果交流，针对陈教授在论文“Coverage-directed differential testing of JVM implementations”中的研究成果做了一场精彩的学术讲座。本次讲座由重点实验室副主任刘振宇主持，并代表实验室全员对陈雨亭副教授的到访表示热烈欢迎。

陈雨亭教授就职于上海交通大学电子信息与电气工程学院，2007年3月在日本法政大学情报科学研究科博士毕业，2003年及2000年于南京大学计算机科学与技术系分别获得硕士、学士学位。2007.4-2008.2曾在美国德州大学达拉斯分校计算机系担任访问学者，并从事美国宇航局NASA的软件安全性测试项目的研究。其主要研究方向是软件工程，特别是软件测试、软件分析、软件审阅、软件安全及形式化工程方法，并曾在国际会议与期刊上发表过20多篇论文。陈教授为多个国际会议与重要期刊（如IEEE Transactions on Reliability、软件学报等）从事论文评审工作，并曾担任ICFEM、SSIRI、APSEC、QSIC等多个国际会议的程序委员会委员。

陈雨亭教授首先介绍了在JAVA虚拟机测试过程中引入“classfuzz”以便于预测测试结果并利用模糊测试的方法发现JAVA虚拟机所存在的问题；接着介绍了通过对class文件进行变种（Mutating classfiles)、选择有代表性的变种算子进行JAVA虚拟机的差异性测试（Differentially testing JVMs ），来暴露JAVA虚拟机所存在的缺陷，同时通过引入模糊（classfuzz）技术，来对不同JAVA虚拟机的差异性测试以便证实不同的JAVA虚拟机（JVM）缺陷的存在。陈教授在“Coverage-directed differential testing of JVM implementations”所提出的JAVA虚拟机测试方法为软件测试工作提供了一个崭新的视角，该项课题的研究既具有重要的理论价值, 又有重大的应用意义。

讲座结束之后，重点实验室成员就陈雨亭副教授的讲座内容进行提问，发表了自己的见解。陈教授对大家的发言作出了认真详细的回应，并展开了热烈讨论，讲座让大家受益匪浅。