基本信息
陈媛  女  硕导  中国科学院长春光学精密机械与物理研究所
电子邮件: 6386145@qq.com
通信地址: 吉林省长春市东南湖大路3888号
邮政编码: 130033

研究领域

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

招生信息

   
招生专业
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 ) 一种装备评价方法、装置、设备及可读存储介质, 2022, 第 2 作者, 专利号: CN109255389B

( 2 ) 一种应用层通信协议的状态转换序列生成方法, 2022, 第 2 作者, 专利号: CN109446146B

( 3 ) 一种通信协议测试驱动数据自动生成方法, 发明专利, 2021, 第 1 作者, 专利号: CN111555941B

( 4 ) 一种人员角色与工作流程关系查询系统及其查询方法, 发明专利, 2021, 第 1 作者, 专利号: CN113205256A

( 5 ) 一种用于数据字消息校验的计算工具及其计算方法, 发明专利, 2021, 第 2 作者, 专利号: CN113204447A

( 6 ) 软件质量评估方法、装置、设备及计算机可读存储介质, 发明专利, 2021, 第 2 作者, 专利号: CN110968512B

( 7 ) 一种半导体激光器的空间模式检测系统及检测方法, 发明专利, 2021, 第 5 作者, 专利号: CN112729780A

( 8 ) 软件计价系统, 发明专利, 2021, 第 2 作者, 专利号: CN112669077A

( 9 ) 软件测试需求提取系统及其测试需求提取方法, 发明专利, 2021, 第 1 作者, 专利号: CN112579474A

( 10 ) 软件测试需求分析方法及相关组件, 发明专利, 2020, 第 2 作者, 专利号: CN111970172A

( 11 ) 通信协议测试驱动数据自动生成建模方法及系统, 发明专利, 2020, 第 2 作者, 专利号: CN111709126A

( 12 ) 通信协议建模方法, 发明专利, 2020, 第 2 作者, 专利号: CN111104338A

( 13 ) 通信协议状态转换序列生成方法, 发明专利, 2020, 第 1 作者, 专利号: CN111078483A

( 14 ) 一种基于卷积神经网络的软件缺陷定位方法、装置和介质, 专利授权, 2019, 第 3 作者, 专利号: CN110232023A

( 15 ) 一种P2P botnet检测方法、装置和介质, 专利授权, 2019, 第 3 作者, 专利号: CN110149331A

( 16 ) 一种P2P botnet检测方法、装置和介质, 发明专利, 2019, 第 2 作者, 专利号: CN110099073A

( 17 ) 一种应用层通信协议的测试数据生成方法, 发明专利, 2019, 第 1 作者, 专利号: CN109450731A

( 18 ) 一种应用层通信协议的状态转换序列生成方法, 发明专利, 2019, 第 2 作者, 专利号: CN109446146A

( 19 ) 软件质量评价方法、装置、设备及计算机可读存储介质, 发明专利, 2019, 第 2 作者, 专利号: CN109408396A

( 20 ) 一种装备评价方法、装置、设备及可读存储介质, 发明专利, 2019, 第 2 作者, 专利号: CN109255389A

( 21 ) 图像信息抽取方法、装置、设备及计算机可读存储介质, 发明专利, 2019, 第 2 作者, 专利号: CN109145892A

( 22 ) 一种面向应用的接口通信协议建模方法及装置, 专利授权, 2018, 第 2 作者, 专利号: CN108055167A

( 23 ) 一种基于二次评价的软件质量评价方法及系统, 发明专利, 2018, 第 5 作者, 专利号: CN107797931A

( 24 ) 一种基于层次分析的软件质量评估方法及系统, 专利授权, 2018, 第 2 作者, 专利号: CN107766254A

( 25 ) 一种测试用例生成方法及装置, 发明专利, 2017, 第 2 作者, 专利号: CN106610899A

( 26 ) 一种多通道总线时序监测系统、方法及微型计算机系统, 专利授权, 2017, 第 1 作者, 专利号: CN106598864A

( 27 ) 航空相机地址位模式通信接口的仿真测试方法, 发明专利, 2013, 第 3 作者, 专利号: CN103246607A

出版信息

   
发表论文
(1) Indoor Three-Dimensional Positioning System Based on Visible Light Communication Using Improved Fish Swarm Algorithm, Journal of Physics: Conference Series, 2023, 通讯作者
(2) 基于最小三角形算法的室内可见光三维定位方法, 光通信技术, 2023, 通讯作者
(3) An Improved Cuckoo Search Algorithm With Stud Crossover for Chinese TSP Problem, International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), 2021, 第 3 作者
(4) Application-oriented Serial Interface Communication Protocols Formal Modeling Method, 2021 IEEE 21st International Conference on Software Quality, Reliability and Security, 2021, 第 1 作者
(5) 基于通信协议的接口测试用例自动生成框架, Automated Test Case Generation Framework Based on Interface Communication Protocol, 测控技术, 2020, 第 3 作者
(6) 基于迁移学习的跨公司航天软件缺陷预测, Approach to cross-company spacecraft software defect prediction based on transfer learning, 光学精密工程, 2019, 第 3 作者
(7) 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), 2018, 第 1 作者
(8) 基于网络行为特征与Dezert-Smarandache理论的P2P僵尸网络检测, Detection of P2P botnet based on network behavior features and Dezert-Smarandache theory, 东南大学学报:英文版, 2018, 第 2 作者
(9) 基于AOP的面向对象程序的单元测试的应用, 电子技术与软件工程, 2017, 第 2 作者
(10) Comprehensive Evaluation of Software Quality Based on LM-BP Neural Network, 2017 International Conference on Dependable Systems and Their Applications (DSA), 2017, 第 3 作者
(11) 基于分形与自适应数据融合的P2P botnet检测方法, 山东大学学报(理学版), 2017, 第 3 作者
(12) 无铅焊点热疲劳状态估计, Estimation of Thermal Fatigue State of Lead-Free Solders, 宇航材料工艺, 2015, 第 3 作者
(13) 基于流量相关性和数据融合的P2P botnet检测, 华中科技大学学报(自然科学版), 2014, 第 2 作者
(14) 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, 
(15) 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, 
(16) 似然关系模型在航天软件缺陷预测中的应用, Application of probabilistic relational model to aerospace software defect prediction, 光学精密工程, 2013, 第 1 作者
(17) 基于数据挖掘的软件缺陷预测技术研究, 2012, 第 1 作者
(18) A Software Defect Prediction Algorithm Based on Probabilistic Relational Models, IEEE International Conference on Intelligent Computing and Intelligent, Systems, 2011, 第 1 作者
(19) 基于体系结构的软件可靠性评估, Architecture-based software reliability evaluation, 光学精密工程, 2010, 第 4 作者
(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, 第 1 作者
(21) 基于二叉树满足MC/DC测试用例设计方法, Fit MC/DC for test case generation method based on binary tree, 微计算机信息, 2010, 第 4 作者
(22) 基于PCI总线的伺服系统设计, Design of Servo-control System Based on PCI Bus, 微计算机信息, 2010, 第 4 作者

科研活动

   
科研项目
( 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-机械电子工程