Paper Info
Title
Exception handling analysis and transformation using fault injection: Study of resilience against unanticipated exceptions.
Abstract
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 exception-handling. 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. (C) 2014 Elsevier B.V. All rights reserved.
Year
DOI
Venue
2015
10.1016/j.infsof.2014.08.004
Information and Software Technology
Keywords
Field
DocType
Dynamic verification,Contract,Exception handling,Fault injection
Psychological resilience,Test suite,Programming language,Of the form,Software engineering,Source code,Computer science,Exception handling,Software,Code (cryptography),Fault injection
Journal
Volume
ISSN
Citations 
57
0950-5849
9
PageRank 
References 
Authors
0.46
16
3
Name
Order
Citations
PageRank
Benoit Cornu1333.54
Lionel Seinturier2104179.30
Martin Monperrus3133070.54