JET Implementation Documentation

JET is an evolutionary testing tool for Java and JML.

See:
Description

Packages

edu.utep.cs.jet.gui	Contains the source code for a graphics user interface to the JML-based unit testing tool for Java.
edu.utep.cs.jet.gui.editor	Contains the source code for a editor that can open a single Java/JML source code file at a time and supports a primitive form of syntax coloring.
edu.utep.cs.jet.gui.editor.syn	Contains the source code for Java syntax highlighting.
edu.utep.cs.jet.gui.explorer	Contains the source code for displaying several kinds of explorers, such as a directory browser that allows one to browse through directories and files.
edu.utep.cs.jet.gui.output	Contains the source code for the output console.
edu.utep.cs.jet.gui.tester	Contains the source code to interface with an external test case generation tool.
edu.utep.cs.jet.rat	Contains the source code to automatically test methods and constructors by generating test cases randomly.
edu.utep.cs.jet.rat.gen	Contains the source code for generating various types of Java values randomly.
edu.utep.cs.jet.rat.val	Contains the source code for classes representing various types of Java values.

JET is an evolutionary testing tool for Java and JML. It generates test data dynamically for Java methods and constructors and determines test results by using JML specifications as test oracles.