NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
software testability and its application to avionic softwareRandomly generated black-box testing is an established yet controversial method of estimating software reliability. Unfortunately, as software applications have required higher reliabilities, practical difficulties with black-box testing have become increasingly problematic. These practical problems are particularly acute in life-critical avionics software, where requirements of 10 exp -7 failures per hour of system reliability can translate into a probability of failure (POF) of perhaps 10 exp -9 or less for each individual execution of the software. This paper describes the application of one type of testability analysis called 'sensitivity analysis' to B-737 avionics software; one application of sensitivity analysis is to quantify whether software testing is capable of detecting faults in a particular program and thus whether we can be confident that a tested program is not hiding faults. We so 80 by finding the testabilities of the individual statements of the program, and then use those statement testabilities to find the testabilities of the functions and modules. For the B-737 system we analyzed, we were able to isolate those functions that are more prone to hide errors during system/reliability testing.
Document ID
19940034807
Document Type
Conference Paper
Authors
Voas, Jeffrey M.
(RST Corp. Reston, VA, United States)
Miller, Keith W.
(Sangamon State Univ. Springfield, IL, United States)
Payne, Jeffery E.
(RST Corp. Reston, VA, United States)
Date Acquired
August 16, 2013
Publication Date
January 1, 1993
Publication Information
Publication: In: AIAA Computing in Aerospace Conference, 9th, San Diego, CA, Oct. 19-21, 1993, Technical Papers. Pt. 1 (A94-11401 01-62)
Subject Category
COMPUTER PROGRAMMING AND SOFTWARE
Report/Patent Number
AIAA PAPER 93-4542
Funding Number(s)
CONTRACT_GRANT: NAG1-884
Distribution Limits
Public
Copyright
Other