北京航空航天大学计算机学院软件工程导师介绍：刘超

• 2025完美·体育(中国)官方网站,WANMEI SPORTS英语全程班 早鸟3班
• 26完美·体育(中国)官方网站,WANMEI SPORTS全科上岸规划营「择校▪规划▪备考」
• 北京航空航天大学2025完美·体育(中国)官方网站,WANMEI SPORTS专业课复习资料「完美·体育(中国)官方网站,WANMEI SPORTS▪笔记▪讲义▪题库」

　

导师详细信息

姓名：刘超

性别：男

出生年份：1958

职称：教授

院系：计算机学院

首次聘任导师时间：2006

现聘任导师一级学科名称：软件工程

现聘任导师二级学科名称：软件工程

聘任在第二学科培养博士生专业名称：无

聘任在自主设置学科培养博士生专业名称：无

主要研究方向及特色：软件工程、软件质量与软件测试、软件过程改进

电子信箱：liuchao@buaa.edu.cn

办公电话：82317641

办公地点：新主楼G917

通信地址：北京市海淀区学院路37号北京航空航天大学软件工程研究所

个人简介：

1.个人情况简介（含社会兼职情况等）：

刘超，男，1958年出生，博士，北京航空航天大学计算机学院教授、博士生导师、软件工程研究所所长，北航软件测评实验室主任。现兼任中国计算机学会软件工程专业委员会副主任，中国软件行业协会软件工程分会副主任和系统与软件过程改进分会副会长。2004年曾受聘为航天科技二院产品保证专家；2006年曾受聘航空计算技术杂志编委；2001年曾被北京市科委聘为CMM顾问专家组成员、北京中关村（国家级）软件园项目顾问。主要科研方向为软件质量工程、软件测试技术、以及软件过程改进等。

2.教学及人才培养情况（含承担教学任务、编写教材、培养研究生等），科研项目情况：

(1)每年承担的课程有：春季承担本科生学位课《面向对象建模方法》（24学时+6学时实验课）；秋季承担研究生学位课《高级软件工程》（48学时），本科生学位课《软件工程基础》（32学时）《博士生学科综合课》（授课8学时+软件工程讨论班18学时）。这些课程均分别与另一位老师共同承担，本人每年承担的课时平均6-~70学时。

(2)指导博士生和硕士生：目前在研博士生13人，硕士生9人。

(3)承担教改项目《研究生学位课程-高级软件工程》。取得的教改成果《面向研究生软件工程能力培养的互动式教学模式研究与实践》获2012年度北京市教学成果二等奖（第1完成人）。

近年来，作为项目负责人承担的课题包括自然科学基金项目“基于测试的软件可信性增长模型及其评估方法研究”（项目批准号90718018，2008.01-2010.12）、863重点项目“支持软件可信性分析和评估的生产线”（课题编号2007AA010302，2007.12-2010.12）子课题“支持软件可信性分析和评估的生产线”、国家863项目“可信软件结构及代码的审查和综合评估及支持工具”（2007.01-2008.12，课题编号2006AA01Z176），以及总装备部某型号项目、总装备部预先研究项目、国防基础研究项目等。主持研制开发了通用软件测试平台QETest等软件分析与测试支撑工具，并获得了应用。

1991.1-1994.4曾在美国ASA(Advanced Software Automation, Inc.)开展合作研究，参与研制开发软件测试与分析理解工具Hindsight/C&C++等产品的研制。1995年创建北航Lotus软件质量工程中心(1995-2002)并任主任。该中心是国内最早开展国际化软件测试外包服务的机构之一，曾发展到上百人规模，承担美国IBM/Lotus公司SmartSuite、Notes等10多种软件产品测试，与Lotus共同开创了“24小时环球协同工作模式”，实现了跨地域软件产品开发和测试的高效合作。

3.发表学术论文及出版专著情况、获奖情况：

1.科研获奖：《某通用软件测试系统》获得2008年度军队科技进步二等奖（排名6）；《通用软件测试平台QETest》获得2006年度北京市科技进步三等奖（排名2）；2004年被评为对北京市CMM评估工作有突出贡献的专家。

2.发表学术论文：2009年以来累计在国内外学术会议和期刊发表学术论文40余篇。

[1]杨波,吴际,徐珞，毕考，刘超.一种软件测试需求建模及测试用例生成方法[J].计算机学报.2014.3,37(3):522-538.(EI:)

[2]陈理国，刘超，基于高斯过程的缺陷定位方法[J]，软件学报，2014.6,25(6):1169-1179,(EI:)

[3]Li Yihan, Liu Chao, Yuan Zi,Exploiting Weights of Test Case to Enhance Fault Localization,Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, SEKE13, 2013, p589-593 , June 2013, Boston, USA.（CCF推荐C类会议，不在EI等中收录）

[4]Zi Yuan, LiliYu, ChaoLiu，Bug Prediction for Fine-Grained Source Code Changes，Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, SEKE’13, 2013. p381-387, June 2013, Boston, USA.（CCF推荐C类会议，不在EI等中收录）

[5]Zi Yuan, LiliYu, ChaoLiu, Linghua Zhang, Predicting Bugs in Source Code Changes with Incremental Learning Method, Journal of Software, 2013, p1620-1633, July 2013, Finland.(EI: 20132916505967)

[6]Lili Yu, Zi Yuan, Youchun Zhang, Chao Liu. Using Evidence-Based Paradigm to Iteratively Acquire the Overall Picture of Primary Research Question, Journal of Software, p1634-1641, July 2013, Finland. （EI: 20132916505968）

[7]LiliYu,Zi Yuan, ChaoLiu，Feng Chen. An Empirical Study of an Improved Web Application Fuzz Testing Technique，Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, SEKE’13, 2013,p400-404, June 2013, Boston, USA. （CCF推荐C类会议，不在EI等中收录）

[8]Zhitao He, Haihua Yan, Chao Liu. Improvement on ABDOM-Qd and its Application in Open-Source Community Software Defect Discovery Process. Proceeding of WCSE 2013, p84-90, December, 2013, Hong Kong, China. (EI: )

[9]Zhitao He, Chao Liu, Haihua Yan, Huacan He. A Formal Definition of Software Testing Based on Fuzzy Measure. Proceeding of WCSE 2013, 2013.12. (EI: )

[10]Xiaokai Xia, Ji Wu, Chao Liu, Luo Xu, A model-driven approach for evaluating system of systems, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, p56-64, July 17, 2013 - July 19, 2013, Singapore. (EI: 20134216854377)

[11]Xiaokai Xia, Kaipeng Zhao, Luo Xu, Chao Liu,To execute the C4ISR architecture based on DoDAF and Simulink, Communications in Computer and Information Science, v 402, p25-36, 2013, AsiaSim 2013 - 13th International Conference on Systems Simulation, Proceedings, November 6, 2013 - November 8, 2013, Singapore.(EI: 20140817350523)

[12]侯超凡, 吴际，刘超. 基于测试需求的互操作性测试用例生成方法[C]. 第十二届全国软件与应用学术会议(NASAC2013). 2013.11。并被推荐到《计算机科学》期刊

[13]李宁,刘超,原子.基于拉力算法的面向对象程序结构可视化研究. 计算机工程与应用,2013,49(6): 80-85.

[14]许冶冰, 刘超. 基于主题的文档与代码间关联关系的提取研究[J]. 计算机工程与应用. 2013,49(5):70-76

[15]LiYihan, Chao Liu.Using Cluster Analysis to Identify Coincidental Correctness in Fault Localization, 2012 Fourth International Conference on Computational and Information Sciences, p357-360，August 2012，Chongqing, China.(EI: 20124615658025)

[16]Zi Yuan, LiliYu, ChaoLiu, On the Relationship between Defects of Nodes and Characteristics of Their Neighbors in Software Structural Network, Proceedings of the 3rd International Conference on Software Engineering and Service Science, 2012, p36-40, June 2012, Beijing, China.(EI: 20123915469141)

[17]Lili Yu, Xin Xu, Chao Liu, Bing Sheng. Using Grounded Theory to Understand Testing Engineers' Soft Skills of Third-Party Software Testing Centers, Proceedings of the 3rd International Conference on Software Engineering and Service Science, 2012,p403-406,June 2012, Beijing,China （EI:20123915469231）

[18]Lili Yu, Chao Liu, Youchun Zhang. A multidimensional classification of safe regression test selection techniques, 2012 International Conference on Systems and Informatics, ICSAI'12, 2012 , p2516-2520, May 2012, Yantai, China. (EI:20123115290533)

[19]何智涛，晏海华，刘超. ABDOM的参数规范化与离散化改进. 北京航空航天大学学报，2012.10, 38(10):1415-1419.（EI: 20124715699652）

[20]Bo Yang, Ji Wu, Chao Liu, Mining Data Chain Graph for Fault Localization. 2012 IEEE 36th Annual Computer Software and Applications Conference (COMPSAC-STA) [C]. 2012, p464-469, July 2012, Izmir ,Turkey. (EI: 20125015800807)

[21] 许冶冰, 刘超. 基于主题的文档与代码间关联关系的提取研究[C]. 第十一届全国软件与应用学术会议(NASAC2012). 2012.10。并被推荐到《计算机工程与应用》期刊且被录用。

[22]Liguo Chen, Xiaobo Wang, Chao Liu, An approach to improving bug assignment with bug tossing graphs and bug similarities[J], Journal of Software,March 2011 6,(3):421-427, Finland. (EI 检索号20111313877738)

[23]Yu Bin, Tian Yang, and Yan Haihua. Research on interoperability testing between operating systems. IEEE ICSESS 2011.p39-42, July 2011, Beijing, China. (EI：20113714318012)

[24]Yu Bin,Tian Yang,and Yan Haihua. Study of Interoperability Testing between Operating Systems Based on MDT and TTCN-3.ISEA 2011.p482-490 , October 2011, Chongqing, China. (EI：20114814559483)

[25]Xu Luo, Wu Ji, Liu Chao, A workload generation method for TTCN-3 performance testing, Jisuanji Xuebao/Chinese Journal of Computers (Chinese), 34(6): 985-1000, June 2011.(EI: 20112814137477)

[26]何智涛，晏海华，刘超. 软件缺陷发现时序过程的叠加双阻尼振荡模型. 软件学报，2010，21(12)：2999-3010.（EI: 20110313600506）

[27] o Yang, Ji Wu, Chao Liu, Luo Xu. A Regression Testing Method for Composite Web Services[A]. In Proceedings of the First International Conference on Biomedical Engineering and Computer Science[C]. 2010,326-329, April 2010,Wuhan, China. (EI: 20102413005870)

[28]Liguo Chen, Xiaobo Wang, Chao Liu, Improving Bug Assignment with Bug Tossing Graphs and Bug Similarities[C],2010,p56-60,April 2010, Wuhan,China. (EI 检索号20102413005705)

[29]Xiaokai Xia, Qiuhong Pei,Yongpo Liu, Ji Wu, Chao Liu, Multi-level logs based web performance evaluation and analysis, ICCASM 2010 - 2010 International Conference on Computer Application and System Modeling, Proceedings, v 4, pV437-V441, October 22, 2010 - October 24, 2010, Shanxi ,Taiyuan, Chian (EI: 20104913452303)

[30]李楠，王晓博，刘超，自动分析软件缺陷报告间相关性的方法研究，计算机应用研究，27（6）：2134-2239,2010.6，

[31]韩晓东，王晓博，刘超，中文文档与源代码间关联关系提取方法的研究，合肥工业大学学报，33（2）：188-192,2010.2

[32]Liguo Chen, Xiaobo Wang, Chao Liu, An Evolving Model of Software Bug Reports[C].2009 International Conference on Information Engineering and Computer Science, 2009,p3235-3238, December 2009,Wuhan, China.(EI 检索号20101212791813)

[33]王晓博，王欢，刘超，UML类图层次化自动布图算法研究，软件学报， 2009，20(6):1487-1498.(EI: 20092712172139)

[34]Xiaobo Wang, Guanhui Lai and Chao Liu,Recovering Relationships between Documentation and Source Code based on the Characteristics of Software Engineering, 2nd International Workshop on Harnessing Theories for Tool Support in Software TTSS'08, 30. August 2008,p121-137, July 2009, Sabanci University, Istanbul, Turkey

[35]Xiaobo Wang, Huan Wang, Chao Liu, Predicting Co-changed Software Entities in the Context of Software Evolution, Proceedings of International Conference on Information Engineering and Computer Science, 2009, p3177 - 3181, October 2009, Wuhan, China(EI: 20101212792234)

[36]Xu Luo, Wu Ji, Liu Chao, T3FAH: A TTCN-3 based fuzzer with attack heuristics, 2009 WRI World Congress on Computer Science and Information Engineering, CSIE 2009, v 7, p744-749, 2009, March 31, 2009 - April 2, 2009, Los Angeles, CA, United states.(EI: 20094712464423)

[37]Xu Luo, Qiulu Yuan, Wu Ji, Liu Chao, Ontology-based web service robustness test generation,2009 11th IEEE International Symposium on Web Systems Evolution, WSE 2009, p59-68, September 25, 2009 - September 26, 2009 , Edmonton, AB, Canada. (EI: 20105213517128)

[38]Xu Luo, Wu Ji, Liu Chao, TTCN-3 based robustness test generation and automation,Proceedings - 2009 International Conference on Information Technology and Computer Science, ITCS 2009, v2, p120-125, July 25, 2009 - July 26, 2009, Kiev, Ukraine. (EI: 20094612452071)

[39]古可，刘超，C++代码缺陷自动检测工具的研究与实现，计算机应用研究，26（5）：1629-1631，2009.5

[40]赖冠辉，王晓博，刘超，代码与文档间关联关系的提取方法研究和改进，电子学报，37（4A）：22-30,2009.4