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
- 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
- The test vectors against which the axia will be tested
- A set of alii to simplify the description of axia
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
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
- 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 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.
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.
Revised 2/9/98 by preston