Testing theory in practice: a simple experiment
R. Terpstra, Zmago Brezočnik, Timotej Kapus, Luís Ferreira Pires, A.W. Heerink, G.J. Tretmans · University of Twente Research Information · 1996
In this paper we discuss the experiences gainedin conducting a simple testing experiment. The goal of this experiment is to apply the abstract, formal testing framework #Formal Methods in Conformance Testing " #8# 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 executedbya tester against concrete implementations, thereby giving an indication about the correctness of these implementations.