CS201J - Annotations Evaluation

The goal of this exercise is to evaluate the static checking methodology used in this class. We are also evaluating a tool that has been developed to automatically add ESC/Java annotations to Java programs. The tool is able to correctly determine many annotations, but sometimes it will insert an incorrect annoation and it will sometimes miss necessary annotations. In this experiment, you will take two Java classes that have been automatically annotated, and correct the annotations. Some of the annotations are wrong and will need to be removed or changed; some annotations are missing and will need to be added.

Please work alone. You should spend no more than 1 hour on it; once you have spent an hour (or gotten frustrated), feel free to quit and submit what you have then.

Thank you for doing this experiment.

To start the experiment, fill in this form and click Submit.

Name: Address: Enter your UVa email address, what is before the @virginia.edu

Credits: This experiment was developed by Mike Ernst, Jeremey Nimmer and Ben Morse at MIT; and Joel Winstead and David Evans at UVa.

University of Virginia Department of Computer Science CS 201J: Engineering Software

Sponsored by the National Science Foundation

cs201j-staff@cs.virginia.edu