欢迎访问江苏省计算机学会网站!    设为首页  |  收藏本站
江苏省计算机学会
  •  当前位置首页 > 新闻中心 > 通知公告
    新闻中心  
    学会动态
    政策法规
    行业新闻
    图片新闻
    通知公告
    学会通讯
     
    通知公告
    青年学者学术报告 Compiler Bug Isolation via Effective Witness Test Program Generation
    发布时间:2020-01-03 09:28:10

    计算机软件新技术国家重点实验室


    摘 要:

    编译器缺陷是十分有害的,但是却难以调试,其主要原因是编译器缺陷往往提供非常少的调试信息。给定一个触发编译器缺陷的测试程序,上百个编译器文件会在编译该程序的过程中被执行到,所有这些被执行到的编译器文件均是可疑文件。尽管已经有大量的自动化缺陷定位技术被提出,但由于编译器自身的复杂性和规模庞大的特性,这些技术均无法适用于编译器缺陷定位。为了解决该问题,我们将编译器缺陷定位问题转化为搜索问题,即搜索一组有效的证人测试程序,来帮助消除无辜文件的嫌疑,从而定位根因文件。基于该思路,我们提出第一种针对编译器缺陷的自动定位技术——DiWi。具体来说,我们设计一组证人化变异规则,并提出启发式搜索策略,基于触发缺陷的测试程序生成一组有效的证人测试程序,然后通过对比触发缺陷的测试程序与该组证人测试程序的测试覆盖信息的差异,来帮助识别根因文件。我们将该技术应用在GCC和LLVM编译器的90个真实缺陷上,实验结果表明,66.67%/78.89%的缺陷的根因文件能够被排在所有可疑文件的前10/20位,显著超过了已有技术。

    报告人简介:

    陈俊洁,天津大学智能与计算学部长聘副教授。2019年7月于北京大学信息科学技术学院获得博士学位,获得2019年CCF优秀博士学位论文奖、北京大学优秀博士学位论文奖。主要研究领域为软件分析与测试,具体包括编译器测试、深度学习系统测试,以及智能运维等。近五年共发表学术论文20余篇,其中CCF A类论文10余篇,涵盖软件工程领域全部CCF A类会议以及CCF A类期刊TSE,获得ASE 2019 ACM SIGSOFT Distinguished Paper Award和ISSTA 2019 ACM SIGSOFT Distinguished Paper Award;入选微软铸星计划;担任多个国际会议程序委员会成员。

    时间:1月6日(星期一)  10:00

    地点:计算机科学与技术楼230室


    上一篇:青年学者学术报告 Localized Adversarial Training for Increased Accuracy and Robustness
    下一篇:青年学者学术报告Deep Learning and Optimization for Graph Generation and Transformation
    友情链接:
    江苏省科学技术协会 中国计算机学会 南京大学 南京大学计算机科技与技术系 南京大学软件学院 东南大学计算机科学与工程学院 江苏经贸职业技术学院 南京信息职业技术学院 南京工业职业技术学院 江苏海事职业技术学院 常州信息职业技术学院 国网电力科学研究院 电子科技集团第28研究所 江南计算技术研究所 
       
     

    Copyright (c) 版权所有 江苏省计算机学会         【后台管理】    南京网站建设公司
    秘书处办公室       地址: 江苏省南京市仙林大道163号  邮编:210023   电话/传真:025-89680909   
    秘书处市内联络点   地址: 江苏省南京市汉口路22号     邮编:210093   电话/传真:025-86635622
    电子邮箱:jscs@nju.edu.cn   网址:www.jscs.org.cn    技术支持:南京成旭通信息技术有限公司  

    网站备案号:苏ICP备14049275号

    您是本站第6301164位来客!

    在线客服

    点击这里给我发消息