Instrumenting contracts with aspect-oriented programming to increase observability and support debugging
- Briand, L.C. (Lionel C.)
- Dzidek, W.J.
- Labiche, Y. (Yvan)
Publication date
December 2005
DOI Publisher
Institute of Electrical and Electronics Engineers (IEEE) Citation count (estimate)
24Abstract
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
Add to ORKG