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