프로그램별 oval.sf.net

OVal은 Java 5 이상에 대한 확장 가능한 개체 유효성 검사 프레임워크입니다. 주석(@NotNull) 또는 XML 구성 파일을 사용하여 클래스 제약 조건을 표현할 수 있습니다. OVal은 선택적으로 AspectJ를 사용하여 자동 유효성 검사를 적용할 수 있습니다(DbC)