An analysis of recurrent software errors in a real-time control system

Proceedings of the 1978 Annual Conference, ACM 1978

Volumn , Issue , 1978, Pages 496-501

  Goel, Amrit L ^a   Okumoto, Kazu ^a  

^a SYRACUSE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

REAL TIME CONTROL; COMPUTER PROGRAMMING LANGUAGES - PROGRAM DEBUGGING;

IMPERFECT DEBUGGING; JOINT CONFIDENCE; LARGE-SCALE SOFTWARE PROJECTS; MODEL PARAMETERS; OBSERVED VALUES; SOFTWARE ERRORS;

PROGRAM DEBUGGING; COMPUTER PROGRAMMING;

EID: 0018156250     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800127.804160     Document Type: Conference Paper

References (9)

1. Goel, A. L. and Okumoto, K. (1978), "An Imperfect Debugging Model for Reliability and Other Quantitative Measures of Software Systems", Technical Report, No. 78-1, Dept. of IE & OR, Syracuse University.
2. Jelinski, J. and Moranda, P. B. (1972), "Software Reliability Research", in Statistical Computer Performance Evaluation, edited by W. Frieberger, Academic Press.
3. Littlewood, B. and Verrall, J. L. (1973), "A Bayesian Reliability Growth Model for Computer Software", Appl. Statist., Vol. 22, pp. 332-346.
4. Miyamoto, I. (1975), "Software Reliability in One-line Real Time Environment", Proceedings: 1975 International Conference on Reliable Software, pp. 194-203.
5. Musa, J. D. (1975), "A Theory of Software Reliability and its Application", IEEE Trans, on Software Engineering, Vol. SE-1, No. 3, p. 312-327
6. Schick, G. J. and Wolverton, R. W. (1972), "Assessment of Software Reliability, McDonnel-Douglas Astronautics Company Paper WD1872.
7. Shooman, M. L. (1972), "Probabilistic Models for Software Reliability Prediction", Statistical Computer Performance Evaluation, Academic Press, New York, pp. 485-502.
8. Thayer, T. A. et al. (1976), "Software Reliability Study", TRW Defense & Space Systems Group, Final Technical Report RADC-TR-76-238, August 1976.
9. Willman, H. E., Jr., et al, (1977), "Software Systems Reliability: A Raytheon Project History", Raytheon Co., Final Technical Report, RADC-TR-77-188.