教师列表

姚香娟

来源:李莹发稿时间:2017-02-18浏览次数:331

姚香娟,女,汉族,1975年生,中国共产党员,博士,中国矿业大学数学学院教授,硕士生导师。主要从事进化测试、运筹优化领域的相关研究,校青年学术带头人,数学学院教授委员会委员,《概率论与数理统计》课程负责人。20133月至8月在英国伦敦大学学院(UCL)进修;20057月至8月在美国明尼苏达大学短期培训。

     一、教学:

任教课程:

承担本科《概率论与数理统计》、《线性代数》、《运筹学》、《图论及其应用》,硕士《运筹学》、《组合矩阵论》等课程的教学工作。

主持/参与项目:

1.运筹学立体化教学平台建设,江苏省教改项目2014.5-2016.5项目主持人

2.运筹学数字化教学资源体系建设,校教改项目2012.9-2014.6项目主持人

3.基于学生创新和实践能力培养的研究型课程《运筹学》教学改革,校教改项目,2011.9-2013.61参加人

4.运筹学精品资源共享课程建设,校教改项目,2014.9-2016.61参加人

5.体现矿业特色,培养创新精神,《运筹学》系列课程创新教学研究,校教改项目,2010.9-2012.62参加人

6.概率论与数理统计精品资源共享课程建设,校教改项目,2013.9-2015.63参加人

7.2010.9-2012.6,《概率论与数理统计》国家精品课程建设,校教改项目,2010.9-2012.64参加人

8.《概率论与数理统计》摹课建设,校教改项目,2014.9-2016.6主要参与人

9.数学类江苏省重点专业类建设,2012.6-2015.12主要参加人.

教学成果获奖情况:

1.主持的体现矿业特色,培养创新精神,《运筹学立体化教学体系建设与实践》获第五届煤炭行业教育教学成果二等奖(2015年)

2.参与的概率统计立体化教学体系建设与创新人才培养的实践获校级优秀教学成果二等奖(2016年)

3.参与的建设概率统计立体化教学体系,培养高素质创新人才获校级优秀教学成果二等奖(2010年)

指导研究生情况:

共指导研究生11人,毕业7人。

 二、科研:

主持/参与项目:

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

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

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

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

5.基于占优度与集合进化的并行程序变异测试数据自动生成,国家自然科学基金面上项目(61375067)2014.1-2017.122参加人

6.基于集合进化的复杂软件变异测试数据自动生成方法,江苏省自然科学基金面上项目(BK2012566)2010.9-2013.91参加人

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

8.多资源环境中的再现排序问题研究,江苏省自然科学基金青年项目(BK20130169)2013.7-2016.72参加人.

研究成果获奖情况

1.基于进化优化的复杂软件自动测试理论及应用,中国电子学会电子信息科学技术奖三等奖(排名第3,电子学会,201312月;

2.进化优化理论与关键技术及其应用研究,中国电子学会电子信息科学技术奖二等奖(排名第9/10,电子学会,201112月;

出版专著:

[1]姚香娟,巩敦卫,基于进化优化的软件变异测试理论及方法,北京:科学出版社,201412月;

[2]巩敦卫,姚香娟,张岩,测试数据进化生成理论及应用,北京:科学出版社,201312月;

[3]苗连英, 王萃琦,姚香娟, 图论及其算法, 徐州:中国矿业大学出版社, 20126.

近期代表性论文:

[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. (SCIEI检索)

[2]Xiangjuan Yao, Xiangwen Li, Hongjian Lai, Degree Conditions for Group Connectivity, Discrete Mathematics, 2010, 310(5): 1050-1058. (SCIEI检索)

[3]Xiangjuan Yao, Dunwei Gong, Gongjie Zhang, Constrained Multi-objective Test Data Generation Based on Set Evolution, IET Software, 2015, 9(4): 103-108. (SCIEI检索)

[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. (SCIEI检索)

[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检索)

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

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

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

[9]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类会议)

[10]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检索)

[11]Dunwei Gong, Xiangjuan Yao(*), Testability Transformation Based on Equivalence of Target Statements, Neural Computing & Applications, 2012, 21: 1871-1882.(SCIEI检索)

[12]Dunwei Gong, Xiangjuan Yao(*), Automatic Detection of Infeasible Paths in Software Testing, IET Software, 2010, 4(5): 361-370.(SCIEI检索)

[13]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. (SCIEI检索)

[14]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检索)

[15]吴川, 巩敦卫, 姚香娟. 基于分支覆盖的回归测试路径选择. 软件学报, 2016, 27(4):839-854.(EI检索)

[16]党向盈, 巩敦卫, 姚香娟. 基于统计分析的弱变异测试可执行路径生成. 计算机学报, 2016, 39(11).(EI检索)

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

[18]张功杰, 巩敦卫, 姚香娟, 弱变异测试数据的集合进化方法, 计算机学报, 2015, 38(11). (EI检索)

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

授权发明专利:

[1]姚香娟,, 基于语句占优关系和两阶段遗传算法的高阶变异测试方法, 专利号: 201310595506.7.

[2]姚香娟,, 含随机数软件测试数据生成问题的优化模型及进化求解. 专利号: 201410139311.6.

三、个人荣誉

1.校优秀共产党员,中国矿业大学,20147月;

2.校青年学术带头人,中国矿业大学,201410月;

3.校优秀青年骨干教师,中国矿业大学,20113月;

4.本科毕业设计(论文)优秀指导老师,中国矿业大学,20126月;

5.五一数学建模联赛优秀教练员,江苏省工业与数学应用学会/中国矿业大学,20156.

四、联系方式

Email: yaoxj@cumt.edu.cn

Tel: 0516-8359153013813453672

通讯地址:江苏徐州中国矿业大学(南湖校区)数学学院A320

邮政编码:221116