Paper Info
Title
A Counter-Example Testing Approach for Orchestrated Services
Abstract
Service oriented computing is based on a typical combination of features such as very late binding, run-time integration of software elements owned and managed by third parties, run-time changes. These characteristics generally make difficult both static and dynamic verification capabilities of service-centric systems. In this domain verification and testing research communities have to face new issues and revise existing solutions; possibly profiting of the new opportunities that the new paradigm makes available. In this paper, focusing on service orchestrations, we propose an approach to automatic test case generation aiming in particular at checking the behaviour of services participating in a given orchestration. The approach exploits the availability of a runnable model (the BPEL specification) and uses model checking techniques to derive test cases suitable to detect possible integration problems. The approach has been implemented in a plug-in for the Eclipse platform already released for public usage. In this way BPEL developers can easily derive, using a single environment, test suites for each participant service they would like to compose.
Year
DOI
Venue
2010
10.1109/ICST.2010.27
Software Testing, Verification and Validation
Keywords
Field
DocType
bpel specification,new opportunity,service orchestration,new paradigm,new issue,orchestrated services,bpel developer,test suite,counter-example testing approach,participant service,automatic test case generation,test case,automatic test pattern generation,service oriented computing,model checking,observability,profitability,system on a chip,formal specification,software quality,testing,software testing,computer science,protocols,time change,controllability,mathematics,software engineering
Automatic test pattern generation,Late binding,Model checking,Software engineering,Computer science,Real-time computing,Formal specification,Business Process Execution Language,Test case,Orchestration (computing),Service-oriented architecture
Conference
ISBN
Citations 
PageRank 
978-1-4244-6435-7
12
0.71
References 
Authors
11
3
Name
Order
Citations
PageRank
Francesco De Angelis116018.09
Andrea Polini252252.37
Guglielmo De Angelis321621.76