José García-Fanjul, Javier Tuya, Claudio de la Riva  Home/Search
Context
Related
| selab.isti.cnr.it/...Fanjul_WSMaTe.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: di.uniovi.es/~tuya/testin...index (more) Homepages: J.Tuya |
Rate this article:      (best)Comment on this article |
Abstract: Generating test cases for compositions of web services is complex, due to their distributed nature and asynchronous behaviour. In this paper, a formal verification tool -- the SPIN model checker -- is used to generate test suite specifications for compositions specified in BPEL. A transition coverage criterion is employed to define a systematic procedure to select the test cases. The approach is applied to the "loan approval" sample composition. (Update)
Active bibliography (related documents): More All
0.6: A Petri Net Semantics for BPEL - Stahl (2004) (Correct)
0.5: Trust Management for Widely Distributed Systems - Yao (2003) (Correct)
0.3: Formal Methods for Component Description, Coordination and .. - Poizat, Royer, Salaün (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ javier-generating,
author = "José García-Fanjul, Javier Tuya, Claudio de la Riva",
title = "Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN",
url = "citeseer.ist.psu.edu/748236.html" }
Citations (may not include all citations):828 Model Checking - Clarke, Grumberg et al. - 2000
59 Proving security protocols with model checkers by data indep.. - Roscoe, Broadfoot - 1999
53 Formal analysis of a space-craft controller using spin - Havelund, Lowry et al. - 2001
40 The SPIN Model Checker: Primer and Reference Manual (context) - Holzmann - 2003
34 Using model checking to generate tests from specifications - Ammann, Black et al. - 1998
14 Model-based verification of web service compositions - Foster, Uchitel et al. - 2003
10 Analysis of interacting bpel web services - Fu, Bultan et al. - 2004
7 Organization for the Advancement of Structured Information S.. (context) - the, Structured et al.
5 Analysis and simulation of web services - Narayanan, McIlraith - 2003
4 Generating test cases for web services using data perturbati.. (context) - Offutt, Xu - 2004
2 Formal verification bpelw busines collaboration (context) - Fisteus, Fernndez et al. - 2004
1 Tool support for model-based engineering of web service comp.. (context) - Foster, Uchitel et al. - 2005
1 The audition framework for testing web services interoperabi.. (context) - Bertolino, Polini - 2005
1 Synchronizability of conversations among web services (context) - Fu, Bultan et al. - 2005
1 Trustworthy web services: Actions for now (context) - Zhang - 2005
1 Formal Aspects of Computing (context) - Gunter, Peled et al. - 2005
1 Are web services finally ready to deliver (context) - Leavitt - 2004
1 Analyzing conversations of web services (context) - Bultan, Fu et al. - 2006
1 Generating test data from state-based specifications (context) - Offutt, Liu et al. - 2003
1 A snapshot of public web services (context) - Fan, Kambhampati - 2005
1 Automated model checking and testing for composite web servi.. (context) - Huang, Tsai et al. - 2005
http://www.idc.com/
Documents on the same site (http://www.di.uniovi.es/~tuya/testing/index.html): More
Automated Software Testing Using a Metaheuristic Technique.. - Diaz, Tuya, Blanco (2003) (Correct)
Automatic Generation of Assumptions for Modular Verification of .. - Riva, Tuya (2006) (Correct)
Mutating Database Queries - Tuya, Suarez-Cabal, Riva (2007) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC