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

　

個人簡介

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

研究方向簡介：研究自動或半自動的軟件分析與測試技術(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é)報、計算機(jī)學(xué)報、計算機(jī)研究與發(fā)展、電子學(xué)報、通信學(xué)報等期刊上發(fā)表論文50余篇，其中SCI收錄論文20余篇，獲國家發(fā)明專利5項。

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

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

獲獎、榮譽稱號

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

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

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

 

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

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

 

研究領(lǐng)域

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

 

科研項目

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

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

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

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

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

6. 廣西可信軟件重點實驗室研究課題，基于進(jìn)化計算的軟件自動修復(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ī)學(xué)報, 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é)報，2016，27(4).785-801.

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

[8] 論文名稱：面向有效錯誤定位的偶然正確性識別方法。電子學(xué)報，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]論文名稱: 基于動態(tài)切片和關(guān)聯(lián)分析的錯誤定位方法. 刊物名：計算機(jī)學(xué)報, 38(11):2188-2022, 2015.

[11]論文名稱: 基于子路徑擴(kuò)展的不可達(dá)路徑檢測方法. 刊物名：電子學(xué)報,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é)報，2013, 41(8):1555--1559.

 

出版專著和教材

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

 

科研創(chuàng)新

發(fā)明專利：

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

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

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

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

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

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

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

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

 

教學(xué)活動

本科： Concepts of Programming Languages

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

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

 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

在讀博士研究生：

2017 宮麗娜(女)

2018 傅偉玉(女)

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

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

2003級 肖洋

2004級 周虎， 孫雷

2005級 劉坤(女)， 曹摯

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

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

2008級 姜光柱

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

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

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

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

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

2014級 姚慧冉(女)

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

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

2017級 張焜

在讀碩士研究生：

2017級 姜麗(女) 姚毅文

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

2019級

正在招募2019級碩士生，2020級碩士生/博士生:

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

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

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

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

個人簡歷

本科成績單

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

各位同學(xué)亦可前來實驗室咨詢。

 

我的團(tuán)隊

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

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

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

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