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
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSM.2005.55
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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||