A Theoretical Evaluation of the Acceptance Test in Recovery Block Programming

  • Francesca Saglietti
Part of the Research Reports ESPRIT book series (ESPRIT, volume 1)


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.


Input Sequence Acceptance Test Output Sequence Incorrect Result Sort Problem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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
  2. [AND81]
    T. Anderson, P.A. Lee: Fault-Tolerance - Principles and Practice. Prentice/Hall International, 1981Google Scholar
  3. [HEC79]
    H. Hecht: Fault-tolerant Software. IEEE Transactions on Reliability, Vol. R-28, No. 3, August 1979Google Scholar
  4. [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

Copyright information

© ECSC — EEC — EAEC, Brussels — Luxembourg 1992

Authors and Affiliations

  • Francesca Saglietti

There are no affiliations available

Personalised recommendations