北京化工大学计算机科学与技术学科部主任。
2001年中国科学院计算技术研究所博士毕业后到北京化工大学信息科学与技术学院从事教学与科研工作。
参加的主要学术团体有:
①教育部高等学校计算机科学与技术专业教学指导分委员会专家组成员;
②中国计算机学会容错专业委员会委员;
③中国计算机学会服务计算专业委员会委员。
代表性论著:
①软件测试教程,重点大学计算机教材(第2版),高等学校计算机专业规划教材,机械工业出版社,2016年6月.
②软件测试,“十一五”国家级规划教材,高等教育出版社,2008.7.
③ “An optimal mutation execution strategy for cost reduction of mutation-based fault localization”, Information Sciences. Vol. 422, No 3, p.572-596, January 2018.
④ “Test Generation for Programs with Binary Tree Structure as Input”, International Journal of Software Engineering and Knowledge Engineering,Vol.25, No.7 (2015)1-23.
⑤ “Integrating evolutionary testing with reinforcement learning for automated test generation of object-oriented software”, Chinese Journal of Electronics. Vol.24, No.1, p38-48, Jan. 2015.
⑥ “Automatic String Test Data Generation for Detecting Domain Errors”, Journal of Software Testing, Verification and Reliability. Vol 20, No 3, p.209-236, Sept. 2010.
软件测试与知识管理实验室
实验室建设目标
① 建立一支ST/SR/SBST/SST/SCA/ML/KM等领域的优秀研究队伍;
②开展高水平研究,发表高质量论文,提升学术实力和影响力;
③勤奋高效工作,在ST/SCA/SST/SR/ML/KM等领域做出实质性成果。
主要研究内容
① 基于规范和程序的测试数据生成;
②面向对象软件的集成测试用例生成;
③非数值型软件测试数据自动生成;
④基于模型的测试生成和切片关键技术。
主持承担的课题
① 国家自然科学基金面上项目《Web应用软件安全测试用例集Memetic演化生成方法研究》No. 61672085;
② 国家自然科学基金面上项目《含复杂数据和过程调用的EFSM模型测试生成研究及生成效率关键因素分析》No.61073035;
③ 国家自然科学基金面上项目《基于规范和程序输入域分析的软件测试方法研究》No.60473032;
④ 北京市自然科学基金项目《基于方法消息路径的面向对象软件集成测试技术研究》No.4072021;
⑤ 教育部科学技术研究重点项目《基于最优化技术的自适应非数值型软件测试数据自动生成方法研究》No.105018;


