|Home \ Graduation Activities \ Post-Graduation Page||Login|
An Aspect-Oriented Infrastructure for Design by Contract in Java
Design by Contract is an approach introduced in the Eiffel programming language in order to address the reliability concern in Object-Oriented Software Development, namely on module interaction. Aspect-Oriented Software Development is a “paradigm” which aims to provide means to further identify and modularise cross-cutting concerns on software development. This thesis proposes the use Aspect-Oriented Programming to implement an infrastructure for Design by Contract verification in the Java programming language, using AspectJ, an aspect-oriented extension to Java. A prototype library was developed, and was applied ta set of case studies, in order to validate the approach. The dissertation also presents a survey on existing alternative Design by Contract solutions for Java, and presents a comparative analysis for them. Also, alternative solutions to AspectJ are presented. Finally, the issues of transposing Design by Contract from Object- to Aspect-Oriented Design are discussed.
Start Date: 2007-03-01
End Date: 2008-06-25
Post-Graduation Student / Researcher / Professor: