|Testing, Debugging, and Verification
|TDA567/DIT082, LP2, HT2015
The exam for this course took place at 14-18, 09 January 2017. Check its solution..
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.
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.
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.
When the results appear in Ladok, you will be able to review your exam from the CSE Student Office.
Please rest asured that all exams have been carefully marked and reviewed, in
particular those with scores close to the border between grades.
For us to consider your grading query, the query needs to be concrete and well justified. For instance, the following are not valid queries.
Instead, your query should be along the following lines:
Submit your detailed query using the above form by 2015-05-15. 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 2015-05-20 at 23:59, then your query is invalid.
|Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools
|Atze van der Ploeg, Jan 12, 2016