Testing Concurrent Systems: A Formal Approach

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.

• Type: Conference
• Year: 1999
• Where: CONCUR
• Authors: Jan Tretmans
• Keywords: CONCUR 1999, Distributed And Parallel Computing, Formal Methods, Test Derivation, Test Derivation Algorithm