Publisher's Synopsis
The quality of software bears directly on the success of applications in commerce, industry and the public sector. Efforts should be made to prove software for correctness (though there is much debate about what this entails). This book is concerned with software quality control, software testing and related topics.;After a brief discussion of the concept of "correctness", attention is given to such topics as the quality-assurance life cycle (essential though not yet a precise approach), analysis and design, features of correctness testing, current test methods, and options for the future.
