Independent Verification and Validation
Independent Verification and Validation

Author: Robert O. Lewis

Publisher: John Wiley & Sons

Published: 1992-11-11

Total Pages: 388

ISBN-13: 9780471570110

DOWNLOAD EBOOK

Comprehensive and up-to-date, it covers the most vital part of software development, independent verification and validation. Presents a variety of methods that will ensure better quality, performance, cost and reliability of technical products and systems. Features numerous hints, tips and instructions for better interaction between verification and validation personnel, development engineers and managers. Includes 8 case histories ranging from major engineering systems through information systems. Many of the principles involved also apply to computer hardware as well as the fields of science and engineering.

An Assessment of Space Shuttle Flight Software Development Processes
An Assessment of Space Shuttle Flight Software Development Processes

Author: National Research Council

Publisher: National Academies Press

Published: 1993-02-01

Total Pages: 207

ISBN-13: 030904880X

DOWNLOAD EBOOK

Effective software is essential to the success and safety of the Space Shuttle, including its crew and its payloads. The on-board software continually monitors and controls critical systems throughout a Space Shuttle flight. At NASA's request, the committee convened to review the agency's flight software development processes and to recommend a number of ways those processes could be improved. This book, the result of the committee's study, evaluates the safety, oversight, and management functions that are implemented currently in the Space Shuttle program to ensure that the software is of the highest quality possible. Numerous recommendations are made regarding safety and management procedures, and a rationale is offered for continuing the Independent Verification and Validation effort that was instituted after the Challenger Accident.

Software Independent Verification and Validation (SIV & V) Simplified
Software Independent Verification and Validation (SIV & V) Simplified

Author:

Publisher:

Published: 2006

Total Pages: 115

ISBN-13:

DOWNLOAD EBOOK

SIV & V has been in existence for some 40 years, and many people still know little about its existence. Software IV & V certifies the quality of the software and independently validates and verifies that it meets or exceeds the customer[alpha]s expectations. Independent V & V for component or element software development activities encompasses the following: 1) review and thorough evaluations of the software development, 2) review and comment on software documentation, 3) participation in all software requirements and design reviews, and 4) participation in software integration and testing for each software build. This thesis will explore and explain the benefits and rationale for Software Independent Verification and Validation. It will identify SIV & V processes that are used to support acquisition weapon systems. [beta]SIV & V Simplified[gamma] will translate, into understandable terms, why SIV & V is considered [beta]Cheap Insurance[gamma] and why it is needed. Additionally, this thesis serves as a tutorial, providing suggested policy and guidance, suggested software Computer-Aided Software Engineering (CASE) tools, criteria, and lessons learned for implementing a successful SIV & V program.

Verification, Validation and Testing in Software Engineering
Verification, Validation and Testing in Software Engineering

Author: Aristides Dasso

Publisher: IGI Global

Published: 2007-01-01

Total Pages: 443

ISBN-13: 1591408512

DOWNLOAD EBOOK

"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications"--Provided by publisher.

Independent Verification and Validation of Large Software Requirement Specification Databases
Independent Verification and Validation of Large Software Requirement Specification Databases

Author:

Publisher:

Published: 1992

Total Pages: 99

ISBN-13:

DOWNLOAD EBOOK

To enhance quality, an independent verification and validation (IV & V) review is conducted as software requirements are defined. Requirements are inspected for consistency and completeness. IV & V strives to detect defects early in the software development life cycle and to prevent problems before they occur. The IV & V review process of a massive software requirements specification, the Reserve Component Automation System (RCAS) Functional Description (FD) is explored. Analysis of the RCAS FD error history determined that there are no predictors of errors. The size of the FD mandates electronic analysis of the databases. Software which successfully performs automated consistency and completeness checks is discussed. The process of verifying the quality of analysis software is described. The use of intuitive ad hoc techniques, in addition to the automatic analysis of the databases, is required because of the varying content of the requirements databases. The ad hoc investigation process is discussed. Case studies are provided to illustrate how the process works. This thesis demonstrates that it is possible to perform an IV & V review on a massive software requirements specification. Automatic analysis enables inspecting for completeness and consistency. The work with the RCAS FD clearly indicates that the IV & V review process is not static; it must continually grow, adapt, and change as conditions warrant. The ad hoc investigation process provides this required flexibility This process also analyzes errors discovered by manual review and automatic processing. The analysis results in the development of new algorithms and the addition of new programs to the automatic inspection software.