Independent Verification and Validation

Independent Verification and Validation
Author: Robert O. Lewis
Publisher: John Wiley & Sons
Total Pages: 388
Release: 1992-11-11
Genre: Computers
ISBN: 9780471570110

Download Independent Verification and Validation Book in PDF, Epub and Kindle

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.

Independent Verification and Validation of Software .

Independent Verification and Validation of Software .
Author: CreateSpace Independent Publishing Platform
Publisher: Createspace Independent Publishing Platform
Total Pages: 36
Release: 2018-07-16
Genre:
ISBN: 9781722900700

Download Independent Verification and Validation of Software . Book in PDF, Epub and Kindle

Independent verification and validation of software .

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
Total Pages: 207
Release: 1993-02-01
Genre: Science
ISBN: 030904880X

Download An Assessment of Space Shuttle Flight Software Development Processes Book in PDF, Epub and Kindle

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.

Independent Verification and Validation of Software

Independent Verification and Validation of Software
Author: United States. National Aeronautics and Space Administration. Office of Inspector General
Publisher:
Total Pages: 18
Release: 2003
Genre: Computer software
ISBN:

Download Independent Verification and Validation of Software Book in PDF, Epub and Kindle

Software Independent Verification and Validation (SIV & V) Simplified

Software Independent Verification and Validation (SIV & V) Simplified
Author:
Publisher:
Total Pages: 115
Release: 2006
Genre: Computer-aided software engineering
ISBN:

Download Software Independent Verification and Validation (SIV & V) Simplified Book in PDF, Epub and Kindle

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
Total Pages: 443
Release: 2007-01-01
Genre: Computers
ISBN: 1591408512

Download Verification, Validation and Testing in Software Engineering Book in PDF, Epub and Kindle

"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:
Total Pages: 99
Release: 1992
Genre:
ISBN:

Download Independent Verification and Validation of Large Software Requirement Specification Databases Book in PDF, Epub and Kindle

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.