Testing, Debugging, and Verification TDA567/DIT082, LP2, HT2017

Exam Notes

Exam Contents

You are supposed to have a good understanding of the contents of the lectures, the exercises and the labs. The Lecture Notes describe the contents of each lecture.

The principle we apply in designing the exam questions is that if you have done and understood all exercises as well as the lab assignments, then you should be able to pass the exam.

Exam Aids

You are not allowed any aids besides a dictionary. The problems emphasize understanding of the concepts rather than memorizing. Minor syntax errors in Dafny/Java code will not be punished. If in doubt, use extra brackets to clarify association. In your proofs, clarity is important. Always state which rule has been applied.

Trial Exam

Here, you find a trial exam with the solution. The trial exams are meant to support you in practising for the exam. Note that the real exam is in no way limited to the kind of questions nor to the topics covered by the trial exams. In general, all content of the lectures, exercises, and hand-in assignments is relevant for the exam. Note that in these previous exams, the course covered automated test case generation instead of loop invarinant generation. However, the questions will be similar in difficulty.

Exam Solution

Here, you find the solutions of the exam written 09/01/2018. Please note that the solutions are only suggestions and some tasks could be solved in other ways, too.

Exam Review

The exam is graded, and the results reported. You should see them shortly, probably they are visible already.
We offer a review of your graded exams on Monday, 22 January, from 12 to 13, in room 4128 in the EDIT building. The room is in the 4th floor, EDIT building, Johanneberg (Computer Science and Engineering department). Enter the department of Computer Science and Engineering at floor 4, via stairs/elevator from the main entrance at Rännvägen 6. You will find the meeting room in the beginning of the corridor behind the printing facility.

Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools Srinivas Pinisetty, Jan 17, 2018