Author(s)

I. Spence & C. Meudec

Abstract

Generation of software tests from specifications I. Spence & C. Meudec Department of Computer Science, The Queen's University of Belfast, University Road, Belfast, ABSTRACT 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. INTRODUCTION In spite of the greatest care being taken during the specification, design and development of any product it is rarely disputed that confidence in the end result can and should be increased by trial use prior to general release and widespread use. For software systems this trial use, or testing, can serve two purposes, d

Keywords