北京化工大學(xué)

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

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

主要研究方向：軟件測(cè)試與軟件可靠性

近年來(lái)一直從事軟件測(cè)試與軟件可靠性方面的研究，主持的科研項(xiàng)目有:

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

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

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

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

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

代表論著：

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

② 宮云戰(zhàn)，趙瑞蓮，張威. 軟件測(cè)試教程，重點(diǎn)大學(xué)計(jì)算機(jī)教材，機(jī)械工業(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路徑自動(dòng)生成方法研究"，計(jì)算機(jī)研究與發(fā)展，50(2), pp.332-343, 2013.

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