| 用于支持契约的AOP代码生成器的研究与实现 |
| |
| 引用本文： | 章程. 用于支持契约的AOP代码生成器的研究与实现[J]. 微型电脑应用, 2007, 23(1): 1-4,18 |
| |
| 作者姓名： | 章程 |
| |
| 作者单位： | 上海交通大学软件学院软件工程中心,上海,200240 |
| |
| 摘 要： | 面向方面编程(AOP)是一种新兴的编程方法,其核心思想是分离程序中的关注点,并提供某种机制,以表达横切多个组件的关注点。契约式设计(DbC)是构建高可靠面向对象系统的设计方法,它通过规定组件间的行为契约来保证程序的正确性。本文简单介绍了AOP和DbC,然后通过尝试在Observer设计模式中加入契约,研究了使用AOP支持DbC的方法,进而设计和实现了一个AOP代码生成器,并分析了该生成器的特点。
|
| 关 键 词： | 面向方面编程(AOP) 契约式设计(DbC) 代码生成器 |
| 文章编号： | 1007-757X（2007）01-0001-04 |
| 收稿时间： | 2006-09-20 |
| 修稿时间： | 2006-09-20 |
Research and Implementation of an AOP Code Generator for Supporting Contracts |
| |
| ZHANG Cheng. Research and Implementation of an AOP Code Generator for Supporting Contracts[J]. Microcomputer Applications, 2007, 23(1): 1-4,18 |
| |
| Authors: | ZHANG Cheng |
| |
| Abstract: | |
| |
| Keywords: | Aspect-Oriented Programming (AOP) Design by Contract (DbC) Code generator |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
