Tester
The Final Product

Rewrite the C++ tool "daistish" into a Java testing tool. The tester tool uses axiomatic specs to specify the behavior a class must have, and automatically sets up a comprehensive test suite for determining if the class implementation provides this behavior. Will have a web-based GUI.


Team Members

Client and Boss


Contracts

Schedules


Manuals


Weekly Reports


Presentation Materials


Created 1/29/98 by knight
Last revision 4/30/98