Testing theory in practice: a simple experiment


Terpstra, R. and Ferreira Pires, L. and Heerink, A.W. and Tretmans, G.J. (1996) Testing theory in practice: a simple experiment. In: COST 247 International Workshop on Applied Formal Methods in System Design, 17-19 Jun 1996, Maribor, Slovenia (pp. pp. 168-183).

open access
Abstract: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 [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 executed by a tester against concrete implementations, thereby giving an indication about the correctness of these implementations.
Item Type:Conference or Workshop Item
Additional information:Imported from research group ASNA (ID number 241)
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66782
Official URL:http://lms.uni-mb.si/cost247/proc/
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page