Model-based Testing of Service-oriented Applications: Experimental Studies and Automation

• Grant number: 12/21083-9
• Support type: Scholarships in Brazil - Post-Doctorate
• Effective date (Start): May 01, 2013
• Effective date (End): August 31, 2013
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal researcher: Adenilso da Silva Simão
• Grantee: André Takeshi Endo
• Home Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil

Abstract

Service-oriented architecture (SOA) has been adopted to develop enterprise applications that foster interoperability, loose coupling, and reuse. SOA is an architectural style focused on services that provide functionalities accessed through the Web using open and standardized protocols. The use of Web services in systems that model large and complex business process increases the need for testing. Concerning this research topic, the testing of service-oriented applications has received special attention since their behavior is dependent on integrated services and testing them systematically and formally is a challenge. In this context, model-based testing is a promising strategy to test services. Advances have been achieved with model-based approaches to generate and execute tests in this class of application. However, there is a lack of experimental studies that aim to evaluate these approaches, as well as its application in the solution of practical scenarios. Thus, this research project proposes an experimental investigation of model-based testing applied in the context of SOAs. Moreover, we intend to verify the use of models for testing practical scenarios and to support the tools' development.