Java Tester Contract

between

David Stotts,
hereafter called `Contractor'

and

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

Background

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:

• The class, written in C++
• The characteristics of the class, described as a set of axia
• The signatures of the functions used in descibing the axia (optional)
• The test vectors against which the axia will be tested (optional)
• A set of alii to simplify the description of axia (optional)

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

Requirements

Primary Team Obligations

• The team is required to produce a version of Daistish which will perform the same functions as described above on a class written in Java and produce the tester program in Java.
• The team is required to produce the program in such a way that the file containing alii will not be necessary.
• The team is required to produce the program in such a way that it will run on a UNIX platform and that it is possible for it to be invoked via the World Wide Web.
• The team is required to produce necessary documentation including but not limited to instructions for use of the program and a technical description of the program.

Secondary Team Obligations

• The team may, if possible, produce the program with a graphical user interface written in Java to facilitate use of the program.
• The team may, if possible, simplify or change the format of the additional input files to facilitate use of the program.

Contractor Obligations

• The contractor is required to produce the version of Daistish described above which will read a class written in C++ and produce the tester program in C++.
• The contractor is required to provide documentation and instruction on the use of the C++ version of Daistish.
• The contractor is required to provide the necessary resources to complete the contracted work, including but not limited to a Java compiler, a UNIX system on which to work, Perl and HTML resources, and the specifications of the Java environment in which he wishes the work to be performed.

Risks

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

Signatures

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

Contractor

David Stotts____________________________________________________

Team

David Kennedy_________________________________________________

Sheila Knight___________________________________________________

Timothy Preston________________________________________________

Ibrahim Samala________________________________________________

Tester Home