中國礦業(yè)大學（徐州）計算機科學與技術學院研究生導師：姜淑娟

• 2025考研復試標準班
• 26考研全科上岸規(guī)劃營「擇校▪規(guī)劃▪備考」
• 中國礦業(yè)大學（徐州）2026考研專業(yè)課復習資料「真題▪筆記▪講義▪題庫」

個人簡介

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

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

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

學術兼職：計算機學會軟件工作專委會委員、信息系統專委會委員

主要聯系方式：shjjiang@cumt.edu.cn

獲獎、榮譽稱號

江蘇省“青藍工程”中青年學術帶頭人，

江蘇省“青藍工程”青年骨干教師，

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

社會、學會及學術兼職

計算機學會軟件工作專委會委員、信息系統專委會委員

研究領域

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

科研項目

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

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

3.江蘇省自然科學基金項目，程序切片技術在進化測試中的應用研究;

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

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

6. 廣西可信軟件重點實驗室研究課題，基于進化計算的軟件自動修復技術研究.

發(fā)表論文

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

[2]]論文名稱:分類不平衡對軟件缺陷預測模型性能的影響研究, 計算機學報, 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)化測試用例生成方法，軟件學報，2016，27(4).785-801.

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

[8] 論文名稱：面向有效錯誤定位的偶然正確性識別方法。電子學報，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)切片和關聯分析的錯誤定位方法. 刊物名：計算機學報, 38(11):2188-2022, 2015.

[11]論文名稱: 基于子路徑擴展的不可達路徑檢測方法. 刊物名：電子學報,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ōu)化算法及其在測試數據生成中的應用研究，刊物名：電子學報，2013, 41(8):1555--1559.

出版專著和教材

編譯原理及實現， 清華大學出版社，2016.9

科研創(chuàng)新

發(fā)明專利：

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

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

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

4. 具有程序分析功能的程序調試系統，ZL2012 1 0495957.9 2016 中國

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

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

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

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

教學活動

本科： Concepts of Programming Languages

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

博士：軟件分析技術

指導學生情況

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

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

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

碩士生國家獎學金：

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

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

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

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

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

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

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

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

指導博士研究生情況：

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

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

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

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

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

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

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

在讀博士研究生：

2017 宮麗娜(女)

2018 傅偉玉(女)

指導碩士研究生情況：

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

2003級 肖洋

2004級 周虎， 孫雷

2005級 劉坤(女)， 曹摯

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

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

2008級 姜光柱

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

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

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

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

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

2014級 姚慧冉(女)

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

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

2017級 張焜

在讀碩士研究生：

2017級 姜麗(女) 姚毅文

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

2019級

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

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

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

軟件錯誤預測與定位(機器學習+數據挖掘+軟件工程)

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

個人簡歷

本科成績單

其他有助于證明自己經歷與能力的材料

各位同學亦可前來實驗室咨詢。

我的團隊

我們的團隊有下列人員構成：

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

學生： 博士： 薄莉莉，宮麗娜，傅偉玉

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