Manejo de Excepciones y Tolerancia a Fallos en Software

Se investigan algunos conceptos básicos que subyacen al diseño de software tolerante a fallos. Basándose en estos conceptos, se construye un punto de vista unificado sobre el manejo de excepciones programadas y el manejo de excepciones por defecto basado en la recuperación automática hacia atrás. Se explora la relación causa-efecto entre los fallos en el diseño del software y la ocurrencia de fallos, y se caracteriza una clase de fallos para la cual el manejo de excepciones por defecto puede proporcionar una tolerancia a fallos efectiva. También se muestra que existe una segunda clase de fallos de diseño que no pueden ser tolerados utilizando el manejo de excepciones por defecto. Se discute el papel que los métodos de verificación de software pueden desempeñar en evitar la producción de tales fallos.