我的相册




基本信息 The basic information
姓名: 马春燕

学院: 软件学院


学历: 博士研究生毕业

学位: 博士


职称: 副教授

职务: 副院长


学科: 软件工程









我的相册


工作经历 Work Experience
2003.9至2009.6攻读博士期间，在软件与微电子学院任专职教师；
2010.4年至2014.4年任软件与微电子学院讲师；
2013年1月7日至2013年2月3日，前往澳大利亚墨尔本，与斯文本科技大学软件分析与测试小组展开故障定位和故障原因分析技术的合作研究；

2014.5年任软件与微电子学院副教授；
2014年12月至2015年12月，作为访问****，在香港科技大学计算机系从事数据分析与可视化技术研究和学习。





我的相册


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





我的相册


教育教学 Education And Teaching
1） 出版教材：
2008年参编国家十一五规划教材《软件工程基础》；

2010年主编教材《面向对象编程基础-java语言描述”》；

2015年主编工业和信息化部十二五规划教材《面向对象思维、设计与项目实践》。

2） 曾主讲课程：
本科生专业课《面对对象技术与编程》；

本科生专业课《编译原理及实践》；

本科生专业课《计算机图形学》；

研究生课程《软件测试》。








我的相册


荣誉获奖 Awards Information
(1) 校企全过程深度融合的软件工程实践教学体系构建与实践，获2018年国家教学成果二等奖，排名第5。
(2) 主编工业和信息化部“十二五”规划教材《面向对象思维、设计与项目实践》，西北工 业大学出版社，马春燕、张涛等，2015年8月出版，字数：60万。2018年7月被评为西北工业大学第十届优秀教材一等奖。
(3) 主编工业和信息化部“十二五”规划教材《面向对象思维、设计与项目实践》，西北工 业大学出版社，马春燕、张涛等，2015年8月出版，字数：60万。2018年10月荣获陕西省普通高等学校优秀教材二等奖。
(4) 2008年获西北工业大学奖教金。
(5) 2010年获西北工业大学奖教金。
(6) 2010年获西北工业大学《面向对象编程基础——Java语言描述》教材建设奖
(7) 2010年获西北工业大学“基于企业实践的面向对象技术与编程教学研究”项目。
(8) 2011年获西北工业大学先进工作者。
(9) 2011获西北工业大学本科教学最满意教师。
(10) 2012年三次获西北工业大学奖教金。
(11) 2013年《面向对象编程基础——Java语言描述》获西北工业大学第九届优秀教材二等奖。
(12) 2014年获西北工业大学本科教学最满意教师。
(13) 2014年，“多模式校企协同合作培养软件工程人才”获西北工业大学优秀教学成果一等奖，第四完成人。
(14) 2015年“校企深度融合全过程的软件工程人才培养体系构建与实践”获陕西省高等教育教学成果奖一等奖，第六完成人。
(15) 2016年，教改项目“面向对象软件分析、设计方法与工程实践”获全国工程专业学位研究生教育项目支持。
(16) 2017年，“面向对象编程与设计课程”获西北工业大学探究式、研究型课程教学改革项目，支持经费5万元。
（17）2018年，“面向对象编程与实践课程的智能助教问答系统”获西北工业大学教育教学改革研究项目，支持经费 2万元。







我的相册


科学研究 Scientific Research
研究方向包括嵌入式软件系统建模、分析与验证、软件自动化测试与故障定位、自然语言处理、视频处理。近年来主持的科研项目如下：
(1) 国家自然科学基金青年科学基金项目，**，基于变异的程序自动化修复方法研究，2012/01-2014/12 ，21万元
(2) 航空科学基金重点实验室类项目，，面向多平台体系化复杂航电系统形式化建模与验证，2017.10.01-2019.09.30，12万元
(3) 北京神舟航天软件技术有限公司横向课题，基于模型驱动的载人航天工程软件开发环境原型研制，2019年1月至2019年12月，42万元
(4) 陕西省重点研发计划项目，2017ZDXM-GY-094，互联网环境下的设备无关扁平化物联网共性支撑平台及应用示范，2017.01-2018.12，45万元
(5) 618研究所合作课题，下一代复杂GNC系统软件通用架构技术研究，2017.10-2018.10，21万元
(6) 航天科学技术基金项目，基于大数据的航天嵌入式软件缺陷发现技术研究，2018.01-2018.12，8万元
(7) 陕西省自然科学基础研究计划，2011JQ8008，基于AADL模型的测试技术研究，2011/06-2013/12，3万元
(8) 陕西省自然科学基础研究计划，2009JM8003-5，基于形式化模型的Web服务测试技术研究,2010/01-2011/12，5万元
(9) 与第771研究所合作项目，农产品可视溯源平台及农业园区门户网站软件开发，2016/06-2016/12，6.8万元
(10) 企业课题，西安光大国际旅行社合作项目，西安光大国际旅行社交易信息系统，2016/03-2016/09，10万元
(11) 企业合作课题，2011EK160005，标准化作业操作管理系统研究与开发， 2011/12-2012/12，15万元
(12) 西北工业大学基础研究基金，JC201126，基于变异的C语言程序bug自动化修复方法研究，2011/09 -2013/09，8万元
(13) 西北工业大学青年科技创新基金，2008KJ02045，基于模型的Web服务测试技术研究，2009/01 -2010/12，3万元










我的相册


学术成果 Academic Achievements
1）发表学术论文


发表的代表性学术论文包括:
[1] 马春燕, 李尚儒, 王慧朝, 张磊, 张涛，基于敏感变量和线性感知机的测试预言自动生成方法，软件学报，2019年5月.
[2] Chunyan Ma, Chenyang Nie, Weicheng Chao, Bowei Zhang. A Vector Table Model based Systematic Analysis of Spectral Fault Localization Techniques ， Software Quality Journal, DOI: 10.1007/s11219-018-9402-1，2018.（JCR Q2，SCI/EI Index）
[3] Chunyan Ma and Baomin Li and Tong Zhao and Wei Wei. An Intelligent Question Answering System for University Courses Based on BiLSTM and Keywords Similarity. 2018.07.the 9th International Conference on Brain Inspired cognitive Systems.
[4] Chunyan Ma and Tong Zhao and Hao Li. A Method for Calculating Patent Similarity Using Patent Model Tree Based on Neural Network. 2018.07.the 9th International Conference on Brain Inspired cognitive Systems.
[5] 马春燕, 李璐池, 薛文燕. 空气污染特征与分布规律的可视化技术研究[J]. 西北工业大学学报, 2017 (6):1073-1078.
[6] Yixian Zheng, Wenchao Wu, Huamin Qu, Chuanyan Ma and Lionel M. Ni. Visual analysis of Bi-directional Movement Behavior, In Proceedings of IEEE International Conference on Big Data (IEEE Big Data 2015 in Santa Clara, CA, USA).
[7] 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 (QSIC 14th). Page 315-320.
[8] 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.
[9] Chunyan Ma, Yifei Zhang, Jie Liu, MengZhao. Locating Faulty Code Using Failure-Causing Input Combinations in Combinatorial Testing (WCSE 2013).
[10] 马春燕，刘杰，赖文豫. 基于变异技术的程序故障自动化修复方法. 计算计应用研究，Vol.31 No.1 Jan. 2014.
[11] 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.
[12] 马春燕等. Web服务自动化测试技术. 计算机科学，Vol.39, No.2, 2012.2.
[13] 马春燕等. 基于SystemC 的AADL软构件仿真代码转换技术. 计算机科学，Vol.38, No.8, 2011.8
[14] 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.
[15] Chunyan Ma, JunSheng Wu, Tao Zhang. SXMtool a Tool for Stream X-machine Testing，2010 Second World Congress on Software Engineering (WCSE 2010).
[16] 马春燕等，AADL测试模型的构造研究，《西北工业大学学报》， 2010年12月第28卷第6期
[17] 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.
[18] 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.
[19] 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.
[20] 马春燕等， 一种面向终端用户的Web服务测试方法，《西北工业大学学报》，Vol.26, No.5, 2008年10月：3026-3029

2）专利和软件著作权
[1] 专利：一种基于SystemC的AADL软构件模型仿真测试实例生成方法; 专利号：ZL 2011 1 **.0，发明人：马春燕等；

[2] 软件著作权：Web服务操作测试用例生成工具软件v1.0，登记号2011SR063979，2011.4，马春燕等；

[3] 软件著作权：状态Web服务操作序列测试用例生成工具软件WSTestCG v1.0，登记号2011SR068064 ，2011.4，马春燕等。





我的相册


团队信息 Team Information
教授1名，副教授2名，讲师2名。





我的相册


综合介绍 General Introduction
马春燕，女，西北工业大学计算机科学与技术专业博士，副教授。主讲面向对象技术与编程、编译原理等课程，研究方向包括嵌入式软件系统建模、分析与验证、软件自动化测试与故障定位、自然语言处理、视频处理。近年来，主持科研项目14项目，包括国家自然基金1项、陕西省自然基金2项、陕西省重点研发计划1项、航空基金1项、航天基金1项等，作为课题技术负责人参与国家级课题4项、省部级课题8项以及横向企业合作课题5项。近年来，第一作者发表科研论文20篇。2008年参编国家十一五规划教材《软件工程基础》，2010年主编教材《面向对象编程基础-java语言描述》获校教学成果二等奖和优秀教材二等奖，2015年主编工业和信息化部十二五规划教材《面向对象思维、设计与项目实践》获校优秀教材一等奖和省优秀教材二等奖。主持教改3项，获教学成果奖14项，被评为最满意教师2次，获奖教金3次，获优秀青年教师1次。