Software Verification and Validation (eBook)

An Engineering and Scientific Approach
eBook Download: PDF
2007 | 2007
X, 172 Seiten
Springer US (Verlag)
978-0-387-47939-2 (ISBN)

Lese- und Medienproben

Software Verification and Validation - Marcus S. Fisher
Systemvoraussetzungen
90,94 inkl. MwSt
  • Download sofort lieferbar
  • Zahlungsarten anzeigen

This book fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varities of system software. 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.


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.

Contents 5
Preface 6
Acknowledgments 7
Chapter 1: Introduction 8
Chapter 2: Managing Verification and Validation 14
Section 2.1 The Axioms of Leadership 15
Section 2.2 Planning 27
Section 2.3 Managing the Plan 61
Section 2.4 Risk Management 75
Section 2.5 Communication Structures 85
References 90
Chapter 3: The Verification and Validation Life Cycle 91
Section 3.1 Traceability Analysis 95
Section 3.2 Interface Analysis 112
Section 3.3 Phase Dependent Analysis 127
Section 3.4. V& V Testing
References 160
Chapter 4: Systems V& V
Appendix A 169
Index 176

Erscheint lt. Verlag 3.12.2007
Zusatzinfo X, 172 p. 20 illus.
Verlagsort New York
Sprache englisch
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Informatik Software Entwicklung Qualität / Testen
Informatik Theorie / Studium Künstliche Intelligenz / Robotik
Schlagworte Approach • Communication • Engineering • Fisher • Interface • Risk Management • Scientific • Software • Software Verification • Validation • verification
ISBN-10 0-387-47939-2 / 0387479392
ISBN-13 978-0-387-47939-2 / 9780387479392
Haben Sie eine Frage zum Produkt?
PDFPDF (Wasserzeichen)
Größe: 12,8 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasser­zeichen und ist damit für Sie persona­lisiert. Bei einer missbräuch­lichen Weiter­gabe des eBooks an Dritte ist eine Rück­ver­folgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
A practical guide to automating repetitive tasks and streamlining …

von Michael Kaufmann

eBook Download (2024)
Packt Publishing (Verlag)
28,79