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.

Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools Srinivas Pinisetty, Dec 5, 2017