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.



Due to the inexperience of the team with Perl, Java, and HTML, it is possible that the development of the product will be slow.


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

Java Tester Home
Revised 2/9/98 by preston