嵌入式软件测试，软件缺陷预测，软件自动化测试

   

080202-机械电子工程

软件测试技术研究、软件缺陷预测技术研究

2008-09--2012-07   中国科学院研究生院   研究生，博士
2004-09--2007-07   吉林大学   研究生，硕士
2000-09--2004-07   吉林大学   本科，学士

研究生

博士

2022-10~至今,中国科学院长春光学精密机械与物理研究所, 中国科学院长春软件测评中心主任
2013-03~2022.10,中国科学院长春光学精密机械与物理研究所, 中国科学院长春软件测评中心副主任，助理研究员，副研究员
2009-09~2013-03,中国科学院长春光学精密机械与物理研究所, 助理研究员
2007-07~2009-09,中国科学院长春光学精密机械与物理研究所, 研究实习员

2018-08-14-今,中国计算机学会容错计算专业委员会, 执行委员

   

[1] 王俊杰, 陈媛, 赵宇, 方智敬, 王安邦, 王红园, 林星辰, 宋元章. 防止Wmware虚拟机以V2V形式破解软件授权的方法、物理机、虚拟机. CN: CN117009930A, 2023-11-07.
[2] 方智敬, 陈媛, 王俊杰, 宋元章. 一种可见光DCO-OFDM系统降低峰值平均功率比的方法. CN: CN116827742A, 2023-09-29.
[3] 陈媛, 王俊杰, 赵宇, 方智敬, 王安邦, 王红园, 宋元章, 林星辰. 一种软件授权保护方法、装置及其系统. CN: CN116933243A, 2023-10-24.
[4] 陈媛, 王俊杰, 张虎城, 王安邦, 王红园, 林星辰. 一种人员角色与工作流程关系查询系统及其查询方法. CN: CN113205256A, 2021-08-03.
[5] 王俊杰, 陈媛, 张峻豪, 王安邦, 王红园, 林星辰. 一种用于数据字消息校验的计算工具及其计算方法. CN: CN113204447A, 2021-08-03.
[6] 王俊杰, 陈媛, 王安邦. 软件计价系统. CN: CN112669077A, 2021-04-16.
[7] 陈媛, 王俊杰, 王安邦. 软件测试需求提取系统及其测试需求提取方法. CN: CN112579474A, 2021-03-30.
[8] 林星辰, 赵宇, 聂真威, 韩冰, 陈媛, 王俊杰. 一种半导体激光器的空间模式检测系统及检测方法. CN: CN112729780A, 2021-04-30.
[9] 王俊杰, 陈媛, 王安邦, 刘逻. 软件测试需求分析方法及相关组件. CN: CN111970172A, 2020-11-20.
[10] 王俊杰, 陈媛, 王安邦, 刘逻. 通信协议测试驱动数据自动生成建模方法及系统. CN: CN111709126A, 2020-09-25.
[11] 陈媛, 王俊杰, 王安邦, 哈清华. 一种通信协议测试驱动数据自动生成方法. CN: CN111555941B, 2021-12-17.
[12] 王俊杰, 陈媛, 王安邦, 宋元章, 哈清华, 王红园. 通信协议建模方法. CN: CN111104338A, 2020-05-05.
[13] 陈媛, 王俊杰, 王安邦, 王红园, 哈清华, 宋元章. 通信协议状态转换序列生成方法. CN: CN111078483A, 2020-04-28.
[14] 王安邦, 陈媛, 王俊杰, 宋元章, 哈清华. 软件质量评估方法、装置、设备及计算机可读存储介质. CN: CN110968512B, 2021-06-01.
[15] 宋元章, 王俊杰, 陈媛, 王安邦, 李洪雨. 一种P2P botnet检测方法、装置和介质. CN: CN110149331A, 2019-08-20.
[16] 宋元章, 陈媛, 王俊杰, 王安邦, 李洪雨. 一种P2P botnet检测方法、装置和介质. CN: CN110099073A, 2019-08-06.
[17] 宋元章, 李洪雨, 陈媛, 王俊杰, 王安邦. 一种基于卷积神经网络的软件缺陷定位方法、装置和介质. CN: CN110232023A, 2019-09-13.
[18] 王安邦, 陈媛, 王俊杰, 宋元章, 刘逻. 软件质量评价方法、装置、设备及计算机可读存储介质. CN: CN109408396A, 2019-03-01.
[19] 王俊杰, 陈媛, 王安邦, 刘逻, 哈清华, 宋元章, 王红园, 李洪雨, 林星辰. 一种应用层通信协议的状态转换序列生成方法. CN: CN109446146B, 2022-02-08.
[20] 陈媛, 王俊杰, 王安邦, 刘逻, 哈清华, 宋元章, 李洪雨, 王红园, 林星辰. 一种应用层通信协议的测试数据生成方法. CN: CN109450731A, 2019-03-08.
[21] 王俊杰, 陈媛, 王安邦, 刘逻, 哈清华, 宋元章, 王红园, 李洪雨, 林星辰. 一种应用层通信协议的状态转换序列生成方法. CN: CN109446146A, 2019-03-08.
[22] 哈清华, 陈媛, 王俊杰, 王红园, 宋元章, 刘逻, 王安邦, 李洪雨, 林星辰. 图像信息抽取方法、装置、设备及计算机可读存储介质. CN: CN109145892A, 2019-01-04.
[23] 宋元章, 陈媛, 王俊杰, 王安邦, 李洪雨. 一种装备评价方法、装置、设备及可读存储介质. CN: CN109255389B, 2022-03-25.
[24] 宋元章, 陈媛, 王俊杰, 王安邦, 李洪雨. 一种装备评价方法、装置、设备及可读存储介质. CN: CN109255389A, 2019-01-22.
[25] 王俊杰, 陈媛, 王安邦, 刘逻, 哈清华, 宋元章, 李洪雨, 王红园, 林星辰. 一种面向应用的接口通信协议建模方法及装置. CN: CN108055167A, 2018-05-18.
[26] 宋元章, 李洪雨, 于涛, 王安邦, 陈媛, 王俊杰, 刘逻, 哈清华, 王红园, 林星辰. 一种基于二次评价的软件质量评价方法及系统. CN: CN107797931A, 2018-03-13.
[27] 王安邦, 陈媛, 王俊杰, 宋元章, 刘逻. 一种基于层次分析的软件质量评估方法及系统. CN: CN107766254A, 2018-03-06.
[28] 刘逻, 陈媛, 王俊杰, 宋元章, 哈清华, 王安邦, 王红园. 一种测试用例生成方法及装置. CN: CN106610899A, 2017-05-03.
[29] 陈媛, 王俊杰, 宋元章, 王安邦. 一种多通道总线时序监测系统、方法及微型计算机系统. CN: CN106598864A, 2017-04-26.
[30] 王俊杰, 张波, 陈媛, 王安邦, 宋元章. 航空相机地址位模式通信接口的仿真测试方法. CN: CN103246607A, 2013-08-14.

   

[1] 方智敬, 陈媛, 王俊杰, 宋元章. Indoor Three-Dimensional Positioning System Based on Visible Light Communication Using Improved Fish Swarm Algorithm. Journal of Physics: Conference Series[J]. 2023, 
[2] 方智敬, 陈媛, 王俊杰, 林星辰. 基于最小三角形算法的室内可见光三维定位方法. 光通信技术[J]. 2023, 
[3] 王安邦, 郭立红, 陈媛, 王俊杰, 刘逻, 宋元章. An Improved Cuckoo Search Algorithm With Stud Crossover for Chinese TSP Problem. International Journal of Cognitive Informatics and Natural Intelligence (IJCINI)[J]. 2021, 
[4] 陈媛, 赵宇, 王俊杰. Application-oriented Serial Interface Communication Protocols Formal Modeling Method. 2021 IEEE 21st International Conference on Software Quality, Reliability and Security. 2021, 
[5] 刘逻, 郭立红, 陈媛, 王俊杰. 基于通信协议的接口测试用例自动生成框架. 测控技术[J]. 2020, 39(1): 46-54, 
[6] 哈清华, 刘大有, 陈媛, 刘逻. 基于迁移学习的跨公司航天软件缺陷预测. 光学精密工程[J]. 2019, 469-478, 
[7] Chen Yuan, Wang Junjie, Song Yuanzhang, Wang Anbang, Liu Luo, Ha Qinghua, IEEE. Automatic Test Transition Paths Generation Approach from EFSM Using State Tree. 2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C)[J]. 2018, 87-93, http://dx.doi.org/10.1109/QRS-C.2018.00029.
[8] 宋元章, 陈媛, 王俊杰, 王安邦, 李洪雨. 基于网络行为特征与Dezert-Smarandache理论的P2P僵尸网络检测. 东南大学学报：英文版[J]. 2018, 34(2): 191-198, http://lib.cqvip.com/Qikan/Article/Detail?id=7000687607.
[9] 张峻豪, 陈媛, 王俊杰, 刘逻. 基于AOP的面向对象程序的单元测试的应用. 电子技术与软件工程[J]. 2017, 51-51, http://lib.cqvip.com/Qikan/Article/Detail?id=671937526.
[10] 王安邦, 郭立红, 陈媛, 王俊杰, 宋元章. Comprehensive Evaluation of Software Quality Based on LM-BP Neural Network. 2017 International Conference on Dependable Systems and Their Applications (DSA). 2017, 
[11] 宋元章, 李洪雨, 陈媛, 王俊杰. 基于分形与自适应数据融合的P2P botnet检测方法. 山东大学学报(理学版)[J]. 2017, 52(3): 74-81, 
[12] 毛书勤, 刘剑, 陈媛. 无铅焊点热疲劳状态估计. 宇航材料工艺[J]. 2015, 45(3): 15-18, http://lib.cqvip.com/Qikan/Article/Detail?id=665600402.
[13] 宋元章, 陈媛, 王安邦. 基于流量相关性和数据融合的P2P botnet检测. 华中科技大学学报(自然科学版)[J]. 2014, 42(11): 57-62, http://ir.ciomp.ac.cn/handle/181722/43086.
[14] Zhang B., Shen X., Wang J., Chen Y.. Measurement of effectiveness of software testing. 5TH INTERNATIONAL CONFERENCE ON MACHINE VISION: COMPUTER VISION, IMAGE ANALYSIS AND PROCESSING, ICMV 2012, OCTOBER 20, 2012 - OCTOBER 21, 2012. 2013, http://www.irgrid.ac.cn/handle/1471x/842820.
[15] Wang J.-J., Zhang B., Chen Y.. Test case set generation method on MC/DC based on binary tree. 5TH INTERNATIONAL CONFERENCE ON MACHINE VISION: COMPUTER VISION, IMAGE ANALYSIS AND PROCESSING, ICMV 2012, OCTOBER 20, 2012 - OCTOBER 21, 2012. 2013, http://www.irgrid.ac.cn/handle/1471x/842788.
[16] 陈媛, 沈湘衡, 王安邦, 宋元章. 似然关系模型在航天软件缺陷预测中的应用. 光学精密工程[J]. 2013, 21(7): 1865-1872, http://lib.cqvip.com/Qikan/Article/Detail?id=46564735.
[17] 陈媛. 基于数据挖掘的软件缺陷预测技术研究. 2012, 
[18] 陈媛. A Software Defect Prediction Algorithm Based on Probabilistic Relational Models. IEEE International Conference on Intelligent Computing and Intelligent, Systems. 2011, 
[19] 沈湘衡, 张波, 李丽, 陈媛, 张格非. 基于体系结构的软件可靠性评估. 光学精密工程[J]. 2010, 485-490, http://lib.cqvip.com/Qikan/Article/Detail?id=32950985.
[20] 陈媛, 沈湘衡, 杜鹏, 葛兵. Research on software defect prediction based on data mining (EI CONFERENCE). 2nd International Conference on Computer and Automation Engineering, ICCAE 2010, February 26, 2010 - February 28, 2010. 2010, 563-567, http://www.irgrid.ac.cn/handle/1471x/607948.
[21] 张宇, 张波, 王俊杰, 陈媛. 基于二叉树满足MC/DC测试用例设计方法. 微计算机信息[J]. 2010, 171-173, http://lib.cqvip.com/Qikan/Article/Detail?id=32725681.
[22] 葛兵, 韩志鹏, 毛书勤, 陈媛. 基于PCI总线的伺服系统设计. 微计算机信息[J]. 2010, 39-41, http://lib.cqvip.com/Qikan/Article/Detail?id=36297327.

   

（ 1 ） 嵌入式软件综合测试设备（GESTE）功能开发, 负责人, 中国科学院计划, 2015-08--2016-08
（ 2 ） 某水下机器人软件测试技术研究, 负责人, 境内委托项目, 2015-11--2016-12
（ 3 ） 某飞机软件测试技术研究, 负责人, 境内委托项目, 2016-01--2017-05
（ 4 ） 某型XX系统软件测试技术研究, 负责人, 国家任务, 2019-01--2020-01
（ 5 ） 某激光半自动XXX软件测试技术研究, 负责人, 境内委托项目, 2019-04--2020-04
（ 6 ） 某轮式XX软件测试技术研究, 负责人, 境内委托项目, 2019-05--2021-12
（ 7 ） 星务软件测试技术研究, 负责人, 境内委托项目, 2019-08--2021-12
（ 8 ） 面向服务计算的信息系统软件可信性评测工作过程框架研究, 负责人, 国家任务, 2021-08--2022-12
（ 9 ） 某舰载XX控制系统软件测试技术研究, 负责人, 境内委托项目, 2022-06--2023-12
（ 10 ） 空间碎片激光测距控制软件测试技术研究, 负责人, 境内委托项目, 2022-08--2024-08
（ 11 ） 基于神经网络的考虑硬件关联因素的软件可靠性建模研究, 参与, 国家任务, 2019-12--2021-10

（1）Application-oriented Serial Interface Communication Protocols Formal Modeling Method   第22届IEEE软件质量、可靠性和安全性国际会议   2021-12-06
（2）面向应用层通讯协议的测试用例自动生成技术   中国测试学术会议   2020-08-20
（3）通信协议状态转换序列生成算法在实际测试中的应用与思考   第十八届全国容错计算学术会议   2019-08-14
（4）Automatic Test Transition Paths Generation Approach from EFSM Using State Tree   第18届IEEE软件质量、可靠性和安全性国际会议   2018-07-16

   

清华大学、北京航空航天大学、哈尔滨工程大学、国防科学技术大学、中国船舶集团有限公司综合技术经济研究院、中航工业成都飞机设计研究所、中国第一重型机械集团公司、中国兵器工业集团第二〇二、二〇七研究所、中国科学院空间应用工程与技术中心、中国航天科工集团第二研究院706所等

现指导学生

韩鹏  硕士研究生  080202-机械电子工程