A Quick Tutorial on JET
Yoonsik Cheon · scholarworks - UTEP (The University of Texas at El Paso) · 2007
JET is an automated unit testing tool for Java classes an-notated 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 re-sults (i.e., pass/fail) by using JML specifications as test or-acles, thereby fully automating unit testing of Java classes. This document gives a quick tutorial introduction to JET. 1