A Quick Tutorial on JET

Authors

Yoonsik Cheon, The University of Texas at El PasoFollow

Publication Date

6-2007

Comments

Technical Report: UTEP-CS-07-40

Abstract

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. This document gives a quick tutorial introduction to JET.