Model-Based Testing of Service-Oriented Applications via State Models
Authors:
- Andre Takeshi EndoAEAndre Takeshi Endo
- Adenilso SimaoASAdenilso Simao
- 1 July 2011
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 432-439
Abstract
Service-oriented architectures and web services have been used to foster the development of loosely coupled, interoperable, and distributed applications. Mission-critical and business process systems can be implemented with them, requiring a high level of quality. Model-based testing allied with state models is a promising candidate due to its efficiency, effectiveness, and flexibility. In this paper, we propose a model-based testing process to verify service-oriented applications. Finite state machines are used to model and support the test case generation. We evaluated the applicability of our process with a case study using a prototype tool.Keywords
This publication has 8 references indexed in Scilit:
- Data flow testing of service choreography2009
- Fault Coverage-Driven Incremental Test GenerationThe Computer Journal, 2009
- Using formal specifications to support testingACM Computing Surveys, 2009
- Service oriented architectures: approaches, technologies and research issuesThe VLDB Journal, 2007
- Service-oriented computing: key concepts and principlesIEEE Internet Computing, 2005
- Automatic Conformance Testing of Web Services2005
- Model-based testing in practice1999
- Principles and methods of testing finite state machines-a surveyProceedings of the IEEE, 1996