โปรแกรมตาม polyglotprogramming.com/contract4j

Contract4J เป็นเครื่องมือสร้างและรันไทม์ที่รองรับ & quot;ออกแบบตามสัญญา" สําหรับ Java 5 การทดสอบจะถูกกําหนดโดยใช้คําอธิบายประกอบ ในเวลารันไทม์แง่มุมของ AspectJ จะประเมินนิพจน์การทดสอบและจัดการความล้มเหลว หมายเหตุ