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