趙瑞蓮教授 信息科學與技術學院

女， 1964年出生， 群眾， 山西忻州人， 計算機科學技術學科部主任，

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

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

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

學術兼職：
教育部高等學校計算機科學與技術專業教學指導分委員會專家工作組成員
中國計算機學會容錯專業委員會委員
中國計算機學會服務計算專業委員會委員

主要研究領域：
主要進行軟件測試與軟件可靠性相關技術的研究。主持的科研項目有：
①國家自然科學基金項目《含復雜數據和過程調用的EFSM模型測試生成研究及生成效率關鍵因素分析》；
②國家自然科學基金項目《基于規范和程序輸入域分析的軟件測試數據生成方法》；
③教育部科學技術重點項目《基于最優化技術的自適應非數值型軟件測試數據自動生成方法研究》；
④北京市自然科學基金項目《基于方法消息路徑的面向對象集成測試技術研究》；
⑤中國科學院計算機科學國家重點實驗室開放課題《基于MM路徑的面向對象集成測試方法研究》等。

代表性論文：
① 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.
④ 趙瑞蓮，“一種基于搜索的面向路徑字符串測試數據自動生成方法”，計算機輔助設計與圖形學學報，2008年5期.
⑤ 趙瑞蓮，董紅霞，“一種有效的邊界測試點選取策略”， 計算機輔助設計與圖形學學報，2007年2期.

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

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