• 2026考研英語全程班 6班
• 26考研全科上岸規(guī)劃營(yíng)「擇校▪規(guī)劃▪備考」
• 北京航空航天大學(xué)2026考研專業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫」

導(dǎo)師詳細(xì)信息

姓名：劉超

性別：男

出生年份：1958

職稱：教授

院系：計(jì)算機(jī)學(xué)院

首次聘任導(dǎo)師時(shí)間：2006

現(xiàn)聘任導(dǎo)師一級(jí)學(xué)科名稱：軟件工程

現(xiàn)聘任導(dǎo)師二級(jí)學(xué)科名稱：軟件工程

聘任在第二學(xué)科培養(yǎng)博士生專業(yè)名稱：無

聘任在自主設(shè)置學(xué)科培養(yǎng)博士生專業(yè)名稱：無

主要研究方向及特色：軟件工程、軟件質(zhì)量與軟件測(cè)試、軟件過程改進(jìn)

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

辦公電話：82317641

辦公地點(diǎn)：新主樓G917

通信地址：北京市海淀區(qū)學(xué)院路37號(hào)北京航空航天大學(xué)軟件工程研究所

個(gè)人簡(jiǎn)介：

1.個(gè)人情況簡(jiǎn)介（含社會(huì)兼職情況等）：

劉超，男，1958年出生，博士，北京航空航天大學(xué)計(jì)算機(jī)學(xué)院教授、博士生導(dǎo)師、軟件工程研究所所長(zhǎng)，北航軟件測(cè)評(píng)實(shí)驗(yàn)室主任。現(xiàn)兼任中國計(jì)算機(jī)學(xué)會(huì)軟件工程專業(yè)委員會(huì)副主任，中國軟件行業(yè)協(xié)會(huì)軟件工程分會(huì)副主任和系統(tǒng)與軟件過程改進(jìn)分會(huì)副會(huì)長(zhǎng)。2004年曾受聘為航天科技二院產(chǎn)品保證專家；2006年曾受聘航空計(jì)算技術(shù)雜志編委；2001年曾被北京市科委聘為CMM顧問專家組成員、北京中關(guān)村（國家級(jí)）軟件園項(xiàng)目顧問。主要科研方向?yàn)檐浖�質(zhì)量工程、軟件測(cè)試技術(shù)、以及軟件過程改進(jìn)等。

2.教學(xué)及人才培養(yǎng)情況（含承擔(dān)教學(xué)任務(wù)、編寫教材、培養(yǎng)研究生等），科研項(xiàng)目情況：

(1)每年承擔(dān)的課程有：春季承擔(dān)本科生學(xué)位課《面向?qū)ο蠼�模方法》�?4學(xué)時(shí)+6學(xué)時(shí)實(shí)驗(yàn)課）；秋季承擔(dān)研究生學(xué)位課《高級(jí)軟件工程》（48學(xué)時(shí)），本科生學(xué)位課《軟件工程基礎(chǔ)》（32學(xué)時(shí)）《博士生學(xué)科綜合課》（授課8學(xué)時(shí)+軟件工程討論班18學(xué)時(shí)）。這些課程均分別與另一位老師共同承擔(dān)，本人每年承擔(dān)的課時(shí)平均6-~70學(xué)時(shí)。

(2)指導(dǎo)博士生和碩士生：目前在研博士生13人，碩士生9人。

(3)承擔(dān)教改項(xiàng)目《研究生學(xué)位課程-高級(jí)軟件工程》。取得的教改成果《面向研究生軟件工程能力培養(yǎng)的互動(dòng)式教學(xué)模式研究與實(shí)踐》獲2012年度北京市教學(xué)成果二等獎(jiǎng)（第1完成人）。

近年來，作為項(xiàng)目負(fù)責(zé)人承擔(dān)的課題包括自然科學(xué)基金項(xiàng)目“基于測(cè)試的軟件可信性增長(zhǎng)模型及其評(píng)估方法研究”（項(xiàng)目批準(zhǔn)號(hào)90718018，2008.01-2010.12）、863重點(diǎn)項(xiàng)目“支持軟件可信性分析和評(píng)估的生產(chǎn)線”（課題編號(hào)2007AA010302，2007.12-2010.12）子課題“支持軟件可信性分析和評(píng)估的生產(chǎn)線”、國家863項(xiàng)目“可信軟件結(jié)構(gòu)及代碼的審查和綜合評(píng)估及支持工具”（2007.01-2008.12，課題編號(hào)2006AA01Z176），以及總裝備部某型號(hào)項(xiàng)目、總裝備部預(yù)先研究項(xiàng)目、國防基礎(chǔ)研究項(xiàng)目等。主持研制開發(fā)了通用軟件測(cè)試平臺(tái)QETest等軟件分析與測(cè)試支撐工具，并獲得了應(yīng)用。

1991.1-1994.4曾在美國ASA(Advanced Software Automation, Inc.)開展合作研究，參與研制開發(fā)軟件測(cè)試與分析理解工具Hindsight/C&C++等產(chǎn)品的研制。1995年創(chuàng)建北航Lotus軟件質(zhì)量工程中心(1995-2002)并任主任。該中心是國內(nèi)最早開展國際化軟件測(cè)試外包服務(wù)的機(jī)構(gòu)之一，曾發(fā)展到上百人規(guī)模，承擔(dān)美國IBM/Lotus公司SmartSuite、Notes等10多種軟件產(chǎn)品測(cè)試，與Lotus共同開創(chuàng)了“24小時(shí)環(huán)球協(xié)同工作模式”，實(shí)現(xiàn)了跨地域軟件產(chǎn)品開發(fā)和測(cè)試的高效合作。

3.發(fā)表學(xué)術(shù)論文及出版專著情況、獲獎(jiǎng)情況：

1.科研獲獎(jiǎng)：《某通用軟件測(cè)試系統(tǒng)》獲得2008年度軍隊(duì)科技進(jìn)步二等獎(jiǎng)（排名6）；《通用軟件測(cè)試平臺(tái)QETest》獲得2006年度北京市科技進(jìn)步三等獎(jiǎng)（排名2）；2004年被評(píng)為對(duì)北京市CMM評(píng)估工作有突出貢獻(xiàn)的專家。

2.發(fā)表學(xué)術(shù)論文：2009年以來累計(jì)在國內(nèi)外學(xué)術(shù)會(huì)議和期刊發(fā)表學(xué)術(shù)論文40余篇。

[1]楊波,吳際,徐珞，畢考，劉超.一種軟件測(cè)試需求建模及測(cè)試用例生成方法[J].計(jì)算機(jī)學(xué)報(bào).2014.3,37(3):522-538.(EI:)

[2]陳理國，劉超，基于高斯過程的缺陷定位方法[J]，軟件學(xué)報(bào)，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類會(huì)議，不在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類會(huì)議，不在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，F(xiàn)eng 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類會(huì)議，不在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è)試需求的互操作性測(cè)試用例生成方法[C]. 第十二屆全國軟件與應(yīng)用學(xué)術(shù)會(huì)議(NASAC2013). 2013.11。并被推薦到《計(jì)算機(jī)科學(xué)》期刊

[13]李寧,劉超,原子.基于拉力算法的面向?qū)ο蟪绦蚪Y(jié)構(gòu)可視化研究. 計(jì)算機(jī)工程與應(yīng)用,2013,49(6): 80-85.

[14]許冶冰, 劉超. 基于主題的文檔與代碼間關(guān)聯(lián)關(guān)系的提取研究[J]. 計(jì)算機(jī)工程與應(yīng)用. 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的參數(shù)規(guī)范化與離散化改進(jìn). 北京航空航天大學(xué)學(xué)報(bào)，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] 許冶冰, 劉超. 基于主題的文檔與代碼間關(guān)聯(lián)關(guān)系的提取研究[C]. 第十一屆全國軟件與應(yīng)用學(xué)術(shù)會(huì)議(NASAC2012). 2012.10。并被推薦到《計(jì)算機(jī)工程與應(yīng)用》期刊且被錄用。

[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 檢索號(hào)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]何智濤，晏海華，劉超. 軟件缺陷發(fā)現(xiàn)時(shí)序過程的疊加雙阻尼振蕩模型. 軟件學(xué)報(bào)，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 檢索號(hào)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]李楠，王曉博，劉超，自動(dòng)分析軟件缺陷報(bào)告間相關(guān)性的方法研究，計(jì)算機(jī)應(yīng)用研究，27（6）：2134-2239,2010.6，

[31]韓曉東，王曉博，劉超，中文文檔與源代碼間關(guān)聯(lián)關(guān)系提取方法的研究，合肥工業(yè)大學(xué)學(xué)報(bào)，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 檢索號(hào)20101212791813)

[33]王曉博，王歡，劉超，UML類圖層次化自動(dòng)布圖算法研究，軟件學(xué)報(bào)， 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++代碼缺陷自動(dòng)檢測(cè)工具的研究與實(shí)現(xiàn)，計(jì)算機(jī)應(yīng)用研究，26（5）：1629-1631，2009.5

[40]賴冠輝，王曉博，劉超，代碼與文檔間關(guān)聯(lián)關(guān)系的提取方法研究和改進(jìn)，電子學(xué)報(bào)，37（4A）：22-30,2009.4