Verification and Validation of Modern Software-Intensive Systems - Softcover

Schulmeyer, G. Gordon; Mackenzie, Garth R.

Softcover

ISBN 10: 0130205842 ISBN 13: 9780130205841

Publisher: Pearson College Div, 2000

Synopsis

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.

About this title

About the Author

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.

From the Back Cover

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.

Edition details

• Publisher: Pearson College Div
• Publication date: 2000
• Language: English
• ISBN 10: 0130205842
• ISBN 13: 9780130205841
• Binding: Paperback
• Edition number: 1
• Number of pages: 384