Aspectization of Contracts in DbC

Abstract

Contracts in Design by Contract (DbC) programming methodology are commonly considered as an example of crosscutting concerns that can be implemented using aspects in Aspect Oriented Programming (AOP). In this dissertation project, we try to examine this fact by writing several programs in DbC and then aspectizing the contracts therein. We verify whether the benefits offered by the DbC programming methodology are retained in the aspectized version of the programs. The DbC programs are written using Eiffel Studio and AOP equivalents are written using AspectJ. AspectJ is the most widely used standard for AOP.