当前位置: 软件>java软件
契约式设计工具 Contract4J
本文导语: Contract4J,这是契约式设计的工具,它用 Java ™ 5 标注(annotation)指定合约,并在运行时用 AspectJ 方面计算合约。在成为 AOP 工具包中新增的一个举足轻重的工具的同时,Contract4J 迎合了面向方面设计的新趋势。 契约式设计(Des...
Contract4J,这是契约式设计的工具,它用 Java ™ 5 标注(annotation)指定合约,并在运行时用 AspectJ 方面计算合约。在成为 AOP 工具包中新增的一个举足轻重的工具的同时,Contract4J 迎合了面向方面设计的新趋势。
契约式设计(Design by Contract)是切实可行的技术,可以阐明组件设计的细节、为客户记录正确的组件用法,并用编程的方式测试组件使用的顺应性(compliance)。