Exception Handling and Software Fault Tolerance
- 1 June 1982
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-31 (6) , 531-540
- https://doi.org/10.1109/tc.1982.1676035
Abstract
Some basic concepts underlying the issue of fault-tolerant software design are investigated. Relying on these concepts, a unified point of view on programmed exception handling and default exception handling based on automatic backward recovery is constructed. The cause–effect relationship between software design faults and failure occurrences is explored and a class of faults for which default exception handling can provide effective fault tolerance is characterized. It is also shown that there exists a second class of design faults which cannot be tolerated by using default exception handling. The role that software verification methods can play in avoiding the production of such faults is discussed.Keywords
This publication has 14 references indexed in Scilit:
- A program structure for error detection and recoveryPublished by Springer Nature ,2005
- Robust data typesActa Informatica, 1982
- Systematic detection of exception occurrencesScience of Computer Programming, 1981
- A Recovery Cache for the PDP-11IEEE Transactions on Computers, 1980
- Ada exception handling: an axiomatic approachACM Transactions on Programming Languages and Systems, 1980
- Exception Handling in CLUIEEE Transactions on Software Engineering, 1979
- Software reliabilityPublished by Association for Computing Machinery (ACM) ,1977
- An Introduction to the Construction and Verification of Alphard ProgramsIEEE Transactions on Software Engineering, 1976
- Exception handlingCommunications of the ACM, 1975
- Proof of correctness of data representationsActa Informatica, 1972