智能化软件开发微访谈·第二十六期 软件模糊测试技术

CodeWisdom

软件模糊测试技术

微访谈 · 活动预告

背景介绍

当前，软件模糊测试技术已经被广泛应用于多个领域，在软件系统的安全性和可靠性测试方面发挥了重要的作用。与此同时，一些行业巨头也投入了大量的资源研发自己的模糊测试工具，例如谷歌的AFL、微软的Restler Fuzzer等。随着人工智能技术的发展，深度学习模型等智能化技术在软件系统中得到了越来越多的应用，而近期大语言模型的迅猛发展也对软件系统的实现方式带来了很大影响，这些都为软件模糊测试带来了新的机遇和挑战。软件模糊测试的基本思想是什么？关键技术有哪些？当前主要应用于哪些领域并取得了什么样的效果？近几年的主要研究焦点在哪些方面？相关技术在企业实践中的应用状况和接受度如何？在软件系统应用日益广泛、复杂度日益增长、同时智能化技术应用不断加深的背景下，相关技术发展还面临哪些挑战？未来的发展方向又在哪里？围绕这些问题，我们邀请了来自学术界与工业界的专家进行交流，总结学术界研究进展和工业界应用状况，同时探讨相关技术问题以及未来的发展方向。

主 持 人

彭鑫

复旦大学

复旦大学计算机科学技术学院副院长、教授，中国计算机学会（CCF）杰出会员、软件工程专委会副主任、开源发展委员会常务委员，《Journal of Software: Evolution and Process》联合主编（Co-Editor），《ACM Transactions on Software Engineering and Methodology》、《Empirical Software Engineering》、《Automated Software Engineering》、《软件学报》等期刊编委。2016年获得NASAC青年软件创新奖。主要研究方向包括软件智能化开发、云原生与智能化运维、泛在计算软件系统、智能网联汽车等。研究工作多次获得IEEE Transactions on Software Engineering年度最佳论文奖、ACM SIGSOFT杰出论文奖、IEEE TCSE杰出论文奖等奖励。担任2022年与2023年CCF中国软件大会（ChinaSoft）组织委员会主席与程序委员会共同主席，以及ICSE、FSE、ASE、ISSTA、ICSME、SANER等会议程序委员会委员。带领复旦大学CodeWisdom研究团队开展软件智能化开发与运维以及软件供应链治理平台的研究，研究成果在多家大型企业进行了实践应用。

访

谈

嘉

宾

刘杨

新加坡南洋理工大学

新加坡南洋理工大学（NTU）计算机学院教授，NTU网络安全实验室主任、HP-NTU实验室主任以及新加坡国家卓越卫星中心副主任，并于2019年荣获大学领袖论坛讲席教授。刘杨博士专攻软件工程，网络安全和人工智能，其研究填补了软件分析中理论和实际应用之间的空白，研发了多款高效的软件质量和安全检测平台并成功商业化。到目前为止，他已经在顶级会议和顶级期刊上发表了超过400篇文章。他还获得多项著名奖项，包括MSRA fellowship，TRF Fellowship, 南洋助理教授，Tan Chin Tuan Fellowship，Nanyang Research Award 2019，NRF Investigatorship 2020，并且在ASE、FSE、ICSE等顶级会议上获得20项最佳论文奖以及最具影响力软件奖。

张令明

美国伊利诺伊大学香槟分校

美国伊利诺伊大学香槟分校（UIUC）计算机系副教授。主要从事软件工程、程序语言以及机器学习的交叉研究，例如基于AI大模型的自动软件合成、修复和验证，以及机器学习系统可靠性研究等。博士毕业于美国德州大学奥斯汀分校（UT Austin），并分别于北京大学和南京大学获得硕士及学士学位。曾获ACM SIGSOFT Early Career Award、NSF CAREER Award、UIUC工程学院杰出科研奖、UIUC优秀教师奖、以及谷歌、Meta、三星科研奖等。详细信息请见：http://lingming.cs.illinois.edu/。

姜宇

清华大学

清华大学软件学院副教授。研究方向为软件系统测试分析，在MySQL、Safari和Linux等广泛使用的系统软件中挖掘300+漏洞被收入中美国家信息安全漏洞库。研发的模糊测试引擎WingFuzz在Google FuzzBench官方评测中排名第一,相关自动化漏洞挖掘技术被并入谷歌ClusterFuzz，微软OneFuzz等平台。在SOSP, S&P, ATC等会议和期刊上发表论文100余篇，主持基金委重大研究计划培育项目、科技部重点研发计划项目、华为大颗粒研究计划项目等20余项。曾获2015年CCF优秀博士论文奖、2020年阿里巴巴达摩院青橙奖，2021年微众学者等奖励。

张超

清华大学

清华大学网络研究院副院长，长聘副教授/博导，华为冠名教授，蓝莲花战队教练，CCF杰出会员。曾获得清华大学学术新人奖、国家级青年人才、MIT TR35 China、求是杰出青年学者等荣誉。主要研究软件和系统安全，尤其是智能攻防方向。

张煜群

南方科技大学

南方科技大学计算机科学与工程系助理教授、博士生导师。2016年12月于美国德克萨斯大学奥斯汀分校电子计算机工程系获得博士学位。研究领域包括模糊测试、污点分析、代码预训练模型等。张煜群博士在模糊测试的研究中重点关注其基础机制的作用。他迄今为止共发表论文40余篇，包括软件工程相关顶级期刊会议论文20余篇，并在ISSTA'19上获得ACM SIGSOFT杰出论文奖。

董震

复旦大学

海德堡大学博士，复旦大学计算机学院青年副研究员，中国计算机学会（CCF）软件工程专业委员会执行委员。致力于模糊测试、GUI测试、程序分析的研究，先后参与完成多个国际联合项目，包括卡巴斯基公司、新加坡电信公司、澳大利亚蒙纳士大学等与新加坡国立大学的合作项目，在软件工程会议ICSE、FSE、ASE、ISSTA等国际会议发表20余篇学术论文，并获得ICSE'20 杰出论文、AsiaCCS’21 最佳论文(1/370)等多个奖项。同时，担任多个国际期刊审稿人以及国际会议程序委员会成员，并获得ASE’22杰出评审、TOSEM杰出评审，TOSEM制品杰出评审等称号。

薛吟兴

中国科技大学

中国科技大学计算机学院特任研究员。2005年和2007年于武汉大学获学士、硕士学位，2013年2月于新加坡国立大学获博士学位。主要研究领域包括物联网安全，软件系统安全，区块链软件安全，深度学习研究等。以主要作者在高水平国际期刊与会议共发表论文近40篇, 如CCF A类期刊TIFS、TSE、TOSEM，A类会议CCS、USENIX security、ICSE、FSE、ASE、ISSTA等。现承担国家自然基金委面上和江苏省科技厅面上项目。曾担任30个会议或研讨会的外部审稿人;作为 PRDC 2014, ICECCS2015, ICSEM2017-Tool, ISSTA 2019-Tool等会议技术委员会;作为如下期刊特邀审稿人: IEEE Trans on Reliability, IET Information Security, Computer & Security, IEEE Access, Journal of Computer Science等。 

房春荣

南京大学

南京大学软件学院副研究员，主要从事智能软件工程研究。曾担任AST、AIST等程序委员会主席，ASE、FSE等程序委员会委员，TSE、TOSEM等期刊审稿人。发表CCF-A类会议/期刊论文20余篇，部分成果在知名企业应用转化。获2022年国家级教学成果奖，CCF TCFTC软件测试青年创新奖。

狄鹏

蚂蚁集团

蚂蚁集团资深技术专家，中科院客座研究员，新南威尔士大学兼职高级讲师。狄鹏博士研究软件领域多年，其研究成果近年连续发布在PLDI、ICSE、MICRO等顶级学术会议。他的团队致力于研究编译技术、程序分析、软件安全及可靠性等领域的前沿课题，聚焦打造新一代企业级DevOps系统，为数亿行代码构成系统保驾护航。

宋凤仙

华为公司

华为2012实验室主任工程师。长期从事华为公司模糊测试技术工程能力建设工作。负责研发了多款华为自研模糊测试工具，目前已在华为多个产品线落地应用。

时间安排

❖

时间：2023年08月16日（周三）

           晚上19:30-21:30

❖

❖

地点：“智能化软件开发沙龙”微信群

主持人：彭鑫

欢迎关注CodeWisdom，Codewisdom平台由复旦大学软件工程实验室运营，提供智能化软件开发平台及线上沙龙相关资讯，关注可了解更多智能化软件开发的最新消息~