一种使用AspectJ技术的Java契约式编程语言模型

摘要：

契约式开发方法是一种借鉴了形式化方法的优点而又易于实践的开发方法学,然而Eiffel等传统的契约式编程语言难以学习与推广。本文提供了一种模型,该模型利用面向方面的编程技术,在面向对象程序设计语言基础上,增加了契约式约束检查。并以Java面向对象程序设计语言为例,使用AspectJ技术对Java程序中的接口、类、继承、数据类型、构造器、域、方法、异常增加关注点,进行契约约束检查,最终形成一种易于实践且具有契约式功能的开发语言环境。

关键词：契约式编程、模型、面向方面

所属期刊栏目：31

分类号：TP311.51(计算技术、计算机技术)

资助基金：安徽省高校省级科学研究项目KJ2011B171;安徽省高校省级优秀青年人才基金项目2011SQRL178

在线出版日期：2012-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：52-55