Verification and Validation of Modern Software Systems

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.

1. Introduction.
2. Processes, Models and Standards.
3. Tools and Methodologies.
4. Documentation.
5. Metrics.
6. Object Oriented (OO) Methods.
7. Rapid Application Development (RAD).
8. Graphical User Interface (GUI) Development—Usability.
9. Client / Server Networks.
10. Knowledge Based Systems (KBS).
11. Internet and Intranet.
12. Data Warehousing.
13. Project Management.
14. Risk Management.
15. Integrated Product Teams (IPTs).
16. Conclusion / Future Trends.
Appendix A: Case Studies.
Appendix B: Acronyms.
Index.