Home
Education Page
Description
Literature
Schedule
Slides
Assignments
Paper Reviews
Exam
Mailinglists
Assignments

Swe0607
%TOC%

---+++ 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 [[http://www.cs.uu.nl/docs/submit][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* <br/>
Submit: *rubik game*

Your assignment will be to formalize the game _Rubik's Illusion_ in Z.
The full text for [[http://www.cs.uu.nl/docs/vakken/swe/docs2006/assignment1.pdf][assignment 1]] is [[http://www.cs.uu.nl/docs/vakken/swe/docs2006/assignment1.pdf][here]].
To prepare yourself read the book Using Z (as specified in the [[SoftwareEngineeringLiterature][course literature]]) and come to the lecture on Monday Sep 18.

---+++ Lab assignment 2

Deadline: *16 Oct 2006* <br/>
Submit: *buildtools*

This exercise consists of three parts, all of which you have to do.
   * [[AntDarcsLab][Exploring Ant and Darcs]]
   * [[MakeSvnLab][Introducing Make and Subversion]]
   * [[DiscussBuildAndVersioningLab][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* <br/>
Submit: *testing*

   * Download [[http://www.cs.uu.nl/docs/vakken/swe/testassignment.pdf][the assignment in PDF]]
   * Download [[http://www.cs.uu.nl/docs/vakken/swe/code.zip][the code that comes with it]]

For the assignment on unit testing you need to install JUnit 4.1. Go to the 
[[http://www.junit.org/][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 [[http://www.chiark.greenend.org.uk/~sgtatham/putty/download.html][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:
   * [[http://www.usingz.com/][Using Z book]]
   * [[http://valgrind.org/][Valgrind]]

-- Main.JurriaanHage - 11 Sep 2006