1. 홈
  2. 질의 응답
  3. JML 대안

JML 대안

2011-01-08 5 views
2

JML과 같은 Java의 대체 사양 언어 옵션을 찾고 있습니다.JML 대안

아무도 알고 있나요?

감사합니다.

출처

2011-01-08 Tiago Veloso

+0

Java Path Finder를 고려하셨습니까? –

+0

저는 과거에 JPF를 사용해 왔지만이 질문에 대한 답변에서 제안한 것처럼 JML 또는 Cofoja와 같은 Specification (DbC) 언어로 작동 할 수 있다고 생각하지 않습니다. –

답변

4

계약서 Java (http://code.google.com/p/cofoja/)는 Java 주석의 메소드 계약서를 작성할 수있는 Google 프로젝트입니다.

프레임 워크는 오프라인 바이트 코드 rewriter를 사용하여 계약을 동적 런타임 검사로 자동 삽입 할 수 있습니다.

출처

2011-03-24 18:32:19

관련 문제

 관련 문제