Java Tester Contract


David Stotts,
hereafter called `Contractor'


David Kennedy,
Sheila Knight,
Timothy Preston,
Ibrahim Samala,
hereafter called `Team'.


According to its user manual, Daistish is a program written in Perl which will, when given a class written in C++ and a set of axiom specification files, produce a tester program in C++. When compiled and run, this program will test the adherence of an implementation of a data type against axia describing its characteristics. Input to the program consists of files containing:

A detailed description of the program and its input files can be found in the user manual to Daistish.



At this time, the only possibility for risk lies in the unlikely malfunction of hardware or software provided by the contractor.


All of the undersigned people have read and agreed to the above contract

Java Tester Home
Designed by the team 1/29/98
Written by preston