Contract4J，这是契约式设计的工具，它用 Java 5 标注（annotation）指定合约，并在运行时用 AspectJ 方面计算合约。在成为 AOP 工具包中新增的一个举足轻重的工具的同时，Contract4J 迎合了面向方面设计的新趋势。
契约式设计（Design by Contract）是切实可行的技术，可以阐明组件设计的细节、为客户记录正确的组件用法，并用编程的方式测试组件使用的顺应性（compliance）。
项目主页：http://www.polyglotprogramming.com/contract4j
下载地址：http://sourceforge.net/projects/contract4j/files/
来自:开源中国社区
