Laboratory Exercises
Lab |
Contents | Submission deadline |
Lab 1 |
(a) Exercise Sheet 1 (test coverage) 1 document |
End of Period 3 |
Lab 2 |
(a) Exercise Sheet 2 (black-box and requirements testing) (b) JML Syntax (c) a short tutorial on JML that contains all the constructs you will need. 3 documents! |
End of Period 3 |
Lab 3 |
(a) Exercise Sheet 3 (Model-based Testing and ATCG) (b) Instructions.pdf (c) bitshift.smv (d) carcontroller.smv 4 documents! |
End of Period 3 |
General Lab Instructions: You need to pass all 3 labs before you can pass the course. A lab has just two grades: (a) pass, (b) fail.
You can work on a lab alone, or with a partner. I don't recommend working as three, and more is not allowed.
If you fail a lab you must re-do it until it is passed. There is no specific time limit for this, but a good aim is to complete all the labs before the exam, alternatively before summer vacation.
On completing each lab, you should print out one hard-copy and bring it along to the exercise class the following week. Here we will go through model answers, and you should be able to see if you have passed each question, or if you made a mistake, what it was. You are encouraged to discuss your answers with me during an exercise class if there is something you did not understand.
At the end of the exercise class you should upload a .pdf of the lab to Canvas. Make sure the names and e-mail addresses of all the lab partners are on the work. On Canvas it is best to upload 2 copies if you are 2 lab partners. The lab page on Canvas is open until the end of 2024 for submissions. After that you must e-mail me.
I generally mark lab work in batches, so they may be some delay between submitting your work, and seeing a grade in rapp/ladok. If you doubt whether I have received your work you can mail me.
It is important to keep a backup copy of all your lab work until you have completed the course and your grades have been added to Canvas.
Lab Rooms
You can find the lab rooms with this lab room map