Testing, Debugging, and Verification TDA566/DIT082, LP2, HT2013

Exam Notes

More information about the exam will be poster her a bit closer to the exam date. Check Studieportalen one week before the exam to find out in which building the exam takes place.


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 Java code will not be punished. If in doubt, use extra brackets to clarify association.



For us to consider your grading query, the query needs to be concrete and well justified. For instance, the following are not valid queries.

  • "The grade I got is too low"
  • "I need a higher grade to pass"
  • "My solution is correct, but I did not get a full score."
  • Instead, your query should be along the following lines:

  • "The feedback indicates an omitted pre-condition in a specification, yet this case is in fact implied by the class invariant [specify how]"
  • "My solution follows the same idea and is of the same level of detail as the one given in the sample solution [summarise your approach]. However it is not clear to me how my deviation from the sample solution justifies a non-full grade"
  • Submit your detailed query to Moa Johansson by email by 2013-04-26. If your query is valid, then you will receive, by e-mail, a time and place where we are available to discuss the matter with you. If you have not received an e-mail from us by 2013-04-30 at 23:59, then your query is invalid.




    Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools | Links Moa Johansson, Aug 14, 2013