Authors:
M. Palomo Duarte
;
A. Garca Dominguez
and
I. Medina Bulo
Affiliation:
E.S.I., University of Cádiz, Spain
Keyword(s):
Web Services, service composition, WS-BPEL, white-box testing, dynamic invariant generation.
Related
Ontology
Subjects/Areas/Topics:
Communication and Software Technologies and Architectures
;
e-Business
;
Enterprise Information Systems
;
Languages, Tools and Architectures
;
Model-Driven Software Development
;
Service-Oriented Architectures
;
Software Engineering
;
Technology Platforms
Abstract:
Web services related technologies (especially web services compositions) play now a key role in e-Business and its future. Languages to compose web services, such as the OASIS WS-BPEL 2.0 standard, open a vast new field for programming in the large. But they also present a challenge for traditional white-box testing, due to the inclusion of specific instructions for concurrency, fault compensation or dynamic service discovery and invocation. Automatic invariant generation has proved to be a successful white-box testing-based technique to test and improve the quality of traditional imperative programs. This paper proposes a new architecture to create a framework that dynamically generates likely invariants from the execution of web services compositions in WS-BPEL to support white-box testing.