Loading...
Please wait, while we are loading the content...
Similar Documents
The infeasibility of experimental quantification of life-critical software reliability
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Butler, Ricky W. Finelli, George B. |
| Copyright Year | 1991 |
| Description | This paper affirms that quantification of life-critical software reliability is infeasible using statistical methods whether applied to standard software or fault-tolerant software. The key assumption of software fault tolerance|separately programmed versions fail independently|is shown to be problematic. This assumption cannot be justified by experimentation in the ultra-reliability region and subjective arguments in its favor are not sufficiently strong to justify it as an axiom. Also, the implications of the recent multi-version software experiments support this affirmation. |
| File Size | 200813 |
| Page Count | 11 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20040139297 |
| Archival Resource Key | ark:/13960/t8md3v03n |
| Language | English |
| Publisher Date | 1991-01-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Extrapolation Computer Program Integrity Fault Tolerance Statistical Analysis Error Analysis Mathematical Models Applications Programs Computers Software Reliability Computer Systems Programs Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |
