无码夫の前で人妻を侵犯,无码人妻一区二区三区免费看,亚洲av无码国产精品色在线看不卡

北京航空航天大學計算機學院軟件工程導師介紹：劉超

導師詳細信息

姓名：劉超

性別：男

出生年份：1958

職稱：教授

院系：計算機學院

首次聘任導師時間：2006

現聘任導師一級學科名稱：軟件工程

現聘任導師二級學科名稱：軟件工程

聘任在第二學科培養博士生專業名稱：無

聘任在自主設置學科培養博士生專業名稱：無

主要研究方向及特色：軟件工程、軟件質量與軟件測試、軟件過程改進

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

辦公電話：82317641

辦公地點：新主樓G917

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

個人簡介：

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

劉超，男，1958年出生，博士，北京航空航天大學計算機學院教授、博士生導師、軟件工程研究所所長，北航軟件測評實驗室主任�，F兼任中國計算機學會軟件工程專業委員會副主任，中國軟件行業協會軟件工程分會副主任和系統與軟件過程改進分會副會長。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