Software Verification and Validation

This book is an in-depth technical reference providing methods and techniques for building and maintaining confidence in system software, helping to answer such critical questions as: 1) Are we building the right software? and 2) Are we building the software right?

This book fills the critical need for in-depth technical reference providing the methods and techniques for maintaining confidence in many varieties of system software. In today's technological marketplace, not only are governments more focused on software safety, but private industry and academia are as well. The means for testing and ensuring reliability and safety in mission critical software is commonly termed software verification and validation. This is a book for technical professionals who must perform software verification and validation on high-fidelity systems. The intent is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? and 2) Are we building the software right? Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry. The book is also suitable as a secondary textbook for advanced-level students in computer science and engineering.

Defines the structures that need to be put in place to manage the risks and issues that are discovered over the course of a verification and validation project Defines the communication structures needed to successfully explain the technical results and concerns that the verification and validation teams have discovered

Texte du rabat

The World is lacking an in-depth technical book describing the methods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in today's market, but private industry and academia are as well. The methods and techniques that provide such confidence are commonly called software verification and validation.

Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varieties of system software. The intent of this volume is to help develop reliable answers to such critical questions as:

1) Are we building the right software for the need?

2) Are we building the software right?

Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry. This book is also suitable as a secondary textbook for advanced-level students in computer science and engineering.

Résumé
The World is lacking an in-depth technical book describing the meth­ ods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in to­ day's market, but private industry and academia are as well. The methods and techniques that provide such confidence are commonly called software verification and validation. Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need for an in-depth tech­ nical reference providing the methods and techniques for building and maintaining confidence in many varieties of system software. The intent of this volume is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? 2) Are we building the software right? Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry.

Contenu
Preface.- Introduction.- Managing Verification and Validation.- The Axioms of Leadership.- Planning.- Managing the Plan.- Risk Management.- Communication Structures.- Risks and Issue Management.- Communication Structures.- The Verification and Validation Life Cycle.- Traceability Analysis.- Interface Analysis.- Phase Dependent Analysis.- V&V Testing.- Systems Verification and Validation.- Index.