Generation Of Software Tests From Specifications
Ivor T. A. Spence, Christophe Meudec · WIT transactions on information and communication technologies · 1970
Thorough testing is widely acknowledged to be a very expensive part of the software development process. The conventional method of constructing and executing tests for software systems is contrasted with automatic techniques which generate and execute tests derived from the software under test and/or from its formal specification. We present a review of techniques which are currently being used or developed for generating tests, and discuss the approach which we are using.