| タイトル | The Infeasibility of Experimental Quantification of Life-Critical Software Reliability |
| 本文（外部サイト） | http://hdl.handle.net/2060/20040139297 |
| 著者（英） | Butler, Ricky W.; Finelli, George B. |
| 著者所属（英） | NASA Langley Research Center |
| 発行日 | 1991-01-01 |
| 言語 | eng |
| 内容記述 | 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. |
| NASA分類 | Computer Programming and Software |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/87754 |
