A Survey of Microprocessor Software Reliability with an Illustrative Example

The paper is an attempt to provide a brief survey of the present state-of-the-art for teachers of computer technology. Coverage includes criteria for achieving reliable software, program testing and path testing. The final section provides a practical example of the implementation of the recommended path-testing methodology.

[1]  Isao Miyamoto,et al.  Toward an effective software reliability evaluation , 1978, ICSE '78.

[2]  Norman F. Schneidewind,et al.  Analysis of error processes in computer software , 1975, Reliable Software.

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

[4]  John L. Hilburn,et al.  Microcomputers/Microprocessors: Hardware, Software, and Applications , 1978, IEEE Transactions on Systems, Man, and Cybernetics.

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

[6]  Richard J. Lipton,et al.  Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.

[7]  Brian Randell,et al.  System structure for software fault tolerance , 1975, IEEE Transactions on Software Engineering.

[8]  John D. Musa,et al.  A theory of software reliability and its application , 1975, IEEE Transactions on Software Engineering.

[9]  S. L. Gerhart,et al.  Toward a theory of test data selection , 1975, IEEE Transactions on Software Engineering.

[10]  Andris Zarins,et al.  SMOTL - A System to Construct Samples for Data Processing Program Debugging , 1979, IEEE Trans. Software Eng..

[11]  Albert Endres,et al.  An analysis of errors and their causes in system programs , 1975, IEEE Transactions on Software Engineering.