A Theoretical Evaluation of the Acceptance Test in Recovery Block Programming
This chapter is intended to propose a theoretical evaluation of Recovery Block systems considering, in particular, the extent to which the degree of reliability achieved depends upon the choice of the underlying acceptance test program.
KeywordsInput Sequence Acceptance Test Output Sequence Incorrect Result Sort Problem
Unable to display preview. Download preview PDF.
- [HOR74]J. J. Horning, H. C. Lauer, P. M. Melliar-Smith, B. Randell: A Program Structure for Error Detection and Recovery. Proc. Conf. on Operating Systems: Theoretical and Practical Aspects, IRIA, pp. 172–187, 1974Google Scholar
- [AND81]T. Anderson, P.A. Lee: Fault-Tolerance - Principles and Practice. Prentice/Hall International, 1981Google Scholar
- [HEC79]H. Hecht: Fault-tolerant Software. IEEE Transactions on Reliability, Vol. R-28, No. 3, August 1979Google Scholar
- [SCO83]RK. Scott, J.W.Gault, D.F. McAllister: Modelling Fault-Tolerant Software Reliability. Proc. Third Symposium on Reliability in Distributed Software and Database Systems, 15–27, Silver Spring, MD, U.S.A, IEEE Comput. Soc. Press, 1983Google Scholar