Model-based testing of service infrastructure components

Authors:
László Gönczy;Reiko Heckel;Dániel Varró
Affiliations:
Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary;Department of Computer Science, University of Leicester, Leicester, United Kingdom;Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary
Venue:
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Year:
2007

Citing 13
Cited 0

Graph processes

Fundamenta Informaticae - Special issue on graph transformations
A graph transformation approach to software architecture reconfiguration

Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Generating Tests from Counterexamples

Proceedings of the 26th International Conference on Software Engineering
Model-based Discovery of Web Services

ICWS '04 Proceedings of the IEEE International Conference on Web Services
Workflow Mining: Discovering Process Models from Event Logs

IEEE Transactions on Knowledge and Data Engineering
Generating Efficient Test Sets with a Model Checker

SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Automated Model Checking and Testing for Composite Web Services

ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Executable Visual Contracts

VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

DEPCOS-RELCOMEX '06 Proceedings of the International Conference on Dependability of Computer Systems
Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Automatic conformance testing of web services

FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Conflict detection for graph transformation with negative application conditions

ICGT'06 Proceedings of the Third international conference on Graph Transformations
Termination analysis of model transformations by petri nets

ICGT'06 Proceedings of the Third international conference on Graph Transformations

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a methodology for testing service infrastructure components described in a high-level (UML-like) language. The technique of graph transformation is used to precisely capture the dynamic aspect of the protocols which is the basis of state space generation. Then we use model checking techniques to find adequate test sequences for a given requirement. To illustrate our approach, we present the case study of a fault tolerant service broker which implements a wellknown dependability pattern at the level of services. Finally, a compact Petri Net representation is derived by workflow mining techniques to generate faithful test cases in a non-deterministic, distributed environment. Note that our methodology is applicable at the architectural level rather than for testing individual service instances only.