Paper Info
Title
On-The-Fly Model-Based Testing of Web Services with Jambition
Abstract
Increasing complexity and massive use of current web services raise multiple issues for achieving adequate service validation while sticking to time-to-market imperatives. For instance: How to automate test case generation and execution for stateful web services? How to realistically simulate web service related operation calls? How to ensure conformance to specifications? The Plastic validation framework tackles some of these issues by providing specific tools for automated model-based functional testing. Based on the Symbolic Transition System model, test cases can be generated and executed on-the-fly. This testing approach was applied for validating the Alarm Dispatcher eHealth service, aimed at providing health attention through mobile devices in B3G networks. In this paper we report how this modeling and testing approach helped to detect failures, support conformance, and reduce drastically the testing effort spent usually in designing test cases, validating test coverage, and executing test cases in traditional testing approaches.
Year
DOI
Venue
2008
10.1007/978-3-642-01364-5_9
WS-FM
Keywords
Field
DocType
test case generation,traditional testing approach,on-the-fly model-based testing,adequate service validation,web services,alarm dispatcher ehealth service,test coverage,automated model-based functional testing,testing approach,current web service,testing effort,test case,model based testing,functional testing,mobile device,web service
Test Management Approach,Software engineering,Computer security,Computer science,Manual testing,White-box testing,Conformance testing,Model-based testing,Test strategy,Cloud testing,Distributed computing,Keyword-driven testing
Conference
Volume
ISSN
Citations 
5387
0302-9743
16
PageRank 
References 
Authors
0.72
17
4
Name
Order
Citations
PageRank
Lars Frantzen122911.99
Maria Las Nieves Huerta2160.72
Zsolt Gere Kiss3160.72
Thomas Wallet4242.55