计算机科学与技术系

Department of Computer Science and Technology

Education background

Bachelor of Computer Science, Northwestern Polytechnical University, Xi'an, China, 1995;

Master of Computer Science, BeiHang University, Beijing, China, 1998;

Ph.D. in Computer Science, Arizona State University, USA, 2001.

Areas of Research Interests/ Research Projects

Software Engineering, Software Testing, Service-Oriented Computing

National Key Technology Program: Research on Integration Test Planning of Olympic Information Systems and Prototype Development of Test Management Platform (2003-2005);

IBM SUR: Ontology-based Collaborative Verification and Validation of Service-Oriented Applications (2006-2007);

National 863 High-Tech Program: Research on the Dependable Service-Oriented Software (2007-2008);

National Natural Science Foundation of China: Research on Online and Collaborative Testing Techniques of Service-Oriented Software (2007-2009);

Freescale Joint Research Project: Dynamic Integration Testing of Reconfigurable Systems with Alternative Components (2007-2009);

National Basic Research Program of China (The 973 Program): Research on Requirement Engineering: The Foundation of Software Engineering for Complex Systems (2006-2011).

Research Status

My research addresses the methods and techniques of software testing for complex systems and for new computing paradigm in the Internet era. Starting from my Ph.D. study, I worked on the end-to-end integration testing methodology for large-scale systems of interconnected components. We proposed a scenario-based approach (called thin-thread in the DoD project) for test requirements modeling, hierarchical test design, and regression testing. After that, I joined Tsinghua University and got involved in the preparation and operation of the information systems of the Olympic Games, as a technique expert. I led a research project on integration testing which focused on the perspectives of process management and project supervision.

In the recent five years, my research interest is on the quality issues of service-oriented architecture (SOA) and Software as a Service (SaaS). As new software paradigms, SOA and SaaS shift the focus of software development from coding to composition by reusing services of large granularities that are accessible through standard protocols. I proposed a framework of runtime collaborative testing and researched on the issues including testing architecture, ontology-based test generation, test ontology model, agent-based collaborative testing, runtime monitoring and policy enforcement, and adaptive testing. The objective is to enforce continuous quality mechanism during the lifecycle of dynamic service registration, discovery, composition and evolution.

In addition, I researched on model-based testing automation systems and techniques, and proposed a SyncTest framework which aims to synchronize the changes of code, program model and test scripts. This research investigates changes from two levels: code level and requirements level, and introduces modeling and test generation techniques following the model-driven architecture.

Until now, I have published over 60 papers in international and domestic journals and conferences, a book Service-Oriented Software Engineering written in Chinese. I have involved in many international conferences as program committee chair or member, including SOSE, SCC, COMPSAC, QSIC, SEKE, etc. I'm the associate editor of IJSEKE and serve as reviewer to many international and domestic journals.

Honors And Awards

IBM Faculty Award (2007);

"Good Teacher and Helpful Friend" Award by Tsinghua University (2006);

"Tsinghua Fellowship" Excellent Teaching Award (2002).

Academic Achievement

[1] Wei-Tek Tsai, Xiaoying Bai and Yinong Chen. Service-Oriented Software Engineering. Tsinghua University Press, Beijing, 2008 (in Chinese).

[2] 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.

[3] 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.

[4] 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.

[5] 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.

[6] 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.

[7] 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.

[8] 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.