Experiments in Software Reliability: Life-Critical Applications

IEEE Transactions on Software Engineering

Volumn SE-12, Issue 1, 1986, Pages 110-123

  Dunham, Janet R ^a  

^a RTI INTERNATIONAL   (United States)

Author keywords

experiments; Life critical software; real time software; software; software modeling and measurement; software reliability

Indexed keywords

COMPUTER SYSTEMS, DIGITAL - FAULT TOLERANT CAPABILITY;

LIFE-THREATENING RISKS; PROGRAM ERROR RATES;

COMPUTER SOFTWARE;

EID: 0022582186     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1986.6312925     Document Type: Article

References (29)

1. J. R. Dunham and J. C. Knight, Eds., “Production of reliable flight crucial software: Validation method research for fault-tolerant avionics and control systems sub-working-group meeting,” NASA Conf. Pub. 2222, NASA, 1982.
2. T. Anderson and P. A. Lee, Fault Tolerance Principles and Practice, Computing Lab. Univ. Newcastle Upon Tyne, England. London, England: Prentice-Hall International, 1981.
3. J. R. Garman, “The “Bug” heard round the world,” Software Eng. Notes, ACM Sigsoft, vol. 6, pp. 3–10, Oct. 1981.
4. D. P. Siewiorek and R. S. Swarz, The Theory and Practice of Reliable System Design, Digital Equipment Corp., Bedford, MA, 1982.
5. E. H. Forman and N. D. Singpurwalla, “An empirical stopping rule for debugging and testing computer software,” J. Amer. Statist. Ass., vol. 72, pp. 750–757, Dec. 1977.
6. Z. Jelinski and P. B. Moranda, “Software reliability research,” in Statistical Computer Performance Evaluation, W. Freiberger, Ed. New York: Academic, 1972, pp. 465–484.
7. K. G. Wilkinson and M. L. Shooman, “Probabalistic models for software reliability prediction,” in Statistical Computer Performance Evaluation, W. Freiberger, Ed. New York: Academic, 1972, pp. 485–502.
8. A. L. Goel, “A guidebook for software reliability assessment,” Rome Air Development Center, Tech. Rep. 83–11, Apr. 1983.
9. E. N. Adams, Minimizing Cost Impact of Software Defects, IBM Thomas J. Watson Research Center, Yorktown Heights, NY, Apr. 1980.
10. P. N. Misra, “Software reliability analysis,” IBM Syst. J., vol. 22, pp. 262–270, 1983.
11. M. Ohba, “Software reliability analysis models,” IBM J. Res. Develop., vol. 28, pp. 428–443, July 1984.
12. D. R. Miller, “Some statistical issues in assurance of very highly reliable systems,” presented at the IEEE Computer Society Workshop on Laboratories for Reliable Systems Research (Abstract), Apr. 1983.
13. V. R. Basili and D. M. Weiss, “A methodology for collecting valid software engineering data,” Univ. Maryland, College Park, Comput. Sci. Tech. Rep. Series, TR-1235, Dec. 1982.
14. R. E. Brooks, “Studying program behavior experimentally: The problems of proper methodology,” Commun. ACM, vol. 23, pp. 207–213, Apr. 1980.
15. B. A. Sheil, “The psychological study of programming,” ACM Comput. Surveys, vol. 13, Mar. 1981.
16. T. Moher and G. M. Schneider, “Methods for improving controlled experimentation in software engineering,” Dep. Comput. Sci., Univ. Minnesota, Tech. Rep. 80–8, Feb. 1980.
17. J. R. Brown and H. N. Buchanan, TRW SDP 1776, TRW Systems Group, Redondo Beach, CA, 1973.
18. M. Nagel and J. A. Skrivan, “Software reliability: Repetitive run experimentation and modeling,” NASA-Langley Research Center, Hampton, VA, NASA CR-165836, Feb. 1982.
19. P. M. Nagel, F. W. Scholz, and J. A. Skrivan, “Software reliability: Additional investigations into modeling with replicated experiments,” NASA-Langley Research Center, Hampton, VA, NASA CR-16481, June 1984.
20. G. E. Migneault, “Emulation Applied to reliability analysis of recon-figurable, highly reliable, fault-tolerant computing systems,” in AGARD Conf. Proc., no. 261, 1980.
21. J. T. Murray et al., Machine Language Program, FSW, NH3500AN, Honeywell Avionics Division, Minneapolis, MN, June 1982.
22. W. F. Ingogly, “NASA software engineering experiment VAX/VMS command language primer,” RTI Res. Document, Research Triangle Institute, Oct. 1983.
23. W. F. Ingogly el al., “ N -VERSION SIMULATOR INTERFACE user’s guide version 1.0,” Research Triangle Institute, RTI Rep. 43U-2094-12a, Oct. 1983.
24. J. R. Dunham and J. L. Pierce, “An empirical study of flight control software reliability,” NASA-Langley Research Center, NASA CR—to be assigned, submitted Oct. 1985.
25. J. R. Dunham and J. L. Pierce, “An experiment in software reliability,” NASA-Langley Research Center, NASA CR-172553, Mar. 1985.
26. J. D. Musa and K. Okumoto, “A logarithmic poisson execution time model for software reliability measurement,” in 7th IEEE Int Conf. Software Eng., 1984, pp. 230–238.
27. D. R. Cox and P. A. W. Lewis, The Statistical Analysis of Series of Events. New York: Wiley, 1966.
28. B. Littlewood, P. A. Keiller, D. R. Miller, and A. Sofer, “On the quality of software reliability prediction,” in Electronic Systems Effectiveness and Life Cycle Costing, J. K. Skwirzynski, Ed. Berlin, Germany: Springer-Verlag, 1983.
29. R. R. Luman, “Practical Kalman filter software performance testing and validation,” IEEE Trans. Rel., vol. R-33, pp. 219–226, Aug. 1984.