Back to Search
ISBN 9798662716834 is currently unpriced. Please contact us for pricing.
Available options are listed below:

Quantitative Measures for Software Independent Verification and Validation

AUTHOR Nasa, National Aeronautics and Space Adm
PUBLISHER Independently Published (06/30/2020)
PRODUCT TYPE Paperback (Paperback)

Description
As software is maintained or reused, it undergoes an evolution which tends to increase the overall complexity of the code. To understand the effects of this, we brought in statistics experts and leading researchers in software complexity, reliability, and their interrelationships. These experts' project has resulted in our ability to statistically correlate specific code complexity attributes, in orthogonal domains, to errors found over time in the HAL/S flight software which flies in the Space Shuttle. Although only a prototype-tools experiment, the result of this research appears to be extendable to all other NASA software, given appropriate data similar to that logged for the Shuttle onboard software. Our research has demonstrated that a more complete domain coverage can be mathematically demonstrated with the approach we have applied, thereby ensuring full insight into the cause-and-effects relationship between the complexity of a software system and the fault density of that system. By applying the operational profile we can characterize the dynamic effects of software path complexity under this same approach We now have the ability to measure specific attributes which have been statistically demonstrated to correlate to increased error probability, and to know which actions to take, for each complexity domain. Shuttle software verifiers can now monitor the changes in the software complexity, assess the added or decreased risk of software faults in modified code, and determine necessary corrections. The reports, tool documentation, user's guides, and new approach that have resulted from this research effort represent advances in the state of the art of software quality and reliability assurance. Details describing how to apply this technique to other NASA code are contained in this document. Lee, Alice Johnson Space Center NASA-TP-3634, NAS 1.60:3634, S-811 RTOP 323-88-02-01 35400 PROGRAM VERIFICATION (COMPUTERS); APPLICATIONS PROGRAMS (COMPUTERS); AIRBORNE/SPACEBORNE COMPUTERS; SOFTWARE RELIABILITY; RELIABILITY ANALYSIS; SOFTWARE ENGINEERING; HAL/S (LANGUAGE); SPACE SHUTTLES; ERROR ANALYSIS; RISK; QUALITY CONTROL; USER MANUALS (COMPUTER PROGRAMS); NASA PROGRAMS; SOFTWARE REUSE; STATISTICAL ANALYSIS; FAULT DETECTION
Show More
Product Format
Product Details
ISBN-13: 9798662716834
Binding: Paperback or Softback (Trade Paperback (Us))
Content Language: English
More Product Details
Page Count: 184
Carton Quantity: 21
Product Dimensions: 8.50 x 0.39 x 11.02 inches
Weight: 0.97 pound(s)
Country of Origin: US
Subject Information
BISAC Categories
Science | Space Science - General
Descriptions, Reviews, Etc.
publisher marketing
As software is maintained or reused, it undergoes an evolution which tends to increase the overall complexity of the code. To understand the effects of this, we brought in statistics experts and leading researchers in software complexity, reliability, and their interrelationships. These experts' project has resulted in our ability to statistically correlate specific code complexity attributes, in orthogonal domains, to errors found over time in the HAL/S flight software which flies in the Space Shuttle. Although only a prototype-tools experiment, the result of this research appears to be extendable to all other NASA software, given appropriate data similar to that logged for the Shuttle onboard software. Our research has demonstrated that a more complete domain coverage can be mathematically demonstrated with the approach we have applied, thereby ensuring full insight into the cause-and-effects relationship between the complexity of a software system and the fault density of that system. By applying the operational profile we can characterize the dynamic effects of software path complexity under this same approach We now have the ability to measure specific attributes which have been statistically demonstrated to correlate to increased error probability, and to know which actions to take, for each complexity domain. Shuttle software verifiers can now monitor the changes in the software complexity, assess the added or decreased risk of software faults in modified code, and determine necessary corrections. The reports, tool documentation, user's guides, and new approach that have resulted from this research effort represent advances in the state of the art of software quality and reliability assurance. Details describing how to apply this technique to other NASA code are contained in this document. Lee, Alice Johnson Space Center NASA-TP-3634, NAS 1.60:3634, S-811 RTOP 323-88-02-01 35400 PROGRAM VERIFICATION (COMPUTERS); APPLICATIONS PROGRAMS (COMPUTERS); AIRBORNE/SPACEBORNE COMPUTERS; SOFTWARE RELIABILITY; RELIABILITY ANALYSIS; SOFTWARE ENGINEERING; HAL/S (LANGUAGE); SPACE SHUTTLES; ERROR ANALYSIS; RISK; QUALITY CONTROL; USER MANUALS (COMPUTER PROGRAMS); NASA PROGRAMS; SOFTWARE REUSE; STATISTICAL ANALYSIS; FAULT DETECTION
Show More
Paperback