Certifying the Reliability of Software

IEEE Transactions on Software Engineering

Volumn SE-12, Issue 1, 1986, Pages 3-11

  Currit, P Allen ^a   Dyer, Michael ^a   Mills, Harlan D ^a  

^a IBM   (United States)

Author keywords

Incremental development; software reliability certification; software reliability models; statistical quality control; statistical testing process

Indexed keywords

MATHEMATICAL STATISTICS;

LIFE CYCLE; MEAN TIME TO FAILURE;

COMPUTER SOFTWARE;

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

References (16)

1. R. C. Linger, H. D. Mills, and B. I. Witt, Structured Programming: Theory and Practice. Reading, MA: Addison-Wesley, 1979.
2. M. Dyer, R. C. Linger, H. D. Mills, D. O’Neill, and R. E. Quinnan, “The management of software engineering,” IBM Syst. J., vol. 19, no. 4, 1980.
3. J. W. Duran and S. Ntafos, “Report on Random Testing,” Univ. Texas, Dallas, Tech. Rep. 83, 1980.
4. J. W. Duran and J. J. Wiorkowski, “Quantifying software validity by sampling,” IEEE Trans. Rel., vol. R-29, June 1980.
5. E. N. Adams, “Minimizing cost impact of software defects,” IBM Res. Division, Rep. RC 8228 (35669), Apr. 11, 1980.
6. J. D. Musa, “A theory of software reliability and its application,” IEEE Trans. Software Eng., vol. SE-1, Sept. 1975.
7. Z. Jelinski and P. B. Moranda, “Software reliability research,” in Statistical Computer Performance Evaluation. New York: Academic, 1972.
8. B. Littlewood, “How to measure software reliability and how not to …,” in Proc. 3rd Int. Conf. Software Eng., IEEE, 1978.
9. P. M. Nagel and J. A. Skrivon, “Software reliability: Repetitive run experimentation and modeling,” Boeing Comput. Services Co., Seattle, WA, Rep. BCS-40399, Dec. 1981.
10. P. B. Moranda, “Prediction of software reliability during debugging,” in Proc. Annu. Rel. and Maintainability Symp. 1975.
11. C. V. Ramamoorthy and F. B. Bastani, “Software reliability—Status and perspectives,” IEEE Trans. Software Eng., vol. SE-8, July 1982.
12. S. Zacks, private communication.
13. A. Iannino, B. Littlewood, J. D. Musa, and K. Okumoto, “Criteria for software reliability model comparisons,” IEEE Trans. Software Eng., vol. SE-10, Nov. 1984.
14. B. Littlewood, “Stochastic reliability growth: A model for fault renovation computer programs and hardware designs,” IEEE Trans. Rel., vol. R-30 Oct. 1981.
15. B. Littlewood and J. L. Verrall, “A Bayesian reliability growth model for computer software,” Appl. Statist., vol. 22, no. 3, 1973.
16. J. G. Shanthikumar, “A statistical time dependent error occurrence rate software reliability model with imperfect debugging,” in Proc. 1981 Nat. Comput. Conf., June 1981.