中國礦業(yè)大學(xué)（徐州）

個(gè)人簡介

姜淑娟，博士畢業(yè)于東南大學(xué)，獲工學(xué)博士學(xué)位;美國Georgia Institute of Technology訪問學(xué)者。主要從事軟件分析與測試的教學(xué)與研究工作。江蘇省“青藍(lán)工程”中青年學(xué)術(shù)帶頭人，江蘇省“333”工程第三層次培養(yǎng)對象。主持完成國家自然科學(xué)基金、江蘇省自然科學(xué)基金、教育部科學(xué)技術(shù)研究重點(diǎn)項(xiàng)目、江蘇省“333”工程等項(xiàng)目。

研究方向簡介：研究自動(dòng)或半自動(dòng)的軟件分析與測試技術(shù)。主要包括：研究針對軟件測試的程序理解與分析技術(shù)、結(jié)合進(jìn)化優(yōu)化的測試數(shù)據(jù)生成技術(shù)、以及軟件測試工具的開發(fā)等;研究復(fù)雜軟件系統(tǒng)演化過程中的故障定位技術(shù)和基于機(jī)器學(xué)習(xí)的缺陷預(yù)測技術(shù)等。

主要學(xué)術(shù)成果簡介：近年來在Software: Practice and Experience, Journal of Systems and Software, Neurocomputing、IETSoftware、 軟件學(xué)報(bào)、計(jì)算機(jī)學(xué)報(bào)、計(jì)算機(jī)研究與發(fā)展、電子學(xué)報(bào)、通信學(xué)報(bào)等期刊上發(fā)表論文50余篇，其中SCI收錄論文20余篇，獲國家發(fā)明專利5項(xiàng)。

學(xué)術(shù)兼職：計(jì)算機(jī)學(xué)會(huì)軟件工作專委會(huì)委員、信息系統(tǒng)專委會(huì)委員

主要聯(lián)系方式：shjjiang@cumt.edu.cn

獲獎(jiǎng)、榮譽(yù)稱號(hào)

江蘇省“青藍(lán)工程”中青年學(xué)術(shù)帶頭人，

江蘇省“青藍(lán)工程”青年骨干教師，

江蘇省“333”工程第三層次培養(yǎng)對象

 

社會(huì)、學(xué)會(huì)及學(xué)術(shù)兼職

計(jì)算機(jī)學(xué)會(huì)軟件工作專委會(huì)委員、信息系統(tǒng)專委會(huì)委員

 

研究領(lǐng)域

研究自動(dòng)或半自動(dòng)的軟件分析與測試技術(shù)。主要包括：研究針對軟件測試的程序理解與分析技術(shù)、結(jié)合進(jìn)化優(yōu)化的測試數(shù)據(jù)生成技術(shù)、以及軟件測試工具的開發(fā)等;研究復(fù)雜軟件系統(tǒng)演化過程中的故障定位技術(shù)和基于機(jī)器學(xué)習(xí)的缺陷預(yù)測技術(shù)等。

 

科研項(xiàng)目

1.國家自然科學(xué)基金面上項(xiàng)目， 基于進(jìn)化優(yōu)化的大型軟件演化中的錯(cuò)誤定位;

2.國家自然科學(xué)基金面上項(xiàng)目，基于程序切片和遺傳算法的軟件測試數(shù)據(jù)生成技術(shù);

3.江蘇省自然科學(xué)基金項(xiàng)目，程序切片技術(shù)在進(jìn)化測試中的應(yīng)用研究;

4. 教育部科學(xué)技術(shù)研究重點(diǎn)項(xiàng)目，程序的異常傳播分析技術(shù)研究;

5. 江蘇省“333”工程項(xiàng)目，基于數(shù)據(jù)挖掘的測試數(shù)據(jù)生成技術(shù)研究;

6. 廣西可信軟件重點(diǎn)實(shí)驗(yàn)室研究課題，基于進(jìn)化計(jì)算的軟件自動(dòng)修復(fù)技術(shù)研究.

 

發(fā)表論文

[1]論文名稱:Evolutionary approach to generating test data for data flow test. IET　software, 2018,Vol.12, ISS.4, pp:318-323.

[2]]論文名稱:分類不平衡對軟件缺陷預(yù)測模型性能的影響研究, 計(jì)算機(jī)學(xué)報(bào), 41(4):809-824.

[3]論文名稱: A feature matching and transfer approach for cross-company defect prediction[J]. The Journal of Systems and Software, 2017, 132(10): 366-378, 2017.

[4]論文名稱: Cost-Effective testing based fault localization with distance based test-suite reduction. Science China. September 2017, Vol.60 092112:1—092112:15.

[5]論文名稱: A Multi-Level Feedback Approach for the Class Integration and Test Order Problem. The Journal of Systems & Software 133(11):54-67,2017.

[6]論文名稱：基于模式組合的粒子群優(yōu)化測試用例生成方法，軟件學(xué)報(bào)，2016，27(4).785-801.

[7]論文名稱： 基于分支相關(guān)性分析的不可達(dá)路徑檢測方法, 計(jì)算機(jī)研究與發(fā)展.2016，53(5):1072-1085

[8] 論文名稱：面向有效錯(cuò)誤定位的偶然正確性識(shí)別方法。電子學(xué)報(bào)，2016，44(12)：3026-3031

[9]論文名稱：Automatic test data generation based on reduced adaptive particle swarm optimization algorithm，刊物名：Neurocomputing， Volume 158(2015), Pages 109–116.

[10]論文名稱: 基于動(dòng)態(tài)切片和關(guān)聯(lián)分析的錯(cuò)誤定位方法. 刊物名：計(jì)算機(jī)學(xué)報(bào), 38(11):2188-2022, 2015.

[11]論文名稱: 基于子路徑擴(kuò)展的不可達(dá)路徑檢測方法. 刊物名：電子學(xué)報(bào),2015 Vol43(8):1555-1560.

[12] 論文名稱: An Approach of Class Integration Test Order Determination Based on Test Levels. 刊物名: Software: Practice and Experience,2015; 45(5):657–687.

[13] 論文名稱: HSFal: Effective Fault Localization using Hybrid Spectrum of Full Slices and Execution Slices. 刊物名：Journal of Systems and Software, Volume 90, April 2014,PP 3-17. ISSN 0164-1212.

[14] 論文名稱: An Approach for Test Data Generation Using Program Slicing and Particle Swarm Optimization. 刊物名: Neural Computing and Applications,Volume 25, No.7-8,2014, 2047--2055.

[15] 論文名稱:自適應(yīng)粒子群優(yōu)化算法及其在測試數(shù)據(jù)生成中的應(yīng)用研究，刊物名：電子學(xué)報(bào)，2013, 41(8):1555--1559.

 

出版專著和教材

編譯原理及實(shí)現(xiàn)， 清華大學(xué)出版社，2016.9

 

科研創(chuàng)新

發(fā)明專利：

1. 基于實(shí)時(shí)堆棧的程序切片方法， ZL201110188810.0, 2013 中國

2. 基于關(guān)聯(lián)規(guī)則挖掘的不可達(dá)路徑檢測方法， ZL 2012 1 0501664.7， 2015 中國

3. 基于程序執(zhí)行軌跡的動(dòng)態(tài)切片系統(tǒng)， ZL2012 1 0256470.5， 2016 中國

4. 具有程序分析功能的程序調(diào)試系統(tǒng)，ZL2012 1 0495957.9 2016 中國

5.基于程序執(zhí)行軌跡的過程間動(dòng)態(tài)程序切片系統(tǒng)，ZL 201410728471.4， 2017.11.14 中國.

6.一種基于黑盒測試用例約簡的統(tǒng)計(jì)錯(cuò)誤定位方法, ZL201510759523.9, 2018-03-02,中國

7. 一種基于內(nèi)存使用傳播分析的Java內(nèi)存低效使用檢測方法, ZL201610251576.4, 2019-02-26,中國

8.一種類不平衡對分類模型性能影響程度的評(píng)價(jià)方法，ZL201510732754.0，2019-3-19，中國

 

教學(xué)活動(dòng)

本科： Concepts of Programming Languages

碩士：軟件測試方法與技術(shù)，軟件開發(fā)方法與工程

博士：軟件分析技術(shù)

 

指導(dǎo)學(xué)生情況

中國礦業(yè)大學(xué)優(yōu)秀創(chuàng)新博士獎(jiǎng)學(xué)金：

于巧：獲得2015-2016學(xué)年 中國礦業(yè)大學(xué)優(yōu)秀創(chuàng)新博士獎(jiǎng)學(xué)金

宮麗娜：獲2019年博士創(chuàng)新專項(xiàng)基金

碩士生國家獎(jiǎng)學(xué)金：

張妙碩士：獲得2017年碩士研究生國家獎(jiǎng)學(xué)金

中國礦業(yè)大學(xué)優(yōu)秀創(chuàng)新碩士獎(jiǎng)學(xué)金：

[1]史嬌嬌碩士：獲得2013年中國礦業(yè)大學(xué)優(yōu)秀創(chuàng)新碩士獎(jiǎng)學(xué)金

[3]王令賽碩士：獲得2015年中國礦業(yè)大學(xué)優(yōu)秀創(chuàng)新碩士獎(jiǎng)學(xué)金

[2]李文杰碩士：獲得2016年中國礦業(yè)大學(xué)優(yōu)秀創(chuàng)新碩士獎(jiǎng)學(xué)金

[3]王紅陽碩士：獲得2016年中國礦業(yè)大學(xué)優(yōu)秀創(chuàng)新碩士獎(jiǎng)學(xué)金

江蘇省優(yōu)秀碩(博)士學(xué)位論文:

[1]李文杰碩士：獲得2017年江蘇省優(yōu)秀碩士學(xué)位論文

指導(dǎo)博士研究生情況：

已畢業(yè)博士研究生：

2009級(jí)(2012.6 畢業(yè))： 張艷梅(女)，中國礦業(yè)大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院

2011級(jí)(2014.12 畢業(yè))：鞠小林，南通大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院

2012級(jí)(2015.6 畢業(yè))：曹鶴玲(女)，河南工業(yè)大學(xué)信息科學(xué)與工程學(xué)院

2013級(jí)(2017.12畢業(yè))：王興亞，南京大學(xué)博士后

2014級(jí)(2017.6 畢業(yè))：于巧(女)，江蘇師范大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院

2015級(jí)(2019.6畢業(yè))：薄莉莉(女)，揚(yáng)州大學(xué)信息工程學(xué)院

在讀博士研究生：

2017 宮麗娜(女)

2018 傅偉玉(女)

指導(dǎo)碩士研究生情況：

已畢業(yè)碩士研究生：

2003級(jí) 肖洋

2004級(jí) 周虎， 孫雷

2005級(jí) 劉坤(女)， 曹摯

2006級(jí) 牟春雷， 趙紅俠(女)， 吳川

2007級(jí) 辛良， 孫建華， 魏付強(qiáng)， 張艷梅(女)

2008級(jí) 姜光柱

2009級(jí) 王慶壇， 趙雪峰， 周綺(女)， 靳蓉(女)， 郝杰(女)， 張紅昌(與姜利群老師合帶)

2010級(jí) 李海洋， 于博， 尹丹丹(女)， 韓向斌(女)

2011級(jí) 韓寒(女)， 史嬌嬌(女)， 李威

2012級(jí) 于巧(女)(提前讀博)， 王興亞(本碩博連讀)， 王令賽(女)

2013級(jí) 李文杰， 王紅陽， 陳若玉(女)

2014級(jí) 姚慧冉(女)

2015級(jí) 陳潔瓊 (女) 張妙(女) 張爭光

2016級(jí) 陳雯雯(女)陸凱 張悅寧

2017級(jí) 張焜

在讀碩士研究生：

2017級(jí) 姜麗(女) 姚毅文

2018級(jí) 卜亞文 張旭 姚雅斐(女)

2019級(jí)

正在招募2019級(jí)碩士生，2020級(jí)碩士生/博士生:

軟件分析方向(編程語言+程序分析+軟件工程)

軟件測試方向(進(jìn)化計(jì)算+人工智能+軟件工程)

軟件錯(cuò)誤預(yù)測與定位(機(jī)器學(xué)習(xí)+數(shù)據(jù)挖掘+軟件工程)

歡迎本科生、研究生同學(xué)加入我們，請將簡歷發(fā)送給我(shjjiang@cumt.edu.cn)

個(gè)人簡歷

本科成績單

其他有助于證明自己經(jīng)歷與能力的材料

各位同學(xué)亦可前來實(shí)驗(yàn)室咨詢。

 

我的團(tuán)隊(duì)

我們的團(tuán)隊(duì)有下列人員構(gòu)成：

教師： 姜淑娟，張艷梅，薛猛，張愛娟，王榮存，韓麗霞

學(xué)生： 博士： 薄莉莉，宮麗娜，傅偉玉

碩士： 陸凱， 張悅寧，姜麗，姚毅文，張焜，李若楓，卜亞文， 張旭， 姚雅斐