Portal de Periódicos da CAPES

OpenJML: JML for Java 7 by Extending OpenJDK

2011; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-20398-5_35

1611-3349

David R. Cok,

Advanced Software Engineering Methodologies

The Java Modeling Language is a widely used specification language for Java. However, the tool support has not kept pace with advances in the Java language. This paper describes OpenJML, an implementation of JML tools built by extending the OpenJDK Java tool set. OpenJDK has a readily extendible architecture, though its details could be revised to further facilitate extension. The result is a suite of JML tools for Java 7 that provides static analysis, specification documentation, and runtime checking, an API that is used for other tools, uses Eclipse as an IDE, and can be extended for further research. In addition, OpenJML can leverage the community effort devoted to OpenJDK.