2
Q
JML 대안
A
답변
4
계약서 Java (http://code.google.com/p/cofoja/)는 Java 주석의 메소드 계약서를 작성할 수있는 Google 프로젝트입니다.
프레임 워크는 오프라인 바이트 코드 rewriter를 사용하여 계약을 동적 런타임 검사로 자동 삽입 할 수 있습니다.
Java Path Finder를 고려하셨습니까? –
저는 과거에 JPF를 사용해 왔지만이 질문에 대한 답변에서 제안한 것처럼 JML 또는 Cofoja와 같은 Specification (DbC) 언어로 작동 할 수 있다고 생각하지 않습니다. –