Testing Concurrent Systems: A Formal Approach

  title={Testing Concurrent Systems: A Formal Approach},
  author={Jan Tretmans},
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework for testing based on formal specifications is presented. This framework is elaborated for labelled transition systems, providing formal definitions of conformance, test execution and test derivation. A test derivation algorithm is given and its tool implementation is briefly discussed. 

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.

54 Citations

Citations per Year
Semantic Scholar estimates that this publication has 54 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.


  • E. Brinksma, R. Alderden, R. Langerak
  • van de Lagemaat, and J. Tretmans. A formal…
  • 1990
Highly Influential
17 Excerpts

Manuel d’utilisation de TVEDA V3

  • M. Clatin
  • Manual LAA/EIA/EVP/109, France Télécom CNET LAA…
  • 1996
Highly Influential
4 Excerpts

Relations d’Implantation et Hypothèses de Test sur des Automates à Entrées et Sorties

  • M. Phalippou
  • PhD thesis, L’Université de Bordeaux I, France,
  • 1994
Highly Influential
5 Excerpts

and Description Language (SDL)

  • CCITT. Specificatio
  • Recommendation Z.100. ITU-T General Secretariat…
  • 1992
Highly Influential
5 Excerpts

Systems, Open Systems Interconnection, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour

  • ISO. Information Processin
  • International Standard IS-8807. ISO, Geneve,
  • 1989
Highly Influential
9 Excerpts


  • A. Belinfante
  • Feenstra, R.G. de Vries, J. Tretmans, N. Goga, L…
  • 1999

Similar Papers

Loading similar papers…