在Java中使用契约式设计.pdfVIP

第23 卷第ll 期 计算机应用与软件 VoI. 23 ，No. ll 2006 年ll 月 Computer AppIications and Software Nov. 2006 在Java 中使用契约式设计 孙 巨 （苏州大学 江苏 苏州2l502l ） 摘 要 契约式设计DBC 是面向对象程序设计的一项技术，其目的在于提高软件的质量、可靠性与可复用性。Java 语言本身还 不直接支持契约式设计，但借助一些外部辅助工具可以使该项技术获得应用。对此，给出了两种实现方法：一种是使用预编译器；另 一种是使用面向方面的程序设计技术。 关键词 契约式设计DBC Java JMSAssert 预编译器 面向方面的程序设计AOP USING DESIGN BY CONTRACT IN JAVA SOFT ARE DEVELOPMENT Sun Ju （Soochow Uniuersity ，Suzhou Jiangsu 215021 ，China ） Abstract Design by Contract （DBC ）is a technigue in object-oriented software design whose goaI is to ensure software guaIity ，reIiabiIity ， and reusabiIity. Java programming Ianguage does not directIy support design by contract as yet. However ，we can make use of some externaI as- sistant tooIs to impIement DBC for Java. Here ，this paper proposes two methods. One way is to use preprocessors ；the other is to use Aspect-O- riented Programming. Keywords Design by contract Java JMSAssert preprocessor Aspect-oriented programming 任，没有哪一方可以只享有权利而不承担义务。因此，契约式设 0 引 言 计通过尽可能地准确规定出组件之间的通信，以及通信过程中 的相互责任和对结果的预期来建立一种强制机制，以最大可能 在用Java 语言开发企业软件时，我们经常需要与外部组件 地实现程序的Bug-free 。换言之，就是明确定义出类或方法的 打交道，不管是同以往的应用程序、外部系统还是和第三方的库 客户方（即调用方）与类或方法的提供方（即定义方）这两者之 通信，在使用了非自身所能控制的组件时，也就有了非所预期结 间的约束条件，并将它们由原先是隐含在说明文档里的一种形 果存在的风险。软件设计大师Bertrand Meyer 在其EiffeI 编程 式转变成明确的代码表示出来并加以检查。 语言中展示了契约式设计方法，通过明确设计与定义组件调用 契约式设计源自于断言的思想。所谓断言，实际上就是一 间的契约，来降低这种风险的存在。这一技术对于其它面向对 个关于软件系统状态的布尔表达式。在系统运行时，通过对程 象的程序设计语言来讲，也极具有指导价值。虽然，它们不能像 序执行过程中的某个特定点计算断言值，来确定程序中是否有 Ei