Title :
Online Testing Framework for Web Services
Author :
Cao, Tien-Dung ; Felix, Patrick ; Castanet, Richard ; Berrada, Ismail
Author_Institution :
LaBRI, Univ. of Bordeaux 1, Talence, France
Abstract :
Testing conceptually consists of three activities: test case generation, test case execution and verdict assignment. Using online testing, test cases are generated and simultaneously executed (i.e. the complete test scenario is built during test execution). This paper presents a framework that automatically generates and executes tests "online" for conformance testing of a composite of Web services described in BPEL. The proposed framework considers unit testing and it is based on a timed modeling of BPEL specification, a distributed testing architecture and an online testing algorithm that generates, executes and assigns verdicts to every generated state in the test case.
Keywords :
Web services; formal specification; program testing; software architecture; BPEL specification; Web services; distributed testing architecture; online testing framework; test case execution; test case generation; unit testing; verdict assignment; Automata; Automatic testing; Clocks; Java; Logic design; Logic testing; Software testing; System testing; Timing; Web services; BPEL; Composite of Web Services; Conformance Testing; Online Testing; Test Generation; Timed Extended Finite State Machine;
Conference_Titel :
Software Testing, Verification and Validation (ICST), 2010 Third International Conference on
Conference_Location :
Paris
Print_ISBN :
978-1-4244-6435-7
DOI :
10.1109/ICST.2010.11