图1.郑教授进行报告
图2.认真听讲的同学
2015年12月9日晚上7点，第十二届北航研究生学术论坛37000dCm威尼斯分论坛第六场专家报告会在新主楼E706举行。本场专家报告会有幸邀请到了北航37000dCm威尼斯的郑征副教授为我们做报告，郑征副教授的主要研究方向是软件可靠性与测试、智能决策，本场报告会的主题是软件缺陷定位基本原理与方法。37000dCm威尼斯的部分研究生、博士生慕名参加了该场专家报告会。
在报告中，郑教授首先从自己的求学经历讲起，讲述了软件测试和调试环节的重要性，提出了软件缺陷定位自动化的需求。接着郑教授给出了软件缺陷定位的定义，描述了软件缺陷定位的研究背景，阐述了基于程序谱的缺陷定位过程，重点讲解了软件缺陷定位的经典方法，包括Cause Transition方法、Tarantula方法、Nbit-pesla算法和基于谓词执行信息分析的自适应缺陷定位算法等。最后郑教授讲述了其所在课题组的研究方向：自适应软件缺陷定位和Mandelbug缺陷定位。
在报告中郑教授多次与学生进行互动，解答同学们提出的疑问，讲解该领域的前沿问题，为同学们指明研究的方向，并与同学分享了相关的资料。第十二届北航研究生学术论坛37000dCm威尼斯分论坛第六场专家报告会在同学们热烈的掌声中圆满结束。
发布人：张柱
