loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
21st IEEE International Conference on Software Maintenance (ICSM'05)
Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging
Budapest, Hungary
September 25-September 30
ISBN: 0-7695-2368-4
Lionel C. Briand, Carleton University and Simula Research Laboratory
W. J. Dzidek, Simula Research Laboratory
Yvan Labiche, Carleton University
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.
Citation:
Lionel C. Briand, W. J. Dzidek, Yvan Labiche, "Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging," icsm, pp.687-690, 21st IEEE International Conference on Software Maintenance (ICSM'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.