北京化工大學控制科學與工程專業研究生導師介紹：趙瑞蓮

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

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

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

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

1）國家自然科學基金面上項目《含復雜數據和過程調用的EFSM模型測試生成研究及生成效率關鍵因素分析》No.61073035.（201101-201312）；

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

3）北京市自然科學基金項目《基于方法消息路徑的面向對象軟件集成測試技術研究》No.4072021.(200701-201012 )；

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

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

代表論著：

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

② 宮云戰，趙瑞蓮，張威. 軟件測試教程，重點大學計算機教材，機械工業出版社，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.

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

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