Proceedings ArticleDOI
Automatic Timed Test Case Generation for Web Services Composition
Mounir Lallali,Fatiha Zaïdi,Ana Cavalli,Iksoon Hwang +3 more
- pp 53-62
Reads0
Chats0
TLDR
A method to test composite Web service described in BPEL is proposed and an algorithm to generate test cases is proposed based on simulation where the exploration is guided by test purposes.Abstract:
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method to test composite Web service described in BPEL. As a first step, the BPEL specification is transformed into an Intermediate Format (IF) model that is based on timed automata, which enables modeling of timing constraints.We defined a conformance relation between two timed automata(of implementation and specification) and then proposed an algorithm to generate test cases. Test case generation is based on simulation where the exploration is guided by test purposes. The proposed method was implemented in a set of tools which were applied to a common Web service as a case study.read more
Citations
More filters
Journal ArticleDOI
Testing and verification in service-oriented architecture: a survey
TL;DR: The previous work undertaken on testing and verification of service‐centric systems is surveyed, showing the strengths and weaknesses of current strategies and testing tools and identifying issues for future work.
Journal ArticleDOI
Collaborative Testing of Web Services
Hong Zhu,Yufeng Zhang +1 more
TL;DR: This paper presents a prototype implementation of the framework of collaborative testing in which test tasks are completed through the collaboration of various test services that are registered, discovered, and invoked at runtime using the ontology of software testing STOWS.
Journal ArticleDOI
Automatic test case selection for regression testing of composite service based on extensible BPEL flow graph
TL;DR: An approach is proposed to select test cases for regression testing of different versions of BPEL (business process execution language) composite service where these changes are involved using a kind of eXtensible BPEL flow graph (XBFG).
Book ChapterDOI
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems
TL;DR: This article supports WS-BPEL data computations and exchanges, while overcoming the consequential state explosion problem, through the use of symbolic transition system models and their symbolic execution.
Proceedings ArticleDOI
Unit Testing Approaches for BPEL: A Systematic Review
TL;DR: This paper aims to focus on a comprehensive review to identify a categorization, a description of test case generation approaches, empirical evidence, current trends in BPEL studies, and finally to end with future work for other researchers.
References
More filters
Patent
Simple object access protocol
Gunnar Mein,Shankar Pal,Govinda Dhondu,Thulusalamatom Krishnamurthi Anand,Alexander Sasha Stojanovic,Mohsen Al-Ghosein,Paul M. Oeuvray +6 more
TL;DR: In this paper, an application layer protocol is provided on top of HTTP 1.0/1.1 to allow for COM Automation objects to be invoked over the Internet through IIS/ISAPI servers.
Book ChapterDOI
The IF Toolset
TL;DR: The toolset is built upon a rich formalism, the IF notation, allowing structured automata-based system representations, and is expressive enough to support real-time primitives and extensions of high-level modelling languages such as SDL and UML by means of structure preserving mappings.
Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN
TL;DR: A formal verification tool ‐ the SPIN model checker ‐ is used to generate test suite specifications for compositions specified in BPEL, and a transition coverage criterion is employed to select the test cases.