新聞标題
軟件工程研究所研究團隊獲得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
