A program structure for error detection and recovery

Horning, James J.; Lauer, Hugh C.; Melliar-Smith, P. M.; Randell, Brian

doi:10.1007/bfb0029359

Cited by 186 publications

(62 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This shows that pure resilience subsumes source-independence: by construction, purely resilient catch blocks are source-independent. The pure resilience contract is a loose translation of the concept of recovery block [13] in mainstream programming languages. A purely resilient try-catch is able to handle unanticipated exceptions in any situation while still performing the expected operation.…”

Section: Discussionmentioning

confidence: 99%

Exception handling analysis and transformation using fault injection: Study of resilience against unanticipated exceptions

Cornu¹,

Seinturier²,

Monperrus³

2015

Information and Software Technology

View full text Add to dashboard Cite

Context: In software, there are the error cases that are anticipated at specification and design time, those encountered at development and testing time, and those that were never anticipated before happening in production. Is it possible to learn from the anticipated errors during design to analyze and improve the resilience against the unanticipated ones in production?Objective: In this paper, we aim at analyzing and improving how software handles unanticipated exceptions. The first objective is to set up contracts about exception handling and a way to assess them automatically. The second one is to improve the resilience capabilities of software by transforming the source code. Method:We devise an algorithm, called short-circuit testing, which injects exceptions during test suite execution so as to simulate unanticipated errors. It is a kind of fault-injection techniques dedicated to exceptionhandling. This algorithm collects data that is used for verifying two formal contracts that capture two resilience properties w.r.t. exceptions: the source-independence and pure-resilience contracts. Then we propose a code modification technique, called "catch-stretching" which allows error-recovery code (of the form of catch blocks) to be more resilient. Results:Our evaluation is performed on 9 open-source software applications and consists in analyzing 241 catch blocks executed during test suite execution. Our results show that 101/214 of them (47%) expose resilience properties as defined by our exception contracts and that 84/214 of them (39%) can be transformed to be more resilient. Conclusion:Our work shows that it is possible to reason on software resilience by injecting exceptions during test suite execution. The collected information allows us to apply one source code transformation that improves the resilience against unanticipated exceptions. This works best if the test suite exercises the exceptional programming language constructs in many different scenarios.

show abstract

Section: Discussionmentioning

confidence: 99%

Exception handling analysis and transformation using fault injection: Study of resilience against unanticipated exceptions

Cornu¹,

Seinturier²,

Monperrus³

2015

Information and Software Technology

View full text Add to dashboard Cite

show abstract

“…The principle idea for both N-versioning and Recovery Blocks [22] is that independent efforts to achieve the same result deliver greater confidence in the result. If these efforts are also different in method the confidence is even greater.…”

Section: B From Fault Tolerance and Dependabilitymentioning

confidence: 99%

M-VCR: Multi-View Consensus Recognition for Real-Time Experimentation

McKee

Townend

Webster

et al. 2014

2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

View full text Add to dashboard Cite

Abstract-A major application area in the computer vision domain is gesture recognition, requiring real-time image classification to respond to human interactions. However, current state-of-the-art high-quality algorithms for image classification do not meet many dynamic real-time requirements. This paper presents the development of M-VCR -a novel approach for improving the reliability of real-time image classification. M-VCR increases the quality of classifications under real-time constraints through the adoption of fast classification algorithms; although these algorithms individually produce lower quality results, utilisation under a 'consensus' approach can achieve results equivalent to those of much higher-quality algorithms. The proposed approach also allows for different algorithms to be utilised in parallel, building on the fault tolerance technique of N-versioning. A significant improvement in image classification is experimentally demonstrated for both the SURF and MSER feature detectors through our integration consensus approach. This improvement is delivered entirely through the integration method without requiring modification of the source algorithms being used.

show abstract

“…Design fault tolerance, thus, deals with faults that may be introduced in the design of that level of the system, be it hardware or software. Techniques such as the recovery block scheme [Horn74,Ande76] and N-Version programming [Aviz85,Chen78] provide this type offault tolerance. This technique is also sometimes called software fault tolerance [Lee90].…”

Section: Implementing Fault Tolerancementioning

confidence: 99%

Consul: a communication substrate for fault-tolerant distributed programs

Mishra

1993

Distrib. Syst. Engng.

View full text Add to dashboard Cite

A program structure for error detection and recovery

Cited by 186 publications

References 4 publications

Exception handling analysis and transformation using fault injection: Study of resilience against unanticipated exceptions

Exception handling analysis and transformation using fault injection: Study of resilience against unanticipated exceptions

M-VCR: Multi-View Consensus Recognition for Real-Time Experimentation

Consul: a communication substrate for fault-tolerant distributed programs

Contact Info

Product

Resources

About