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.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LX-9780461898019
Quantity: 15 available
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Paperback. Condition: New. New copy - Usually dispatched within 4 working days. Seller Inventory # B9780461898019
Quantity: Over 20 available
Seller: moluna, Greven, Germany
Condition: New. KlappentextrnrnThis is a reproduction of the original artefact. Generally these books are created from careful scans of the original. This allows us to preserve the book accurately and present it in the way the author intended. Since the origina. Seller Inventory # 2145215535
Quantity: Over 20 available