JPF and Theia Trace Viewer

Dear all,

We would like to try the new Theia Trace Viewer for JPF, which is Johan Besseling's Master's thesis project. In order to get as much feedback as possible, please try it out on half of your JPF tutorial exercises. (The results are not graded.)

A/B experiments

We would like you to try each trace with either plain JPF (having only its text output) or the Trace Viewer. In order to make sure that your learning experience with JPF does not give a clear advantage of one approach over the other, the tool usage is interleaved.

Group set A (odd-numbered groups: Group 1, 3, ...)

Task division for odd-numbered groups
Plain JPF	Theia Trace Viewer
Dining Philosophers	QueueDoWaitProdCons
QueueNotifyProdCons	QueueTestDoWait
	DaytimeServer

Evaluation form Links to an external site.

Group set B (even-numbered groups: Group 2, 4, ...)

Task division for even-numbered groups
Plain JPF	Theia Trace Viewer
QueueDoWaitProdCons	Dining Philosophers
QueueTestDoWait	QueueNotifyProdCons
DaytimeServer

Evaluation form Links to an external site.

Slides (TTV tutorial)

Access

The entire front-end is web based, all the traces are prepared for you, so there is zero installation!

All you have to do is to access the server with the right URL, which is: