|Final Report of the COST-247 Action|
TESTING THEORY IN PRACTICE: A SIMPLE EXPERIMENT
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: email@example.com , firstname.lastname@example.org , email@example.com|
|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.