next up previous

Final Report of the COST-247 Action


Rinke Terpstra, Luis Ferreira Pires, Lex Heerink, and Jan Tretmans

Tele-Informatics and Open Systems Group
Department of Computer Science
University of Twente
P.O. Box 217
7500 AE Enschede, The Netherlands
email: , ,
tel: +31 53 489 4287
fax: +31 53 489 3247


In this paper we discuss the experiences gained in conducting a simple testing experiment. The goal of this experiment is to apply the abstract, formal testing framework ``Formal Methods in Conformance Testing'' in a practical setting, and to indicate the critical aspects in its application to realistic testing situations. For that purpose a formal description of the system under test (SUT) is made from which tests are systematically derived. These tests are interpreted and executed by a tester against concrete implementations, thereby giving an indication about the correctness of these implementations.

This presentation has been given during the COST-247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia, June 17--19, 1996).

COST-247 Working Group(s): 3

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page