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

• 作者: 章程
• 来源期刊: 微型电脑应用
• 学科: 工学
• 关键词: 面向方面编程(AOP) 契约式设计(DbC) 代码生成器
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 研究与设计
• 页码范围: 1-4,18
• 页数: 5页
• 分类号: TP311
• 字数: 5421字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-757X.2007.01.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	章程	上海交通大学软件学院软件工程中心	6	80	3.0	6.0