On the interplay of exception handling and design by contract: an aspect-oriented recovery approach

Authors:
Henrique Rebêlo;Roberta Coelho;Ricardo Lima;Gary T. Leavens;Marieke Huisman;Alexandre Mota;Fernando Castor
Affiliations:
Federal University of Pernambuco, PE, Brazil;Federal University of Rio Grande do Norte, RN, Brazil;Federal University of Pernambuco, PE, Brazil;University of Central Florida, Fl;University of Twente, Netherlands;Federal University of Pernambuco, PE, Brazil;Federal University of Pernambuco, PE, Brazil
Venue:
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
Year:
2011

Citing 14
Cited 1

Software fault injection: inoculating programs against errors

Software fault injection: inoculating programs against errors
An axiomatic basis for computer programming

Communications of the ACM
Getting started with ASPECTJ

Communications of the ACM
Design pattern implementation in Java and aspectJ

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Applying "Design by Contract"

Computer
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))

Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
An overview of JML tools and applications

International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
Preliminary design of JML: a behavioral interface specification language for java

ACM SIGSOFT Software Engineering Notes
Jose: Aspects for Design by Contract80-89

SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Implementing Java modeling language contracts with AspectJ

Proceedings of the 2008 ACM symposium on Applied computing
The application monitor aspect pattern

Proceedings of the 2006 conference on Pattern languages of programs
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
On the interplay between the semantics of Java's finally clauses and the JML run-time checker

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
Failboxes: Provably Safe Exception Handling

Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming

Modular aspect-oriented design rule enforcement with XPIDRs

Proceedings of the 12th workshop on Foundations of aspect-oriented languages

Quantified Score

Hi-index	0.02

Visualization

Abstract

Design by Contract (DbC) is a technique for developing and improving functional software correctness through definition of "contracts" between client classes and their suppliers. Such contracts are enforced during runtime and if any of them is violated a runtime error should occur. Runtime assertions checkers (RACs) are a well-known technique that enforces such contracts. Although they are largely used to implement the DbC technique in contemporary languages, like Java, studies have shown that characteristics of contemporary exception handling mechanisms can discard contract violations detected by RACs. As a result, a contract violation may not be reflected in a runtime error, breaking the supporting hypothesis of DbC. This paper presents an error recovery technique for RACs that tackles such limitations. This technique relies on aspect-oriented programming in order to extend the functionalities of existing RACs stopping contract violations from being discarded. We applied the recovery technique on top of five Java-based contemporary RACs (i.e., JML/jml, JML/ajml, JContractor, CEAP, and Jose). Preliminary results have shown that the proposed technique could actually prevent the contract violations from being discarded regardless of the characteristics of the exception handling code of the target application.