馬春燕(馬春燕-西北工業大學)

馬春燕，女，1978年出生，西工大計算機科學與技術專業博士，副教授。研究方向包括軟體建模、分析、測試、調試技術,圖形處理技術,數據分析技術。

基本介紹

• 中文名：馬春燕
• 國籍：中國
• 民族：漢族
• 出生地：山東
• 出生日期：1978年
• 職業：大學教師
• 畢業院校：西北工業大學
• 學位/學歷：博士
• 專業方向：計算機科學與技術
• 主要成就：主持教改2項，獲校教學成果獎4項，被評為最滿意教師2次，獲獎教金3次，獲優秀青年教師1次  
• 學術代表作：基於 SystemC 的 AADL 軟構件仿真代碼轉換技術

簡介

馬春燕，女，1978年出生，西工大計算機科學與技術專業博士，副教授。研究方向包括軟體建模、分析、測試、調試技術,圖形處理技術,數據分析技術。

教育經歷

2000年獲曲阜師範大學計算機技術教育學士學位；

2003獲西北工業大學計算機學院計算機軟體與理論碩士學位；

2009年獲西北工業大學計算機學院計算科學與技術博士學位。

工作經歷

2003.9至2009.6攻讀博士期間，在軟體與微電子學院任專職教師；

2010.4年至2014.4年任軟體與微電子學院講師；

2013年1月7日至2013年2月3日，前往澳大利亞墨爾本，與斯文本科技大學軟體分析與測試小組展開故障定位和故障原因分析技術的合作研究；

2014.5年任軟體與微電子學院副教授；

2014年12月至2015年12月，作為訪問學者，在香港科技大學計算機系從事數據分析與可視化技術研究和學習

教育教學

1） 出版教材：

• 2008年參編國家十一五規劃教材《軟體工程基礎》；
  
• 2010年主編教材《面向對象編程基礎-java語言描述”》；
  
• 2015年主編工業和信息化部十二五規劃教材《面向對象思維、設計與項目實踐》。
  

2） 曾主講課程：

• 本科生專業課《面對對象技術與編程》；
  
• 本科生專業課《編譯原理及實踐》；
  
• 本科生專業課《計算機圖形學》；
  
• 研究生課程《軟體測試》。
  

研究方向

軟體建模、分析、測試、調試技術，數據分析與可視化技術

主持科研項目

• （1）主持國家自然科學基金-青年科學基金課題“基於變異的程式自動化修複方法研究”，項目批准號： 61103003，執行期： 2012.1-2014.12，支持經費21萬元;
  
• （2）主持陝陝西省自然科學基礎研究基金“基於AADL模型的測試技術研究”，項目批准號：2011JQ8008，執行期：2011.6- 2013.12，支持經費4萬元;
  
• （3）主持西北工業大學基礎研究基金“基於變異的C語言程式bug自動化修複方法研究”，項目批准號：JC201126，執行期：2011.12 -2013.12，獲結題驗收優秀項目；支持經費8萬元；
  
• （4）主持西北工業大學青年科技創新基金“基於模型的Web服務測試技術研究”（2008KJ02045），3萬元，2009.1 -2010.12，獲結題驗收優秀項目；
  
• （5）主持橫向課題“標準化作業操作管理系統研究與開發”， 2011.12-2012.12，15萬元。
  

參與科研項目

• （1）陝西省科技統籌創新工程計畫項目，2015TZC-G-10-1、數字文化旅遊和商業運營融合的集成現代服務雲平台、2015/01-2016/12、120萬元、在研、參與。
  
• （2）國家863計畫目標導向課題，2009AA01Z147、模型驅動的任務關鍵軟體測試技術及其支撐環境建設、2009/01—2012/12、已結題、參與。
  
• （3）參與了和613所共同合作的陝西省自然科學基礎研究計畫面上項目“基於形式化模型的Web服務測試技術研究”（2009JM8003-5），2010.1-2011.12。
  

榮譽獲獎

1）教學工作獲獎

主持教改2項，獲校教學成果獎4項，被評為最滿意教師2次，獲獎教金3次，獲優秀青年教師1次

2）指導學生大賽獲獎

指導學生獲獎14項，其中國家級二等獎3項（項目名稱分別為：基於開源技術的音樂線上製作平台；實時公交行駛狀況查詢系統；書店移動智慧型終端自助結算系統）；指導3項國家大學生創新訓練項目（項目名稱分別為：數字音樂模擬系統；易研助手研發；城市空氣污染與分布規律的可視化設計與實現）和8人次畢業設計優秀論文（論文題目分別為：服務測試用例生成工具的研發；基於變異技術的程式故障自動化修復；基於CADP的AADL可靠性分析；基於變異技術的程式故障自動化修復；基於因果鏈的故障原因分析方法研究；基於Delta調試的程式修複方法；空氣污染特徵與分布規律的可視化技術研究 )

學術成果

1）發表學術論文

發表的代表性學術論文包括(按發表的時間順序排列):

• 【1】 Chunyan Ma, Yifei Zhang, Tao Zhang, Yuwei Lu and Qingyi Wang. Uniformly Evaluating and Comparing Ranking Metrics for Spectral Fault Localization. 2014 IEEE 14th International Conference on Quality Software(QSIC2014). Page 315-320.
  
• 【2】 Chunyan Ma,Tian Tan,Yibo Chen, YunweiDong. 2013. An If-While-If model-based performance evaluation of ranking metrics for
  
• spectra-based fault localization. 2013 IEEE 37th Annual Computer Software and Applications Conference(compsac 37th). DOI 10.1109. Page: 609-618.
  
• 【3】 Chunyan Ma, Yifei Zhang, Jie Liu, MengZhao. Locating Faulty Code Using Failure-Causing Input Combinations in Combinatorial Testing (WCSE 2013).
  
• 【4】 Chunyan Ma, Yue Li, Yunwei Dong, and Yaqi Liu. Automatic Generation of Systematic Test Cases Using AADL for Embedded Software. International Journal of Future Computer and Communication, Vol. 1, No.2, August 2012.
  
• 【5】 馬春燕,朱怡安,陸偉. Web 服務自動化測試技術. 計算機科學,Vol.39, No.2, 2012.2.
  
• 【6】 馬春燕,董雲衛,陸偉. 基於 SystemC 的 AADL 軟構件仿真代碼轉換技術. 計算機科學,Vol.38, No.8, 2011.8.
  
• 【7】 Chunyan Ma, JunSheng Wu, Tao Zhang. Web Service Sequence Testing Based on Stream X-machine,The 10th International Conference on Quality Software(QSIC 2O1O),2010.7, P232-239.
  
• 【8】 Chunyan Ma, JunSheng Wu, Tao Zhang. SXMtool 􏳫a Tool for Stream X-machine Testing,2010 Second World Congress on Software Engineering (WCSE 2010).
  
• 【9】 馬春燕,董雲衛,朱宇峰,陸偉,AADL 測試模型的構造研究,《西北工業 大學學報》, 2010年12月第28卷第6期.
  
• 【10】 Chunyan Ma, Chenglie Du, Tao Zhang, Fei Hu, Xiaobin Cai. WSDL-Based Automated Test Data Generation for Web Service.In: 2008 International Conference on Computer Science and Software Engineering (CSSE 2008). IEEE Computer Society Press,PP.731-737.
  
• 【11】 Chunyan Ma, Junsheng Wu, Tao Zhang,YunPeng Zhang, Xiaobin Cai. Automatic Test Case Generation for BPEL Using Stream X-machine. In : International Journal of u- and e- Service,Science and Technology. Vo1.1 No.1. Page: 27-35, December, 2008. ISSN: 2005-4246.
  
• 【12】 Chunyan Ma, Junsheng Wu, Tao Zhang,YunPeng Zhang, Xiaobin Cai. Testing BPEL with Stream X-Machine. 2008 Internatinal Symposium on Information Science and Engineering (ISISE) . December 20-22, 2008. Page: 578-582.
  
• 【13】 馬春燕,杜承烈,武君勝,張濤, 一種面向終端用戶的 Web 服務測試方 法,《西北工業大學學報》,Vol.26, No.5, 2008 年 10 月:3026-3029.
  

2）專利和軟體著作權

• [1] 專利：一種基於SystemC的AADL軟構件模型仿真測試實例生成方法; 專利號：ZL 2011 1 0182872.0，發明人：馬春燕等；
  
• [2] 軟體著作權：Web服務操作測試用例生成工具軟體v1.0，登記號2011SR063979，2011.4，馬春燕等；
  
• [3] 軟體著作權：狀態Web服務操作序列測試用例生成工具軟體WSTestCG v1.0，登記號2011SR068064 ，2011.4，馬春燕等。