WEEK 4
Technical Issues
We continued reading about and learning Java, Perl, and Html. We also
continued translating the tester.cc program to Java, and have begun designing
the changes in the Perl script that will create the Java tester program.
Testing
Started converting set class bset.cc to Java for the first possible
test case, since we already have the axioms for this class. Discussed
writing other test cases. Starting thinking of and planning other test
cases, including another (hopefully) correct class, and some incorrect
classes in order to test what would happen when the Tester finds axioms
that do not test out correctly.
Tester Home
Created 02/23/98 by preston.