趙瑞蓮教授 信息科學(xué)與技術(shù)學(xué)院

女， 1964年出生， 群眾， 山西忻州人， 計(jì)算機(jī)科學(xué)技術(shù)學(xué)科部主任，

在讀研究生：碩士 6人
電話：010－64454674
電子信箱：rlzhao@mail.buct.edu.cn

教育經(jīng)歷：
1981年9月考入中北大學(xué)（原華北工學(xué)院）計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)學(xué)習(xí)，于1985年7月畢業(yè)并獲學(xué)士學(xué)位；
1987年9月考取中北大學(xué)在職碩士研究生，于1990年4月畢業(yè)并獲碩士學(xué)位；
1998年9月考入中國科學(xué)院計(jì)算技術(shù)研究所攻讀博士學(xué)位，2001年7月畢業(yè)并獲博士學(xué)位。

工作經(jīng)歷：
1985年中北大學(xué)自動控制系計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)畢業(yè)后，留校任教；
1993～1998年山西大學(xué)計(jì)算機(jī)科學(xué)系任教；
2001年博士畢業(yè)分配到北京化工大學(xué)信息科學(xué)與技術(shù)學(xué)院計(jì)算機(jī)科學(xué)系從事教學(xué)與科研工作；
2001～2002年兩次在香港中文大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)系進(jìn)行合作研究；
2008～2009年獲國家留學(xué)基金委資助在英國倫敦King’s College進(jìn)行為期一年的學(xué)術(shù)交流訪問。

學(xué)術(shù)兼職：
教育部高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)教學(xué)指導(dǎo)分委員會專家工作組成員
中國計(jì)算機(jī)學(xué)會容錯專業(yè)委員會委員
中國計(jì)算機(jī)學(xué)會服務(wù)計(jì)算專業(yè)委員會委員

主要研究領(lǐng)域：
主要進(jìn)行軟件測試與軟件可靠性相關(guān)技術(shù)的研究。主持的科研項(xiàng)目有：
①國家自然科學(xué)基金項(xiàng)目《含復(fù)雜數(shù)據(jù)和過程調(diào)用的EFSM模型測試生成研究及生成效率關(guān)鍵因素分析》；
②國家自然科學(xué)基金項(xiàng)目《基于規(guī)范和程序輸入域分析的軟件測試數(shù)據(jù)生成方法》；
③教育部科學(xué)技術(shù)重點(diǎn)項(xiàng)目《基于最優(yōu)化技術(shù)的自適應(yīng)非數(shù)值型軟件測試數(shù)據(jù)自動生成方法研究》；
④北京市自然科學(xué)基金項(xiàng)目《基于方法消息路徑的面向?qū)ο蠹蓽y試技術(shù)研究》；
⑤中國科學(xué)院計(jì)算機(jī)科學(xué)國家重點(diǎn)實(shí)驗(yàn)室開放課題《基于MM路徑的面向?qū)ο蠹蓽y試方法研究》等。

代表性論文：
① Ruilian Zhao, Michael R. Lyu, Yinghua Min. “Automatic String Test Data Generation for Detecting Domain Errors”, Journal of Software Testing, Verification and Reliability. Published Online: Jul 6 2009, DOI: 10.1002/stvr.414.
② Suwei Guo, Ruilian Zhao and Lijian Li. “Application of Dynamic Slicing in Test Data Generation”, Journal of Tsinghua Science and Technology, Vol.12, No.S1, pp.150-155, July 2007.
③ Ruilian Zhao and Zheng Li. “Boundary Value Testing Using Integrated Circuit Fault Detection Rule”, Proceedings 2009 Testing: Academic and Industrial Conference-Practice and Research Techniques (TAIC PART2009), United Kingdom, September, pp.3-12, 2009.
④ 趙瑞蓮，“一種基于搜索的面向路徑字符串測試數(shù)據(jù)自動生成方法”，計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào)，2008年5期.
⑤ 趙瑞蓮，董紅霞，“一種有效的邊界測試點(diǎn)選取策略”， 計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào)，2007年2期.

獲獎成果及榮譽(yù)稱號：
2003年獲北京化工大學(xué)大寶獎教金;
2004年被評為北京化工大學(xué)優(yōu)秀工作者;
2005年獲北京化工大學(xué)本科教學(xué)評估突出貢獻(xiàn)個人二等獎;
2006年被評為“巾幗建功”先進(jìn)個人;
2007年被評為北京化工大學(xué)優(yōu)秀班主任。

招生基本要求：
要求考生具有較好的分析思考能力、較強(qiáng)的編程動手能力，
具有良好的英語閱讀和寫作能力；
勤奮好學(xué)，積極向上。