2018年5月7日学术报告——北京航空航天大学郑征博士

报告题目：软件缺陷定位及其鲁棒性问题研究

报告人：郑征博士

时间：2018年5月7日9：30

地点：仙林校区计算机学科楼327

报告人简介：郑征，中国科学院计算技术研究所计算机软件与理论专业博士，北京航空航天大学副教授，博士生导师，院长助理，系副主任，曾获北京市英才计划、军队科技进步奖、中国科学院院长奖、重庆市优秀硕士奖等。目前担任SCI国际期刊International Journal of Computational Intelligence Systems副主编、Software Quality Journal客座编辑、ISSRE国际会议程序委员会成员和组织委员会FA Track Chair、WoSAR国际会议程序委员会主席、CGNCC会议副主编，曾受邀多次在美国杜克大学、澳大利亚悉尼科技大学等大学或机构进行报告。郑征及其所在课题组一直从事软件可靠性及测试的相关研究，主持多项国家自然科学基金（面上/青年）、装发基金以及航空基金项目，主持研制了C919、MA700等若干重大型号的软件可靠性评估与测试系统、软件适航验证系统等。在IEEE Trans. on Dependable and Secure Computing, IEEE Trans. on Services Computing, IEEE Trans. on Reliability，Journal of Software and Systems，Knowledge Based Systems，Computers&Operations Research, 中国科学，计算机学报，软件学报以及ISSRE等重要期刊和会议上以第一作者或通讯作者发表论文30余篇，授权专利10余项，引用800余次，其中近五年在JCR一区期刊以第一作者或通讯作者发表论文11篇。

报告内容：软件调试是软件开发过程中最费时费力的环节之一，其中能够实现自动化的软件缺陷定位一直是软件开发人员的“梦想”，我们希望软件开发环境不仅可以“告诉”我们所编写代码的语法错误，还可以告诉我们其逻辑错误所在。本报告围绕软件调试中自动化缺陷定位的技术和方法进行交流，主要对不确定环境下软件缺陷定位的鲁棒性问题的现象和影响进行分析，进而讨论提高软件缺陷定位方法的消解策略。