There are two operational settings for the Test Tool: (1) Use by students to take the tests; (2) use by teachers to build the tests.
The Test Tool will be most appropriately used in a classroom setting, where a teacher operates a "master" machine and students are working on "slave" machines.
As noted in the preceding section on system personnel, there is a single primary customer for the Test Tool, and he is representative of customers in a particular university department. As such, the tool's requirements reflect the point of view of the customer base, including their work setting.
For use as a pedagogical example, the Test Tool has been designed to fit the curriculum used by Gene Fisher in undergraduate and graduate software engineering courses at Cal Poly University. These courses are two-quarter sequences that cover standard aspects of software engineering, with emphasis on the practical application of formal methods. For the most part, the concepts covered in these courses, and hence the concepts embodied in the Test Tool, are mainstream software engineering. Other instructors may therefore find the Test Tool and its development artifacts useful as course examples.