Software Validation and Pre-Implementation Issues

During the past few years, increasing attention has been focused on the development of automated tools and systematic techniques for software validation. The benefits of automated tools and systematic techniques include better product quality, and increased productivity and job satisfaction for the user. This paper surveys recent developments in software validation, with a view toward the relationship between validation tools and techniques and the pre-implementation phases of software development.