个人简述:

马春燕，女，1978年出生，西工大计算机科学与技术专业博士，副教授。研究方向包括软件建模、分析、测试、调试技术，数据分析与可视化技术。（1）主持国家自然基金1项（项目名称：基于变异的程序自动化修复方法研究）、陕西省自然基金1项以及学校基础研究基金2项，横向课题1项，参与国家863计划课题、横向课题等项目3项。近年来以第一作者在核心期刊及高质量国际学术会议上发表学术论文16篇，获批软件著作权2项，专利1项。（2）指导学生竞赛国家级二等奖3项；指导3项国家大学生创新训练项目和7人次毕业设计优秀论文。（3）主讲面向对象技术与编程、编译原理等课程，2008年参编国家十一五规划教材《软件工程基础》，2010年主编教材《面向对象编程基础-java语言描述”》获校教学成果二等奖和优秀教材二等奖，2015年主编工业和信息化部十二五规划教材《面向对象思维、设计与项目实践》。主持教改2项，获校教学成果奖4项，被评为最满意教师2次，获奖教金3次，获优秀青年教师1次。

科研工作:

2003.9至2009.6攻读博士期间，在软件与微电子学院任专职教师；2010.4年至2014.4年任软件与微电子学院讲师；2013年1月7日至2013年2月3日，前往澳大利亚墨尔本，与斯文本科技大学软件分析与测试小组展开故障定位和故障原因分析技术的合作研究；     2014.5年任软件与微电子学院副教授；2014年12月至2015年12月，作为访问学者，在香港科技大学计算机系从事数据分析与可视化技术研究和学习。 研究方向包括软件建模、分析、测试、调试技术，数据分析与可视化技术。   主持科研项目（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）发表学术论文 发表的代表性学术论文包括(按发表的时间顺序排列):【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 forspectra-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，马春燕等。

教育背景:

2000年获曲阜师范大学计算机技术教育学士学位；2003获西北工业大学计算机学院计算机软件与理论硕士学位；2009年获西北工业大学计算机学院计算科学与技术博士学位。