Testing Concurrent Systems: A Formal Approach

G.J. Tretmans

doi:10.1007/3-540-48320-9_6

Testing Concurrent Systems: A Formal Approach

G.J. Tretmans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

168 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 language	Undefined
Title of host publication	CONCUR'99 - Concurrency Theory: 10th International Conference
Editors	J.C.M. Baeten, S. Mauw
Place of Publication	Berlin
Publisher	Springer
Pages	46-65
Number of pages	20
ISBN (Print)	3-540-66425-4
DOIs	https://doi.org/10.1007/3-540-48320-9_6
Publication status	Published - Aug 1999
Event	10th International Conference on Concurrency Theory, CONCUR 1999 - Eindhoven, Netherlands Duration: 24 Aug 1999 → 27 Aug 1999 Conference number: 10

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	1664

Conference

Conference	10th International Conference on Concurrency Theory, CONCUR 1999
Abbreviated title	CONCUR
Country/Territory	Netherlands
City	Eindhoven
Period	24/08/99 → 27/08/99

Keywords

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

Access to Document

10.1007/3-540-48320-9_6

Cite this

@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 = aug,

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",

address = "Netherlands",

note = "null ; Conference date: 24-08-1999 Through 27-08-1999",

}

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

TY - GEN

T1 - Testing Concurrent Systems: A Formal Approach

AU - Tretmans, G.J.

N1 - Conference code: 10

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

Y2 - 24 August 1999 through 27 August 1999

ER -