An approach to software reliability prediction and quality control

The increase in importance of software in command and control and other complex systems has not been accompanied by commensurate progress in the development of analytical techniques for the measurement of software quality and the prediction of software reliability. This paper presents a rationale for implementing software reliability programs; defines software reliability; and describes some of the problems of performing software reliability analysis. A software reliability program is outlined and a methodology for reliability prediction and quality control is presented. The results of initial efforts to develop a software reliability methodology at the Naval Electronics Laboratory Center are reported.

[1]  James C. King,et al.  Proving Programs to be Correct , 1971, IEEE Transactions on Computers.

[2]  William J. Cody,et al.  Performance testing of function subroutines , 1899, AFIPS '69 (Spring).

[3]  Henry C. Lucas,et al.  Performance Evaluation and Monitoring , 1971, CSUR.

[4]  Normam F. Schneidewind A Methodology for Software Reliability Prediction and Quality Control , 1972 .

[5]  Robert Balzer,et al.  EXDAMS: extendable debugging and monitoring system , 1969, AFIPS '69 (Spring).

[6]  Karl N. Levitt,et al.  Software Reliability , 1971, Computer.

[7]  Z. Jelinski,et al.  Software reliability Research , 1972, Statistical Computer Performance Evaluation.

[8]  Raymond J. Rubey,et al.  Quantitative measurement of program quality , 1968, ACM '68.