亚洲AV蜜桃永久无码精品,日韩人妻无码中文字幕视频,97人妻无码一区二区精品免费

北京航空航天大學(xué)計算機學(xué)院軟件工程導(dǎo)師介紹：劉超

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

姓名：劉超

性別：男

出生年份：1958

職稱：教授

院系：計算機學(xué)院

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

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

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

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

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

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

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

辦公電話：82317641

辦公地點：新主樓G917

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

個人簡介：

1.個人情況簡介（含社會兼職情況等）：

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

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

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

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

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

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

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

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

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

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

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

[2]陳理國，劉超，基于高斯過程的缺陷定位方法[J]，軟件學(xué)報，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，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類會議，不在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]. 第十二屆全國軟件與應(yīng)用學(xué)術(shù)會議(NASAC2013). 2013.11。并被推薦到《計算機科學(xué)》期刊

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

[14]許冶冰, 劉超. 基于主題的文檔與代碼間關(guān)聯(lián)關(guān)系的提取研究[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é)報，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ù)會議(NASAC2012). 2012.10。并被推薦到《計算機工程與應(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 檢索號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)時序過程的疊加雙阻尼振蕩模型. 軟件學(xué)報，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]李楠，王曉博，劉超，自動分析軟件缺陷報告間相關(guān)性的方法研究，計算機應(yīng)用研究，27（6）：2134-2239,2010.6，

[31]韓曉東，王曉博，劉超，中文文檔與源代碼間關(guān)聯(lián)關(guān)系提取方法的研究，合肥工業(yè)大學(xué)學(xué)報，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類圖層次化自動布圖算法研究，軟件學(xué)報， 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++代碼缺陷自動檢測工具的研究與實現(xiàn)，計算機應(yīng)用研究，26（5）：1629-1631，2009.5

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