Testing Concurrent Systems: A Formal Approach

G.J. Tretmans

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

145 Citations (Scopus)

Abstract

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.
Original languageUndefined
Title of host publicationCONCUR'99 - Concurrency Theory: 10th International Conference
EditorsJ.C.M. Baeten, S. Mauw
Place of PublicationBerlin
PublisherSpringer
Pages46-65
Number of pages20
ISBN (Print)3-540-66425-4
DOIs
Publication statusPublished - Aug 1999
Event10th International Conference on Concurrency Theory, CONCUR 1999 - Eindhoven, Netherlands
Duration: 24 Aug 199927 Aug 1999
Conference number: 10

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume1664

Conference

Conference10th International Conference on Concurrency Theory, CONCUR 1999
Abbreviated titleCONCUR
CountryNetherlands
CityEindhoven
Period24/08/9927/08/99

Keywords

  • EWI-6496
  • IR-63307
  • METIS-119604
  • FMT-TESTING

Cite this

Tretmans, G. J. (1999). Testing Concurrent Systems: A Formal Approach. In J. C. M. Baeten, & S. Mauw (Eds.), CONCUR'99 - Concurrency Theory: 10th International Conference (pp. 46-65). (Lecture Notes in Computer Science; Vol. 1664). Berlin: Springer. https://doi.org/10.1007/3-540-48320-9_6
Tretmans, G.J. / Testing Concurrent Systems: A Formal Approach. CONCUR'99 - Concurrency Theory: 10th International Conference. editor / J.C.M. Baeten ; S. Mauw. Berlin : Springer, 1999. pp. 46-65 (Lecture Notes in Computer Science).
@inproceedings{bec169a16e3f4fa7b7ef7d40e0216c83,
title = "Testing Concurrent Systems: A Formal Approach",
abstract = "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.",
keywords = "EWI-6496, IR-63307, METIS-119604, FMT-TESTING",
author = "G.J. Tretmans",
year = "1999",
month = "8",
doi = "10.1007/3-540-48320-9_6",
language = "Undefined",
isbn = "3-540-66425-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "46--65",
editor = "J.C.M. Baeten and S. Mauw",
booktitle = "CONCUR'99 - Concurrency Theory: 10th International Conference",

}

Tretmans, GJ 1999, Testing Concurrent Systems: A Formal Approach. in JCM Baeten & S Mauw (eds), CONCUR'99 - Concurrency Theory: 10th International Conference. Lecture Notes in Computer Science, vol. 1664, Springer, Berlin, pp. 46-65, 10th International Conference on Concurrency Theory, CONCUR 1999, Eindhoven, Netherlands, 24/08/99. https://doi.org/10.1007/3-540-48320-9_6

Testing Concurrent Systems: A Formal Approach. / Tretmans, G.J.

CONCUR'99 - Concurrency Theory: 10th International Conference. ed. / J.C.M. Baeten; S. Mauw. Berlin : Springer, 1999. p. 46-65 (Lecture Notes in Computer Science; Vol. 1664).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Testing Concurrent Systems: A Formal Approach

AU - Tretmans, G.J.

PY - 1999/8

Y1 - 1999/8

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

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

KW - EWI-6496

KW - IR-63307

KW - METIS-119604

KW - FMT-TESTING

U2 - 10.1007/3-540-48320-9_6

DO - 10.1007/3-540-48320-9_6

M3 - Conference contribution

SN - 3-540-66425-4

T3 - Lecture Notes in Computer Science

SP - 46

EP - 65

BT - CONCUR'99 - Concurrency Theory: 10th International Conference

A2 - Baeten, J.C.M.

A2 - Mauw, S.

PB - Springer

CY - Berlin

ER -

Tretmans GJ. Testing Concurrent Systems: A Formal Approach. In Baeten JCM, Mauw S, editors, CONCUR'99 - Concurrency Theory: 10th International Conference. Berlin: Springer. 1999. p. 46-65. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-48320-9_6