北京化工大學(xué)計算機科學(xué)與技術(shù)專業(yè)研究生導(dǎo)師介紹：趙瑞蓮

1981年考入中北大學(xué)（原太原機械學(xué)院、華北工學(xué)院）自動化系計算機應(yīng)用專業(yè)；85年畢業(yè)留校任教，1990年獲中北大學(xué)計算機應(yīng)用專業(yè)碩士學(xué)位，1993年底調(diào)入山西大學(xué)計算機科學(xué)與技術(shù)系，1998年考入中國科學(xué)院計算技術(shù)研究所攻讀博士學(xué)位；2001年7月博士畢業(yè)，分配到北京化工大學(xué)信息科學(xué)與技術(shù)學(xué)院計算機科學(xué)系從事教學(xué)與科研工作，同時擔(dān)任計算機系教學(xué)主任，主管計算機科學(xué)系教學(xué)工作，現(xiàn)為北京化工大學(xué)信息學(xué)院計算機科學(xué)與技術(shù)學(xué)科部主任。

2001 年4 月至2001 年7 月，2002 年9 月至2003 年3 月兩次在香港中文大學(xué)計算機科學(xué)與工程學(xué)系進行“軟件可靠性工程和測試技術(shù)”項目的研究。2008 年10月至2009 年10月由國家留學(xué)基金資助在英國倫敦國王學(xué)院（King’s College London）軟件工程組進行軟件測試數(shù)據(jù)生成方面的研究。

主要研究方向：軟件測試與軟件可靠性

近年來一直從事軟件測試與軟件可靠性方面的研究，主持的科研項目有:

1）國家自然科學(xué)基金面上項目《含復(fù)雜數(shù)據(jù)和過程調(diào)用的EFSM模型測試生成研究及生成效率關(guān)鍵因素分析》No.61073035.（201101-201312）；

2）國家自然科學(xué)基金面上項目《基于規(guī)范和程序輸入域分析的軟件測試方法研究》No.60473032.（200501-200712）；

3）北京市自然科學(xué)基金項目《基于方法消息路徑的面向?qū)ο筌浖�集成測試技術(shù)研究》No.4072021.(200701-201012 )；

4）教育部科學(xué)技術(shù)研究重點項目《基于最優(yōu)化技術(shù)的自適應(yīng)非數(shù)值型軟件測試數(shù)據(jù)自動生成方法研究》NO.10501.（200501-200712）；

5）部隊合作項目《某俄制檢測設(shè)備故障分析專家系統(tǒng)開發(fā)》H2007297.(200701-200912 )等.

代表論著：

①   趙瑞蓮，軟件測試. “十一五”國家級規(guī)劃教材，高等教育出版社，2008年７月.

② 宮云戰(zhàn)，趙瑞蓮，張威. 軟件測試教程，重點大學(xué)計算機教材，機械工業(yè)出版社，2008年8月.

代表論文:

① Ruilian Zhao*, Michael R. Lyu, Yinghua Min. “Automatic String Test Data Generation for Detecting Domain Errors”, Journal of Software Testing, Verification and Reliability. Vol 20, No 3, p.209-236, Sept. 2010.

② Ruilian Zhao, Yuandong Huang. “A Path-oriented Automatic Random on Double Constraint Propagation”，International Journal of Software Engineering and Applications.Vol.3, No.2, p1-11. March 2012.

③ Wei He, Ruilian Zhao*. “Sequential pattern mining based test case regeneration”. Journal of Software, 8(12), pp.3105-3113, 2013.

④ 何偉，趙瑞蓮*，朱群雄. “基于調(diào)用圖的類間MM路徑自動生成方法研究"，計算機研究與發(fā)展，50(2), pp.332-343, 2013.

⑤王倩，尤楓，趙瑞蓮*.“二叉樹結(jié)構(gòu)型測試數(shù)據(jù)自動生成方法研究"，計算機輔助設(shè)計與圖形學(xué)學(xué)報，24(6), pp. 734-740, 2012.