Testing Concurrent Systems: A Formal Approach [chapter]

Jan Tretmans
1999 Lecture Notes in Computer Science  
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.
doi:10.1007/3-540-48320-9_6 fatcat:p5immsyol5gkxhcndk7tlb7wnq