上海交通大學(xué)陳雨亭副教授做客重點(diǎn)實(shí)驗室講座

2016年7月4日下午，上海市計算機軟件評測重點(diǎn)實(shí)驗室特邀上海交通大學(xué)電子信息與電氣工程學(xué)院陳雨亭副教授進(jìn)行最新學(xué)術(shù)成果交流，針對陳教授在論文“Coverage-directed differential testing of JVM implementations”中的研究成果做了一場(chǎng)精彩的學(xué)術(shù)講座。本次講座由重點(diǎn)實(shí)驗室副主任劉振宇主持，并代表實(shí)驗室全員對陳雨亭副教授的到訪(fǎng)表示熱烈歡迎。

陳雨亭教授就職于上海交通大學(xué)電子信息與電氣工程學(xué)院，2007年3月在日本法政大學(xué)情報科學(xué)研究科博士畢業(yè)，2003年及2000年于南京大學(xué)計算機科學(xué)與技術(shù)系分別獲得碩士、學(xué)士學(xué)位。2007.4-2008.2曾在美國德州大學(xué)達拉斯分校計算機系擔任訪(fǎng)問(wèn)學(xué)者，并從事美國宇航局NASA的軟件安全性測試項目的研究。其主要研究方向是軟件工程，特別是軟件測試、軟件分析、軟件審閱、軟件安全及形式化工程方法，并曾在國際會(huì )議與期刊上發(fā)表過(guò)20多篇論文。陳教授為多個(gè)國際會(huì )議與重要期刊（如IEEE Transactions on Reliability、軟件學(xué)報等）從事論文評審工作，并曾擔任ICFEM、SSIRI、APSEC、QSIC等多個(gè)國際會(huì )議的程序委員會(huì )委員。

陳雨亭教授首先介紹了在JAVA虛擬機測試過(guò)程中引入“classfuzz”以便于預測測試結果并利用模糊測試的方法發(fā)現JAVA虛擬機所存在的問(wèn)題；接著(zhù)介紹了通過(guò)對class文件進(jìn)行變種（Mutating classfiles)、選擇有代表性的變種算子進(jìn)行JAVA虛擬機的差異性測試（Differentially testing JVMs ），來(lái)暴露JAVA虛擬機所存在的缺陷，同時(shí)通過(guò)引入模糊（classfuzz）技術(shù)，來(lái)對不同JAVA虛擬機的差異性測試以便證實(shí)不同的JAVA虛擬機（JVM）缺陷的存在。陳教授在“Coverage-directed differential testing of JVM implementations”所提出的JAVA虛擬機測試方法為軟件測試工作提供了一個(gè)嶄新的視角，該項課題的研究既具有重要的理論價(jià)值, 又有重大的應用意義。

講座結束之后，重點(diǎn)實(shí)驗室成員就陳雨亭副教授的講座內容進(jìn)行提問(wèn)，發(fā)表了自己的見(jiàn)解。陳教授對大家的發(fā)言作出了認真詳細的回應，并展開(kāi)了熱烈討論，講座讓大家受益匪淺。