Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging

Authors:
Lionel C. Briand;W. J. Dzidek;Yvan Labiche
Affiliations:
Carleton University and Simula Research Laboratory;Simula Research Laboratory;Carleton University
Venue:
ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Year:
2005

Citing 0
Cited 4

Lessons learned from developing a dynamic OCL constraint enforcement tool for java

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Limes: an aspect-oriented constraint checking language

ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Design pattern-based extension of class hierarchies to support runtime invariant checks

FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we report on how Aspect-Oriented Programming (AOP), using AspectJ, can be employed to automatically and efficiently instrument contracts and invariants in Java. The paper focuses on the templates to instrument preconditions, postconditions, and class invariants, and the necessary instrumentation for compliance-checking to the Liskov Substitution Principle.