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  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.
|Number of pages||16|
|Publication status||Published - 1996|
|Event||COST 247 International Workshop on Applied Formal Methods in System Design 1996 - Maribor, Slovenia|
Duration: 17 Jun 1996 → 19 Jun 1996
|Workshop||COST 247 International Workshop on Applied Formal Methods in System Design 1996|
|Period||17/06/96 → 19/06/96|