2
Ich bin auf der Suche nach alternativen Spezifikation Sprachen Optionen für Java, wie JML.JML Alternativen
Kennt jemand etwas?
Danke.
A
Antwort
4
Contracts for Java (http://code.google.com/p/cofoja/) ist ein Google-Projekt, mit dem Sie Methodenverträge in Java-Annotationen schreiben können.
Das Framework kann die Verträge automatisch als dynamische Laufzeitprüfungen mit einem Offline-Bytecode Rewriter einfügen.
Haben Sie Java Path Finder in Betracht gezogen? –
Ich habe JPF in der Vergangenheit verwendet, aber ich glaube nicht, dass es als Spezifikationssprache (DbC) wie JML oder Cofoja dienen kann, wie in der Antwort auf diese Frage vorgeschlagen. –