Verification and Validation of Modern Software-Intensive Systems

Innovative V&V strategies for the hottest new technologies We depend on complex software systems throughout our daily lives, from banking to communications to transportation to medicine. To keep them reliably failure-free, verification and validation methods must be adapted from their roots in the defense and aerospace industries to meet the needs of today's ubiquitous software systems. Verification and Validation of Modern Software-Intensive Systems brings the classic approaches up to date to apply them to contemporary computing methods. Based on the latest standards and research, the authors cover V&V for areas that have not been previously treated collectively, including: *Client/server networks, Internet and intranet applications *Object orientation, knowledge-based systems, and rapid application development *Data warehousing *Graphical User Interface (GUI) development, usability Development processes are also incorporated into the V&V methodology, with an emphasis on the most common life cycle models, the use of CASE tools, and project management using Integrated Product Teams. Case studies offer real-life examples of V&V at work.Much more than just testing or quality assurance,Verification and Validation of Modern Software-Intensive Systems offers a comprehensive and up-to-date guide to complete software reliability.

G. Gordon Schulmeyer has taught Software Verification and Validation at major universities. The founder of PYXIS Systems International (www.pyxisinc.com), he has more than thirty years of experience in software testing, quality, and V&V, and is the author of numerous books in his field.

Garth R. MacKenzie also taught Software Verification and Validation and CASE Tools at a major university. Since 1967, he has been active in software engineering and engineering process improvement for systems in avionics, airborne surveillance, command and control systems, and transportation management.