Title | ||
---|---|---|
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models |
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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-05031-2_12 | TestCom/FATES |
Keywords | Field | DocType |
generate model-based integration tests,event-b model,choreography model,service choreography,model-based integration testing,formal modeling,message choreography models,communication protocol,model-based testing,service choreography modeling approach,mbit method,service oriented architecture,integration testing,model based testing,model checking,formal methods,formal method,quality assurance,business | Model checking,Systems engineering,Software engineering,Integration testing,Service choreography,Computer science,Choreography,Model-based testing,Formal methods,Communications protocol,Quality assurance | Conference |
Volume | ISSN | Citations |
5826 | 0302-9743 | 16 |
PageRank | References | Authors |
0.75 | 18 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sebastian Wieczorek | 1 | 65 | 5.72 |
Vitaly Kozyura | 2 | 21 | 1.91 |
Andreas Roth | 3 | 124 | 8.07 |
Michael Leuschel | 4 | 2156 | 135.89 |
Jens Bendisposto | 5 | 100 | 10.83 |
Daniel Plagge | 6 | 133 | 7.78 |
Ina Schieferdecker | 7 | 599 | 85.81 |