Validation, Verification, And Testing Of Computer Software, Issues 500-575 - Softcover

W. Richards Adrion; Martha A. Branstad; John C. Cherniavsky

 
9780461898019: Validation, Verification, And Testing Of Computer Software, Issues 500-575

Synopsis

Validation, Validation, And Testing Of Computer Software, Issues 500-575 by W. Richards Adrion, Martha A. Branstad, and John C. Cherniavsky. This National Bureau of Standards publication surveys testing and analysis techniques used to validate software and instill confidence in the programming product, with emphasis on verification throughout the development lifecycle. It defines key terms (validation, verification, testing, proof of correctness) and discusses interactions among quality attributes such as reliability, usability, and maintainability. The book surveys general verification techniques (desk checking, walkthroughs, inspections, design reviews, simulation, and proof), test data generation (functional and structural approaches, boundary value analysis, and mutation analysis), static analysis (data and control flow, symbolic execution), dynamic analysis, and combined methods. It also covers test support tools, test documentation, and regression testing, and argues for integrating validation into the requirements and design phases. Although focused on medium to large projects, the techniques have broad applicability for improving software quality.

"synopsis" may belong to another edition of this title.