姓名：白晓颖

职称：副教授

电话：62794935

邮箱：baixy@tsinghua.edu.cn

教育背景

工学学士 (计算机科学与技术), 西北工业大学, 中国, 1995;

工学硕士 (计算机科学与技术), 北京航空航天大学, 中国, 1998;

工学博士 (计算机科学与技术), 亚利桑那州立大学, 美国, 2001.

研究领域

软件工程, 软件测试, 服务计算

研究概况

我的主要研究方向是软件测试方法与技术，先后涉及大型复杂系统、嵌入式系统和面向服务软件的测试研究。博士研究期间，依托美国国防部项目，研究大型系统的端到端集成测试技术，并提出了一种基于场景的方法，用于测试需求建模、测试设计和回归测试。在2002年至2008年，我作为技术专家参与了奥运会信息系统的筹备和运行工作，并作为项目负责人承担了国家科技攻关项目，针对信息系统集成测试的总体规划、测试全过程管理等问题进行了较深入的研究与实践，相关成果受到北京奥组委和国际奥委会技术官员的高度评价，成为北京奥运会技术的一个重要经验。

近五年来，我对面向服务体系架构（SOA）的质量问题进行了较为深入的研究，提出了在线协同测试体系架构，探讨了测试体系架构、基于本体的测试生成、测试本体模型、基于Agent的协同测试、运行时监控及策略执行、适应性测试等技术，其目的是在由动态注册、发现、组装和演化构成的服务生命周期中，强化质量控制机制。

另外，我还对基于模型的测试自动化系统和技术进行了研究，基于国际合作项目，提出了SyncTest框架，对代码、程序模型和测试脚本的各种变化进行同步。SynchTest主要从需求和程序代码两个层次考虑变化的同步问题，分别建立程序结构模型和需求特征模型，并采用模型驱动的体系架构，研究了测试模型和测试脚本的自动生成技术。

我已在国内外重要会议及杂志上发表论文60余篇，出版著作1部《浅谈深析：面向服务的软件工程》。作为程序委员会委员或主席，我参与了10余个国际会议的组织和审稿工作，目前是国际期刊《软件工程及知识工程》（International Journal on Software Engineering and Knowledge Engineering）》的副主编及若干国际和国内期刊的审稿人。

研究课题

国家科技攻关项目: 奥运会信息系统集成测试总体规划及测试管理平台的预研 (2003-2005);

IBM大学合作项目: Ontology-based Collaborative Verification and Validation of Service-Oriented Applications (2006-2007);

863课题: 可信服务软件测试技术研究 (2007-2008);

国家自然科学基金项目: 面向服务在线协同软件测试技术研究 (2007-2009);

Freescale公司国际合作项目: Dynamic Integration Testing of Reconfigurable Systems with Alternative Components (2007-2009);

973二级课题: 需求工程——对复杂系统的软件工程的基础研究 (2006-2011).

奖励与荣誉

IBM教学研究奖 (2007);

清华大学“良师益友” (2006);

“清华之友”优秀青年教师奖 (2002).

学术成果

[1] 蔡维德, 白晓颖, 陈以农.《浅谈深析-面向服务软件工程》, 清华大学出版社, 2008.

[2] K. Wang, X. Bai, J. Li and C. Ding, “A service-based framework for pharmacogenomics data integration”, Enterprise Information Systems, Vol. 4, No. 3, August, 2010, pp. 225-245.

[3] X.Bai, Y. Liu, L. Wang, P. Zhong. Model-Based Monitoring and Policy Enforcement of Services. Simulation Modeling Practice and Theory，17 (2009), pp. 1399-1412.

[4] L. Wang, X. Bai, Y. Chen, L. Zhou. A Hierarchical Reliability Model of Service-Based Software System. Proc. 33th IEEE Computer Software and Applications Conference (COMPSAC 2009), Seattle, US., 2009, pp. 199-208.

[5] X. Bai, S. Lee, W. T. Tsai and Y. Chen. Ontology-Based Test Modeling and Partition Testing of Web Services. Proc. 6th International Conference on Web Services (ICWS 2008), Beijing, China, 2008, pp. 465-472.

[6] X. Bai, S. Lee, R. Liu, W.T. Tsai and Y. Chen. Collaborative Web Services Monitoring with Active Service Broker. Proc. 32nd IEEE Computer Software and Applications Conference (COMPSAC 2008), Finland, 2008, pp. 84-91.

[7] X. Bai, Y. Wang, G. Dai, W.T. Tsai and Y. Chen. A Framework of Contract-Based Collaborative Verification and Validation of Web Services. Proc. 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2008), Boston, July 2007. Lecture Notes 4608, pp. 256-271.

[8] X. Bai, Z. Cao and Y. Chen. Design of a Trustworthy Service Broker and Dependence-Based Progressive Group Testing. Int. J. Simulation and Process Modeling, vol. 3, Nos. 1/2, 2007, pp. 66-79.

[9] X. Bai, S. Li, and Y. Chen. Mutation-Based Simulation Test Data Generation for Testing Complex Real-Time Software. Proc. IEEE the 40th Annual Simulation Symposium (ANSS 2007), Norfolk, Virginia, 2007, pp. 72-80.