用于支持契约的AOP代码生成器的研究与实现

摘要

面向方面编程(AOP)是一种新兴的编程方法,其核心思想是分离程序中的关注点,并提供某种机制,以表达横切多个组件的关注点.契约式设计(DbC)是构建高可靠面向对象系统的设计方法,它通过规定组件间的行为契约来保证程序的正确性.本文简单介绍了AOP和DbC,然后通过尝试在Observer设计模式中加入契约,研究了使用AOP支持DbC的方法,进而设计和实现了一个AOP代码生成器,并分析了该生成器的特点.