Relating Test Purposes to Formal Specifications: Towards a Theoretical Foundation of Practical Testing

Jens Grabowski, Dieter Hogrefe, Robert Nahm, Andreas Spichiger

Abstract

The problems of current theoretical foundations of testing are its constraint to Finite State Machines (FSMs) and its inability to be related to real black box testing. In this paper we give a theoretical foundation of practical testing. This foundation also implies a test methodology. A test generation tool which is based on this methodology will be presented at the end.
Document Type: 
Technical Reports
Institution: 
Institute for Informatics, University of Berne
Address: 
Berne, Switzerland
Month: 
6
Year: 
1993
Note: 
Technical Report IAM-93-014
2024 © Software Engineering For Distributed Systems Group

Main menu 2