Formal Methods and Conformance Testing - or - What are we testing anyway?

Jens Grabowski, Stefan Heymer

Abstract

In this paper, we will show the correlation between the notion of implementation relations known from formal methods and ideas of conformance testing. We will show that the implementation relations realized through the practical testing of systems come from a family of parameterized implementation relations. We will also show that for glass box testing, implementation relations parameterized by test purposes converge to the may-testing preorder of DeNicola and Hennessy, while for black box testing, implementation relations parameterized by test cases converge to a may-testing preorder of the behavior visible at the interface to the environment.
Document Type: 
Articles in Conference Proceedings
Booktitle: 
Formale Beschreibungstechniken für verteilte Systeme
Series: 
FBT'98
Address: 
Aachen, Germany
Publisher: 
Shaker Verlag
Month: 
6
Year: 
1998
File: 
2011 © Software Engineering For Distributed Systems Group

Main menu 2