中國(guó)礦業(yè)大學(xué)（徐州）計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院研究生導(dǎo)師：姜淑娟

• 2026考研英語(yǔ)全程班 6班
• 26考研全科上岸規(guī)劃營(yíng)「擇校▪規(guī)劃▪備考」
• 中國(guó)礦業(yè)大學(xué)（徐州）2026考研專業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫(kù)」

個(gè)人簡(jiǎn)介

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

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

主要學(xué)術(shù)成果簡(jiǎn)介：近年來(lái)在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余篇，獲國(guó)家發(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)對(duì)象

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

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

研究領(lǐng)域

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

科研項(xiàng)目

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

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

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

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

5. 江蘇省“333”工程項(xiàng)目，基于數(shù)據(jù)挖掘的測(cè)試數(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]]論文名稱:分類不平衡對(duì)軟件缺陷預(yù)測(cè)模型性能的影響研究, 計(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)化測(cè)試用例生成方法，軟件學(xué)報(bào)，2016，27(4).785-801.

[7]論文名稱： 基于分支相關(guān)性分析的不可達(dá)路徑檢測(cè)方法, 計(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á)路徑檢測(cè)方法. 刊物名：電子學(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)化算法及其在測(cè)試數(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 中國(guó)

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

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

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

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

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

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

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

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

本科： Concepts of Programming Languages

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

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

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

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

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

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

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

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

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

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

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

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

[3]王紅陽(yáng)碩士：獲得2016年中國(guó)礦業(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è))： 張艷梅(女)，中國(guó)礦業(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í) 李文杰， 王紅陽(yáng)， 陳若玉(女)

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

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

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

2017級(jí) 張焜

在讀碩士研究生：

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

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

2019級(jí)

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

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

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

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

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

個(gè)人簡(jiǎn)歷

本科成績(jī)單

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

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

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

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

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

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

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