Paper Info
Title
Protocol compatibility notations for service integration testing
Abstract
This paper provides a notation of protocol compatibility among services and describe how this can be useful to test interoperability in Service-Based Applications (SBA). Indeed, the features of a SBA, like distribution and loosely-coupling make usual testing techniques inefficient, especially when the choreography model is adopted. We argue that only the service interface description is not enough to prove and test compatibility among services. Services behavior should also be described. In this paper we introduce a formal model based on message-exchange that should fit for it, considering a service as a non-deterministic finite state automaton. According to this model, we can finally discuss a definition of protocol compatibility and its role for test generation.
Year
DOI
Venue
2011
10.1145/2031746.2031749
QASBA
Keywords
DocType
Citations 
service integration testing,protocol compatibility notation,service-based applications,usual testing technique,test generation,test compatibility,services behavior,protocol compatibility,non-deterministic finite state automaton,formal model,choreography model,service interface description,choreography,web services,finite state automaton,software testing,service oriented architecture,orchestration,web service,software engineering
Conference
0
PageRank 
References 
Authors
0.34
12
3
Name
Order
Citations
PageRank
Francesco De Angelis116018.09
Daniele Fani'200.34
Alberto Polzonetti35515.85