教师列表

姚香娟

来源:郝大鹏发稿时间:2011-07-10浏览次数:2215

个人简介

姚香娟,女,19753月生,河北省赵县人,博士,中国矿业大学理学院教授,硕士生导师,中国矿业大学青年学术带头人,数学系副主任。

一、学习及工作经历

2016/1 - 至今,中国矿业大学,理学院数学系,教授

2013/3 - 2013/8,英国伦敦大学学院,计算机系,访问学者

2009/4 - 2015/12,中国矿业大学,理学院数学系,副教授

2007/9 - 2011/6,中国矿业大学,控制理论与控制工程,博士,导师:巩敦卫

2005/7 - 2005/8,美国明尼苏达大学,学习

2004/1 - 2008/12,中国矿业大学,理学院数学系,讲师

2001/4 - 2003/12,中国矿业大学,理学院数学系,助教

1998/9 - 2001/3,西北工业大学,应用数学,硕士,导师:李学良

1994/9 - 1998/7,西北工业大学,应用数学,学士,导师:师义民

二、教学工作

一直承担多门课程的教学任务,年年超额完成学院规定的教学工作量,先后讲授过的课程有《高等数学》、《运筹学》、《概率论与数理统计》、《线性代数》和《图论算法》等。工作态度端正,备课详尽、细致,精心设计教案,能够在教学过程中较好地掌握教学节奏,注重知识传授和能力培养并重。通过多年的教学努力和创新,获得校教学成果一等奖1项,二等奖2项;作为课程负责人,建成《运筹学》校精品课程1门。

另外,还非常重视教学改革,不断探索和尝试新的教学方法,主持省级教改项目1项、校教改项目1项(结题考核优秀),参加各种教改项目8项(6项结题考核优秀)。在繁忙的教学工作之余,不断总结经验,撰写多篇教学法论文。

三、科研工作

1. 科研项目:

1.基于语义相似度和进化优化的软件变异测试理论与方法国家自然科学基金面上项目(61573362)2016.1-2019.12项目主持人(经费:64万)

2.基于不确定进化优化的含随机数软件测试数据自动生成理论与方法,国家自然科学基金项目(61203304)2013.1-2015.12项目主持人(经费:24万);

3.基于等价关系的软件可测试性转化理论及应用,江苏省自然科学基金项目(BK2010187)2010.9-2013.9项目主持人(经费:10万);

4.基于等价关系的嵌入式软件可测试性转化理论及应用,软件工程国家重点实验室开放基金项目(SKLSE2010-08-19)2011.1-2012.12项目主持人(经费:3万)

5.基于不确定约束多目标进化优化算法的软件测试数据生成,中国矿业大学青年科技基金项目(2008A034)2009.1-2010.12项目主持人(经费:2.5万);

6.不确定进化优化理论与方法及其在软件测试的应用中国矿业大学青年科技基金项目(2012QNA41)2012.1-2014.12项目主持人(经费:10万);

7.基于等价关系的可测试性转化理论与方法及其在复杂软件进化测试中的应用,国家自然科学基金项目(61075061)2011.1-2013.121参加人(经费:35万);

8.基于等价关系的可测试性转化理论与应用,高等学校博士学科点专项科研基金(博士生导师类)201000951100062011.1-2013.121参加人(经费:6万);

9.基于集合进化的复杂软件变异测试数据自动生成方法江苏省自然科学基金项目(BK2012566)2012.9-2015.91参加人(经费:10万);

10.关于图的边染色和群边染色中若干问题的研究,中央高校基本科研业务专项资金资助项目(2010LKSX06)2010.9-1012.91参加人(经费:5万);

11.基于微粒群优化的环境不确定特种机器人路径规划方法,江苏省自然科学基金项目(BK2008125)2008.9-2010.92参加人(经费:8万);

12.基于不确定约束多目标进化优化理论的软件测试数据自定生成,江苏省“六大人才高峰”高层次人才项目(2008125)2009.1-2011.123参加人(经费:8万);

13.复杂软件多路径覆盖测试数据进化生成,江苏省“333”高层次人才项目2010.1-2012.124参加人(经费:6万);

14.复杂软件测试数据生成,中国矿业大学优秀创新团队建设项目2011.1-2014.124参加人(经费:70万)

2. 主要论著(近年来):

1)期刊论文16

[1]Xiangjuan Yao, Dunwei Gong, Yali Gu, Mathematic Model of Node Matching Based on Adjacency Matrix and Evolutionary Solutions, Physica A-Statistical Mechanics and Its Applications, 2014, 416: 354-360. (SCI检索号:000345725300034)(EI检索号:20144100088852)(影响因:1.732)(二区期刊)

[2]Xiangjuan Yao, Xiangwen Li, Hongjian Lai, Degree Conditions for Group Connectivity, Discrete Mathematics, 2010, 310(5): 1050-1058. (SCI检索号:000274126000009)(EI检索号:20095312591137)(影响因子:0.557)

[3]Xiangjuan Yao, Dunwei Gong, Gongjie Zhang, Constrained Multi-objective Test Data Generation Based on Set Evolution, IET Software, 2015, 9(4): 103-108.(SCI检索号: 000359635200002)(EI检索号: 20153201115864)(影响因:0.595)

[4]Xiangjuan Yao, Dunwei Gong, Genetic Algorithm Based Test Data Generation for Multiple Paths via Individual Sharing, Computational Intelligence and Neuroscience, 2014, 2014: 1-12. (SCI检索号:000344292000001)(EI检索号:20144500155196) (影响因:0.481)

[5]Xiangjuan Yao, Dunwei Gong, Wenliang Wang, Test Data Generation for Multiple Paths Based on Local Evolution, Chinese Journal of Electronics, 2015, 24(CJE-1):46-51. (SCI检索号:000347870300008)(影响因子:0.319)

[6]姚香娟, 巩敦卫, 李彬, 融入神经网络的路径覆盖测试数据进化生成, 软件学报, 2016, 27(4): 828-838. (EI源刊)

[7]姚香娟,巩敦卫, 基于路径比较的变异测试方法, 电子学报, 2012, 40(1): 103-106. (EI 检索号:20120614748430)

[8]姚香娟, 巩敦卫, 基于目标语句占优关系的软件可测试性转化, 电子学报, 2013, 41(12): 2523-2528. (EI索号:20141017430861)

[9]Dunwei Gong, Xiangjuan Yao(*), Testability Transformation Based on Equivalence of Target Statements, Neural Computing & Applications,2012, 21: 1871-1882. (SCI检索号: 000309878400007)(影响因子:1.168)

[10]Dunwei Gong, Xiangjuan Yao(*), Automatic Detection of Infeasible Paths in Software Testing, IET Software, 2010, 4(5): 361-370. (SCI检索:000282144900005)(影响因子:0.536)

[11]Dunwei Gong, Wanqiu Zhang, Xiangjuan Yao, Evolutionary Generation of Test Data for Many Paths Coverage Based on Grouping, The Journal of System and Software, 2011, 84(12): 2222-2233. (SCI 检索号:000296415100015) (EI 检索号:20114114411981 ) (影响因子:1.245)

[12]Dunwei Gong, Tian Tian, Xiangjuan Yao, Grouping Target Paths for Evolutionary Generation of Ttest Data in Parallel, The Journal of System and Software, 2012, 85(11): 2531-2540. (SCI检索号: 000309315500010)(影响因子:1.245)

[13]张功杰,巩敦卫,姚香娟, 基于变异分析和集合进化的测试用例生成方法, 计算机学报, 2015, 38(11): 2318-2331.(EI检索号:20155101700038)

[14]巩敦卫,钟超群,姚香娟, 测试含有标志变量程序的占优语句(集)选择, 软件学报, 2015, 26(8): 1925-1936.(EI检索号:20153501225688)

[15]张功杰,巩敦卫,姚香娟, 基于统计占优分析的变异测试, 软件学报, 2015, 26(10): 2504-2520.(EI检索号:20154401478235)

[16]党向盈,巩敦卫,姚香娟, 基于统计分析的弱变异测试可执行路径生成, 计算机学报, 2016, 39(19): 在线出版号No.19. (EI源刊)

2)会议论文4

[1]Xiangjuan Yao, Mark Harman, Yue Jia, A Study of Equivalent and Stubborn Mutation Operators Using Human Analysis of Equivalence, Proceedings of International Conference on Software Engineering , 919-930, Hyderabad, 2014.5.31-6.7. (计算机学科A类会议)

[2]Xiangjuan Yao, Dunwei Gong, Yongjin Luo, Ming Li, Test Data Reduction Based on Dominance Relations of Target Statements, Proceedings of IEEE Congress on Evolutionary Computation, 2191-2198, Brisbane, 2012.6.10-15. (EI检索号:20124015500706)

[3]Dunwei Gong, Xiangjuan Yao, Min Xia, Automatic Determination of Branch Correlations in Software Testing, Proceedings of World Congress on Software Engineering, 211-215, Xiamen, 2009.5.19-21. (EI检索号:20095312600021)

[4]Wanqiu Zhang, Dunwei Gong, Xiangjuan Yao, Yan Zhang, Evolutionary Generation of Test Data for Many Paths Coverage, Proceedings of Control and Decision Conference, 230-235, Xuzhou, 2010.5.26-28. (EI检索号:20103213140322)

3. 授权发明专利:

1.姚香娟,巩敦卫,郭仪昊,李鑫,张功杰,顾雅莉,王文亮,吴飞跃, 基于语句占优关系和两阶段遗传算法的高阶变异测试方法, 2016.4,专利号: 201310595506.7.

2.巩敦卫、张岩、姚香娟、吴川、罗永金、田甜、任丽娜. 面向缺陷的路径覆盖测试数据进化生成方法(发明专利),2014.7,中国,201110061538.X