Model-based testing of service infrastructure components

László Gönczy, Reiko Heckel, D. Varró

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages155-170
Number of pages16
Volume4581 LNCS
Publication statusPublished - 2007
Event19th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Testcom 2007, and 7th International Workshop on Formal Approaches to Testing Software, FATES 2007 - Tallinn, Estonia
Duration: Jun 26 2007Jun 29 2007

Other

Other19th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Testcom 2007, and 7th International Workshop on Formal Approaches to Testing Software, FATES 2007
CountryEstonia
CityTallinn
Period6/26/076/29/07

Fingerprint

Model-based Testing
Workflow
Language
Infrastructure
Model checking
Testing
Petri nets
Network protocols
Graph Transformation
Methodology
Dependability
Distributed Environment
Faithful
Fault-tolerant
Petri Nets
Model Checking
Work Flow
Mining
State Space
Requirements

Keywords

  • Fault-tolerant services
  • Graph transformation
  • Model checking
  • Model-based testing

ASJC Scopus subject areas

  • Computer Science(all)
  • Biochemistry, Genetics and Molecular Biology(all)
  • Theoretical Computer Science

Cite this

Gönczy, L., Heckel, R., & Varró, D. (2007). Model-based testing of service infrastructure components. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4581 LNCS, pp. 155-170)

Model-based testing of service infrastructure components. / Gönczy, László; Heckel, Reiko; Varró, D.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4581 LNCS 2007. p. 155-170.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Gönczy, L, Heckel, R & Varró, D 2007, Model-based testing of service infrastructure components. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 4581 LNCS, pp. 155-170, 19th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Testcom 2007, and 7th International Workshop on Formal Approaches to Testing Software, FATES 2007, Tallinn, Estonia, 6/26/07.
Gönczy L, Heckel R, Varró D. Model-based testing of service infrastructure components. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4581 LNCS. 2007. p. 155-170
Gönczy, László ; Heckel, Reiko ; Varró, D. / Model-based testing of service infrastructure components. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4581 LNCS 2007. pp. 155-170
@inproceedings{f4d7671e841f485eb0ad049e015cf5ea,
title = "Model-based testing of service infrastructure components",
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.",
keywords = "Fault-tolerant services, Graph transformation, Model checking, Model-based testing",
author = "L{\'a}szl{\'o} G{\"o}nczy and Reiko Heckel and D. Varr{\'o}",
year = "2007",
language = "English",
isbn = "3540730656",
volume = "4581 LNCS",
pages = "155--170",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Model-based testing of service infrastructure components

AU - Gönczy, László

AU - Heckel, Reiko

AU - Varró, D.

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

KW - Fault-tolerant services

KW - Graph transformation

KW - Model checking

KW - Model-based testing

UR - http://www.scopus.com/inward/record.url?scp=34548075045&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34548075045&partnerID=8YFLogxK

M3 - Conference contribution

SN - 3540730656

SN - 9783540730651

VL - 4581 LNCS

SP - 155

EP - 170

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -