Assignments

Information about the Lab sessions

In this course Lab Sessions are meant to ask questions about the various assignments (as listed below). You are expected to do most of the work outside these hours.

General information about the lab assignments

First of all, you are supposed to do each assignment in pairs. The results of your work should be submitted to us, before the deadline, using the Submit system. If you do not hand in your material in time (even if it is only a few seconds after the deadline), then you incur at least a penalty of one whole point (out of ten).

Lab assignment 1

Deadline: 2 Oct 2006
Submit: rubik game

Your assignment will be to formalize the game Rubik's Illusion in Z. The full text for assignment 1 is here. To prepare yourself read the book Using Z (as specified in the course literature) and come to the lecture on Monday Sep 18.

Lab assignment 2

Deadline: 16 Oct 2006
Submit: buildtools

This exercise consists of three parts, all of which you have to do.

• Exploring Ant and Darcs
• Introducing Make and Subversion
• Discuss a versioning and build system of your choosing

At the end of the exercise it is explained what files are expected. Hand in your results separated in three directories zipped together. Answer any questions in a simple -text only- readme file(s).

Lab assignment 3

Deadline: 30 Oct 2006
Submit: testing

• Download the assignment in PDF
• Download the code that comes with it

For the assignment on unit testing you need to install JUnit 4.1. Go to the JUnit 4.1 website, download the zip file, unpack it in your home directory, and add the junit-4.1.jar to your class path. For example:

javac -cp .;.../junit-4.1.jar file.java

Unfortunately on the windows lab machines it seems impossible to convince javac to use junit 4.1 in stead of 3.7. Use putty to log into a linux machine where it runs perfectly. On Unix like systems you can also add the jar file to your standard class path.

Useful links:

• Using Z book
• Valgrind

-- JurriaanHage - 11 Sep 2006