Independent verification and validation of large software requirement specification databases

Thumbnail image of item number 1 in: 'Independent verification and validation of large software requirement specification databases'.
Thumbnail image of item number 2 in: 'Independent verification and validation of large software requirement specification databases'.
Thumbnail image of item number 3 in: 'Independent verification and validation of large software requirement specification databases'.
Thumbnail image of item number 4 in: 'Independent verification and validation of large software requirement specification databases'.
Showing 1-4 of 101 pages in this document.

PDF Version Also Available for Download.

Description

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 … continued below

Physical Description

99 p.

Creation Information

Twitchell, K. E. April 1, 1992.

Context

This thesis or dissertation is part of the collection entitled: Office of Scientific & Technical Information Technical Reports and was provided by the UNT Libraries Government Documents Department to the UNT Digital Library, a digital repository hosted by the UNT Libraries. More information about this document can be viewed below.

Who

People and organizations associated with either the creation of this thesis or dissertation or its content.

Author

Sponsor

Publisher

  • EG & G Idaho
    Publisher Info: EG and G Idaho, Inc., Idaho Falls, ID (United States)
    Place of Publication: Idaho Falls, Idaho

Provided By

UNT Libraries Government Documents Department

Serving as both a federal and a state depository library, the UNT Libraries Government Documents Department maintains millions of items in a variety of formats. The department is a member of the FDLP Content Partnerships Program and an Affiliated Archive of the National Archives.

About | Browse this Partner

Contact Us

Corrections Questions

What

Descriptive information to help identify this thesis or dissertation. Follow the links below to find similar items on the Digital Library.

Description

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.

Physical Description

99 p.

Notes

OSTI; NTIS; GPO Dep.

Source

  • Other Information: TH: Thesis (M.S.)

Language

Item Type

Identifier

Unique identifying numbers for this document in the Digital Library or other systems.

Collections

This document is part of the following collection of related materials.

Office of Scientific & Technical Information Technical Reports

Reports, articles and other documents harvested from the Office of Scientific and Technical Information.

Office of Scientific and Technical Information (OSTI) is the Department of Energy (DOE) office that collects, preserves, and disseminates DOE-sponsored research and development (R&D) results that are the outcomes of R&D projects or other funded activities at DOE labs and facilities nationwide and grantees at universities and other institutions.

About | Browse this Collection

What responsibilities do I have when using this thesis or dissertation?

Digital Files

When

Dates and time periods associated with this thesis or dissertation.

Creation Date

  • April 1, 1992

Added to The UNT Digital Library

  • Nov. 28, 2018, 2:33 p.m.

Description Last Updated

  • Dec. 4, 2018, 4:41 p.m.

Usage Statistics

When was this document last used?

Yesterday: 0
Past 30 days: 0
Total Uses: 7
More Statistics

Interact With This Thesis Or Dissertation

Here are some suggestions for what to do next.

Start Reading

Thumbnail image of item number 1 in: 'Independent verification and validation of large software requirement specification databases'.
Thumbnail image of item number 2 in: 'Independent verification and validation of large software requirement specification databases'.
Thumbnail image of item number 3 in: 'Independent verification and validation of large software requirement specification databases'.
Thumbnail image of item number 4 in: 'Independent verification and validation of large software requirement specification databases'.

PDF Version Also Available for Download.

Citations, Rights, Re-Use

International Image Interoperability Framework

IIF Logo

We support the IIIF Presentation API

Links for Robots

Helpful links in machine-readable formats.

Archival Resource Key (ARK)

International Image Interoperability Framework (IIIF)

Metadata Formats

Images

URLs

Stats

Twitchell, K. E. Independent verification and validation of large software requirement specification databases, thesis or dissertation, April 1, 1992; Idaho Falls, Idaho. (https://digital.library.unt.edu/ark:/67531/metadc1338281/: accessed May 15, 2024), University of North Texas Libraries, UNT Digital Library, https://digital.library.unt.edu; crediting UNT Libraries Government Documents Department.

Back to Top of Screen