Java Tester Contract
hereafter called `Contractor'
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:
- 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.
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
- The team is required to produce necessary documentation including but not
limited to instructions for use of the program and a technical description of
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.
- 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
- 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.
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
Designed by the team 1/29/98
Written by preston