基于AOP在组件开发中支持契约的研究与实现  

Research and Implementation of Components Development with Design by Contract Based on AOP

作　　者：张思博[1] 

机构地区：[1]上海交通大学软件工程中心

出　　处：《微型电脑应用》2006年第12期41-44,66-67,共4页Microcomputer Applications

摘　　要：在进行软件组件开发时,需要明确组件中服务请求者与提供者之间相互满足的契约关系。通过在组件中支持契约式设计(Design by Contract,DBC),不仅可以阐明组件设计的细节、为客户记录正确的组件用法,还可以通过编程的方式来测试组件使用的正确性。基于面向方面编程(Aspect-Oriented Programming,AOP)技术实现契约式设计,可以通过将横切关注点(crosscutting concern)分离的方式,令编程人员独立的编写组件的契约和业务逻辑。本文主要基于AOP技术的两个开源实现:Contract4J和AspectJ,构建了一个Eclipse插件工具来支持组件开发中的契约式设计,并且通过一个实例分析采用契约式设计之后对于组件健壮性的改进。When constructing software components, the contract requirements between service requesters and providers which should be met must be explicitly specified. By supporting Design by Contract (DBC) during the development of software components , not only the design of components can be described in detail, but also the compliance of software components can be tested via the way of programming. By dividing the crosscutting concern, Aspect-Oriented Programming (AOP) techniques makes programmer write contracts and business logics independently. In thispaper, an Eclipse plug-in tool is built to support DBC for component development. By taking an example, the enhancement of component robustness will be analyzed.

关 键 词：契约 契约式设计 面向方面编程 ECLIPSE插件 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]