OVal ist ein generisches Java 5-basiertes Objekt-Validierungs-Framework, das Annotationen benutzt, um Randbedingungen auszudrücken, und AspectJ, um die automatische Validierung (Programming by Contract) zu behandeln. Es unterstützt Validierung von Klassenfeldern, Konstruktoren und Methodenparametern.