我的相册




基本信息 The basic information
姓名: 郑炜

学院: 软件学院


学历: 博士研究生毕业

学位: 博士


职称: 副教授

职务:


学科: 计算机科学与技术









我的相册


综合介绍 General Introduction
郑炜，男，西北工业大学软件学院副教授，博士（博士后），CCF软件工程专委会委员，全国大学生软件测试大赛组委会成员，中国汽车软件测试工作组成员。
致力于科研教学10多年，积极参与教学改革、学科建设。发表学术论文60余篇，其中在软件工程领域顶级期刊（如TOSEM,JSS,Informance Science等）和顶级会议（ICSE、FSE）发表论文20余篇。 主持、参与国家863，973、自然基金等项目若干项；与多个研究所（504所、203所、20所、618所）长期进行项目合作，主要涉及第三方软件测试、软件工具、测试平台研发等。与华为西研所长期进行项目合作，并被授予“华为优秀培训师”。







我的相册


教育教学 Education And Teaching
主讲的《软件测试》课程在学堂在线、中国大学生慕课上线并选为精品课程；第一作者申请国家发明专利五项，第一作者编写著作教材六本。近四年来指导学生在全国大学生软件测试大赛获得 特等奖两项，一等奖四项，二等奖五项，并获得2019“卓越指导教师奖” 和“优秀指导教师奖”。指导学生获得服务外包大赛国家级一等奖。作品“基于深度学习的软件缺陷检测”获NASAC 2019最佳展览奖第一名。参与“校企全过程深度融合的软件工程实践教学体系构建与实践”，获得2018国家教学成果二等奖。主讲的软件测试在线课程获得2019陕西省精品在线课程。
目前，郑炜团队主要研究方向为软件安全漏洞分析与检测、软件缺陷分析。主要采用技术涉及：基于神经网络的机器学习方法(Neural Network-based Machine Learning)、交互式机器学习(Interactive Machine Learning)、主动学习（Active Learning）、迁移学习(Transfer Learning)等。郑炜副教授团队已毕业硕博士研究生100余人，在读30余人。研究生主要就业去向包括国内外著名企业、一流互联网机构、科研院所、高等院校、其他事业单位、国内外科研机构博士等。
主讲课程：
（1）软件测试，本科生课程， 56学时
（2）现代软件工程，本科生课程， 56学时
（3）高级软件测试，研究生课程， 56学时







我的相册


荣誉获奖 Awards Information
2019 年在TOP期刊会议发表SCI学术论文8篇。
主讲的《软件测试》课程在学堂在线、中国大学生慕课上线并选为精品课程。
第一作者申请国家发明专利五项，第一作者编写著作教材六本。
近四年来指导学生在全国大学生软件测试大赛获得 特等奖两项，一等奖四项，二等奖五项，并获得2019“卓越指导教师奖” 和“优秀指导教师奖”。
指导学生获得服务外包大赛国家级一等奖。
作品“基于深度学习的软件缺陷检测”获NASAC 2019最佳展览奖第一名。
参与“校企全过程深度融合的软件工程实践教学体系构建与实践”，获得2018国家教学成果二等奖。
主讲的软件测试在线课程获得2019陕西省精品在线课程。







我的相册


科学研究 Scientific Research

主要从事科研项目及成果：
(1)国防研究所航天504所合作项目，横向课题，N2019ME160003，数传自动化测试系统，2019-01至2020-12，80万，在研，主持
(2)国防研究所中电二十所， 横向课题， N2018ME160001, 测试用例自动化生成关键技术研究，2018-01至2019-12, 55万，已结题，主持
(3)国防研究所航天504所合作项目，横向课题，N2017ME160002,遥测遥感测试平台，2017-01至2018-12， 40万，已结题，主持
(4)航天科技基金，纵向课题 ，N2017KC160012 面向航天数传测试任务的虚拟仪器软面板及图形引擎技术研究，2017-01至2018-12， 8万，已结题，主持
(5)前瞻布局类项目，纵向课题，G2015KY0002, 试验仿真数据库平台的研究与实现，2015-09至2017-12，30万，已结题，主持
(6)企业合作项目，横向课题， N2015ME0010,真三维的虚拟演播室系统软件,2015-03至2017-03,30万，已结题，主持
(7)基础研究基金，纵向课题， G2013KY0401， 非参数化检验的统计谓词故障自动定位方法研究，2013-01至2014-12，15万，已结题，主持
(8)国家863项目，08GH0302,OTV-GNC系统半实物仿真试验技术研究，2008-04至2011/04， 500万，已结题，参与








我的相册


学术成果 Academic Achievements
出版软件工程相关领域的著作教材6本，发表学术论文60余篇，其中在软件工程领域顶级期刊（如TOSEM,JSS,Informance Science等）和顶级会议（ICSE、FSE）发表论文20余篇，国家授权专利5项。
已授权专利列表：
（1）基于语义变异算子的测试用例生成和优化方法
发明人：郑炜，王育，杨喜兵，吴潇雪
专利号：ZL.2016 1 **.9
授权日：2018年7月24日
（2）基于机器学习算法的软件故障定位方法
发明人：郑炜 柏晗 刘文兴 王文鹏 谭海斌
专利号：ZL 2016 1 **.9
授权日：2018年6月8日
（3）基于MOEA/D算法的回归测试用例多目标优化方法
发明人：郑炜 李知隆 李隆俊 阴一溦 吴潇雪
专利号：ZL 2015 1 **.7
授权日：2017年6月6日
第一作者出版专著教材：
（1）《软件测试（慕课版）》 人民邮电出版社 2017年5月
（2）《基于模型的软件验证与测试》 西北工业大学出版社 2013年8月
（3）《软件测试》 西北工业大学出版社 2011年8月
（4）《软件工程》 西北工业大学出版社 2010年11月
（5）《C++程序设计》 西安电子科技大学出版社 2009年12月
近几年代表性论文列表：
[1] Wei Zheng, Jialiang Gao, Xiaoxue Wu, Yunxing Xun, Guoliang Liu,Xiang Chen. A lightweight empirical study of high-impact factors for machine learning-based vulnerability detection. IEEE International Conference on Software Analysis, Evolution and Reengineering,Workshop IBF 2020.
[2] 郑炜,陈军正,吴潇雪,陈翔,夏鑫,基于深度学习安全缺陷预测实证研究，软件学报,2020.5 (Accepted)
[3] Wei Zheng, Xiaojun Chen, Manqing Zhang, Zhao Shi, Junzheng Chen and Xiang Chen.Blve: Should The Current Software Version Be Suitable For Release?IEEE International Conference on Software Analysis, Evolution and Reengineering,Workshop IBF 2020.
[4] YuZhao,KyeMiller,TingtingYu,WeiZheng,andMinchaoPu"AutomaticallyExtractingBug Reproducing Steps from Android Bug Reports", In International Conference on Software and Systems Reuse(ICSR), 2019. (CCF-C)
[5] Wei Zheng, Cheng Feng, Tingting Yu, et al., Towards understanding bugs in an open source cloud management stack: An empirical study of OpenStack software bugs, Journal of Systems and Software, 2019 (CCF-B)
[6] Xiaoxue Wu, Wei Zheng*, Xiang Chen, Dejun Mu, CVE-Assisted Large Scale Datasets Construction Approach for Security Bug Report Prediction, Journal of Systems and Software(JSS). (CCF-B) .
[7] Wei Zheng,Xiaoxue Wu,Shichao Cao, MS-guided many-objective evolutionary optimisation for test suite minimisation.IET Software,12(6),547-554,2018. (CCF-B)
[8] Xiaoxue Wu, Wei Zheng*, Minchao Pu, Dejun Mu, Invalid Bug Reports Complicate The Software Aging Situation, Software Quality Journal(SQJ), 2019. (CCF-C)
[9] Xiaoxue Wu, Wei Zheng*, Dejun Mu, NingLi, UTCPredictor: An Uncertainty-Aware Novel Teaching Cases Predictor, Computer Applications in Engineering Education (CAE). (JCR 1区)
[10] Yulei Sui, Yifei Zhang, Wei Zheng, Manqing Zhang, Jingling Xue. (2019). Event trace reduction for effective bug replay of Android apps via differential GUI state analysis. FSE 2019. (CCF-A)
[11] Wei Zheng, Ying Wu, Xiaoxue Wu, Chen Feng, Xiapu Luo, A Survey of Intel SGX and its Applications, Frontiers of Computer Science, 2019. ((CCF-C))
[12] Xiaoxue Wu, Wei Zheng, Junzheng Chen, Han Bai, Desheng Hu, and Dejun Mu. "A GMM and SVM Combined Approach for Automatically Software Fault Localization." In2018 IEEE International Conference on Progress in Informatics and Computing (PIC), pp. 357-363. IEEE, 2018.(EIAccess Number: 20**4)
[13] Xiaoxue Wu, Wei Zheng, Zhao Shi, Zehai Wang, Lixin Cao, and Dejun Mu. "Concurrency Bug-Oriented Mutation Operators Design for Java." In2018 IEEE International Conference on Progress in Informatics and Computing (PIC), pp. 364-369. IEEE, 2018.(EIAccession number:20**5)
[14] Yu Zhao, Tingting Yu, Ting Su, Yang Liu, Wei Zheng, Jingzhi Zhang, William G.J. Halfond, ReCDroid: Automatically Reproducing Android Application Crashes from Bug Reports, The 41st ACM/IEEE International Conference on Software Engineering (ICSE), 2019 (CCF-A)
[15] Wei, Zheng , B. Yutong , and C. Haoxuan . "A computer-assisted instructional method based on machine learning in software testing class." Computer Applications in Engineering Education(2018). (JCR 1区)
[16] Wu, Ying, Wei Zheng, BaoLei Mao, and XiaoXue Wu. "Leaks or Not: A Framework for Evaluating Cache Timing Side Channel Attacks in SGX." In2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI), pp. 1467-1470. IEEE, 2018.
[17] Wei Zheng., Shichao Cao, Zhiqian Gao et.al., The Performance Evaluation Model of Intel SGX-Based Data Protection. In2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI)(pp. 1289-1292). IEEE.
[18] 吴潇雪,郑炜,慕德俊,等. 基于Scrum方法的软件测试教学模式探索与实践[J]. 计算机教育, 2018.
[19] 吴潇雪,郑炜,王培源等, 基于JDart的测试用例自动生成与优化[J]. 西北工业大学学报, 2018.
[20] Wei Zheng , Xiaoxue Wu , Xibing Yang , et al. Test Suite Minimization with Mutation Testing-Based Many-Objective Evolutionary Optimization[C]// 2017 International Conference on Software Analysis, Testing and Evolution (SATE). IEEE, 2017.
[21] 郑炜,冯晨,吴潇雪等, 运用变异测试的并行程序测试用例最小化算法,计算机科学,2017,44(11):109-113.
[22] 郑炜,黄月明,吴潇雪等, 基于本体的并行错误测试工具推荐方法研究,计算机科学, 2017,44(11):202-206.
[23] 郑炜,蔺军,黄月明,冯晨,吴潇雪. 应用过程间分析技术的并行错误模式匹配方法[J]. 西北工业大学学报, 2017, 35(1):148-153.
[24] 郑炜, 杨喜兵, 胡圣佑,等. 基于变异分析和覆盖准则的回归测试用例集缩减[J]. 西北工业大学学报, 2017, 35(3):494-499.
[25] Wei Zheng, Robert R Hierons, Mingqing Li, et al. Multi-objective optimisation for regression testing[J]. Information Sciences, 2016, 334-335:1-16. (WOS:001, JCR 1).
[26] Hierons R M, Li M, Liu X, Zheng W. SIP: Optimal Product Selection from Feature Models Using Multi-Objective Evolutionary Optimization[J]. Acm Transactions on Software Engineering & Methodology(TOSEM), 2016, 25(2). (CCF-A).
[27] Zheng W, Hu D,Wang J.Fault Localization Analysis Based on Deep Neural Network[J],Mathematical Problems in Engineering 2016, 1-11. (WOS: 001)
[28] Zheng W, X Wu, D Hu, et al. Locating Minimal Fault Interaction in Combinatorial Testing[J], Advances in Software Engineering. 2016.
[29] 郑炜,曹立鑫,李隆俊,李宁,基于MPC编码方式的软件产品线配置优化算法研究,西北工业大学学报,2016,34（1）:176-182.
[30] Cao L, Zheng W. Concurrent program semantic mutation testing based on abstract memory model, IEEE ICIA 2015, August 2015.
[31] Zheng W, Wu X, Semi-Supervised Learning Based Software Fault Localization, Journal ofNorthwesternPolytechnical University 2015，April.(EI:20**8)
[32] Zheng W, Wu X, Cai L, Experimental Evaluation of FSM-Based Testing Cost for Time-Delay Systems, Mathematical Problems in Engineering, 2014, June. (DOI:10.1155/2014/353450; WOS:001)
[33] Zheng W, Yang W, Song H, An Effective Algorithm for Automated Test Suite Generation Based on ANN (artificial neural netwrok) Rule-extraction, Journal ofNorthwesternPolytechnical University, v30, n2,p296-300,2012, (EI: 20**7)
[34] Zheng W, Li Z, Jin R, Proposing an effective software fault location algorithm based on frequency difference integration. Journal of Northwestern Polytechnical University. v 31, n 3,p 435-439,June 2013. (EI: 20**7)
[35] Zheng W, Bai H, Multiple-bug Oriented Fault Localization: A Parameter-based Combination Approach. Proceedings - 7th International Conference Software Security and Reliability Companion, SERE-C 2013,p 125-130,2013, (EI: 20**7)
[36] Zheng W, Liu Qi, Zhang Liang, The Research of Statistical Testing Fault Detection Method Based on EmbeddedSoftware. ISSDM 20126th Int'l Conference on New Trends in Information Science, Service Science and Data Mining TAIBEI p 120-124,2012
[37] Zheng W, Fu Wei-qiang, Wang Xiao-yun, Design of Automatic Test Platform of Electronic Payment System, Journal ofNorthwesternPolytechnical University, 2010, 28(6) .(EI: 618)
[38] Zheng W, Xu Hai-tao, Guan Lu-shuai, Model Based Automatic Test Research and Application, Nanotechnology and Computer Engineering, 2010, 121-122, 1033. (EI: 387)
[39] Zheng W, Wu Xiao-xue, Graph theory model based automatic test platform design, International Conference on Software Engineering and Data Mining 2010.(EI: 765)
[40] Zheng W, Information processing of examination scoring system based on multi-agent ICCET 2010 - 2010 International Conference on Computer Engineering and Technology, Proceedings (EI: 510)
[41] Zheng W, Finite State Machine-Based Automatic Software Testing Platform Designation and Realization 2010 International Conference on Future Information Technology, December 14-15, 2010.
[42] Zheng W, Zhang K, Cao J, A Distributed Parallel and High-Dimensional Index Tree for Main Memory Access. Aug.2009, Vol.27 No.4, Journal of Northwestern Polytechnical University.(EI: 325)







我的相册


社会兼职 Social Appointments
IET software,IEEE Access, Information and software technology,Journal of supercomputing等SCI期刊审稿人
CCF软件工程专委会委员
全国大学生软件测试大赛组委会成员
中国汽车软件测试工作组成员