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 | |
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 | Netherlands |
City | Eindhoven |
Period | 24/08/99 → 27/08/99 |
Keywords
- EWI-6496
- IR-63307
- METIS-119604
- FMT-TESTING