|
| 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: tretmans@cs.utwente.nl , pires@cs.utwente.nl , heerink@cs.utwente.nl |
| 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