Software Download
Yoonsik Cheon | HOME


JET | JML4c | UTJML | BibPHP | JML

JET Overview | Download | Documentation

JET is an automated unit testing tool for Java classes annotated with JML specifications; JML is a formal interface specification language for Java to document the behavior of Java classes and interfaces. JET tests each method of the class under test separately. For each method, it generates a collection of test data, executes them, and decides test results (i.e., pass/fail) by using JML specifications as test oracles, thereby fully automating unit testing of Java classes. [more from tutorial]

JET is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License.

Some of JET's features include:

This material is based upon work supported by the National Science Foundation under Grant No. 0509299. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.

This work was made possible in part by a contract from the US Army Space and Missile Defense Command (SMDC) and the Homeland Protection Institute (HPI) to the Center for Defense Systems Research (CDSR) of the University of Texas at EL Paso (UTEP). It's contents are solely the responsibility of the authors and do not necessarily represent the official views of CDSR, UTEP, HPI or the SMDC

Last modified: $Id: index.php,v 1.6 2008/10/21 04:27:50 cheon Exp $