Making statistical inferences about software reliabilityFailure times of software undergoing random debugging can be modeled as order statistics of independent but nonidentically distributed exponential random variables. Using this model inferences can be made about current reliability and, if debugging continues, future reliability. This model also shows the difficulty inherent in statistical verification of very highly reliable software such as that used by digital avionics in commercial aircraft.
Document ID
19880031298
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Miller, Douglas R. (George Washington University Washington, DC, United States)