Title :
Instrumenting contracts with aspect-oriented programming to increase observability and support debugging
Author :
Briand, Lionel C. ; Dzidek, W.J. ; Labiche, Yvan
Author_Institution :
Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
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.
Keywords :
Java; object-oriented programming; program debugging; software libraries; AOP; AspectJ; Java; Liskov substitution principle; aspect-oriented programming; class invariants; compliance-checking; program debugging; Automatic programming; Contracts; Debugging; Instruments; Java; Laboratories; Law; Observability; Software quality; Systems engineering and theory;
Conference_Titel :
Software Maintenance, 2005. ICSM'05. Proceedings of the 21st IEEE International Conference on
Print_ISBN :
0-7695-2368-4
DOI :
10.1109/ICSM.2005.55
