Back to Search
Start Over
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.
- Source :
- Testing of Software & Communication Systems; 2009, p179-194, 16p
- Publication Year :
- 2009
-
Abstract
- Choreography models describe the communication protocols between services. Testing of service choreographies is an important task for the quality assurance of service-based systems as used e.g. in the context of service-oriented architectures (SOA). The formal modeling of service choreographies enables a model-based integration testing (MBIT) approach. We present MBIT methods for our service choreography modeling approach called Message Choreography Models (MCM). For the model-based testing of service choreographies, MCMs are translated into Event-B models and used as input for our test generator which uses the model checker ProB. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783642050305
- Database :
- Complementary Index
- Journal :
- Testing of Software & Communication Systems
- Publication Type :
- Book
- Accession number :
- 76844746
- Full Text :
- https://doi.org/10.1007/978-3-642-05031-2_12