学术报告——模糊测试

       2020年7月31日，实验室2020年暑期年会如期举办。因疫情原因，本次年会通过腾讯会议线上召开，并采用bilibili直播。在上午的前瞻报告部分，文明副教授作了题为“模糊测试技术前沿进展报告”的报告。模糊测试是一种软件测试技术，其核心思想是将自动或半自动生成的随机数据输入到一个程序中，并监视程序异常，如崩溃，断言失败，以发现可能的程序错误，比如内存泄漏。模糊测试已经被广泛运用于检测软件或计算机系统的安全漏洞。该报告分别从模糊测试的研究背景、模糊测试引擎与研究进展、以及模糊测试发展方向与难点进行了全方位的介绍。

      文明老师2019年获得香港科技大学计算机科学与工程专业博士学位。2019年4月至2019年11月，在香港科技大学任职博士后研究员。2019年12月，加入华中科技大学网络空间安全学院，聘为副教授。研究方向主要包括代码分析、软件缺陷漏洞检测、程序缺陷漏洞的自动定位及修复等。