Testing, Debugging, and Verification

TDA566/DIT082, LP2, HT2013

Schedule

Places and Times

We have lectures on Mondays and Wednesdays at 10:00 - 11:45, in room EC. On Wednesdays there is also an exercise session at 15:15 - 17:00 in room EC.

Office hours will be Tuesdays, 10:00 - 12:00 with Bart in room 5483, EDIT building.

The schedule shown below is preliminary and subject to change! Contents for the links will be provided shortly after each lecture.

Welcome to the first lecture on Monday October 28, 10:00 - 11:45 in EC!

	Mondays 10:00 - 11:45, room EC	Wednesdays 10:00 - 11:45, room EC	Wednesdays 15:15 - 17:00, room EC
1. 28/10 - 1/11	Course Introduction (MJ)	Testing Part 1 (MJ)	Testing Part 2 (MJ)
2. 4/11 - 8/11	Testing Part 3 (MJ)	Debugging Part 1 (MJ)	Exercises Testing (BD)
3. 11/11 - 15/11	(no lecture/exercise)	Debugging Part 2 (BD)	Exercises Debugging (BD)
16/11	Deadline Lab Assignment 1
4. 18/11 - 22/11	Guest Lecture: Test Driven Development (ÅL) / Formal Specification Part 1 (MJ)	Formal Specification Part 2 (MJ)	Formal Specification Part 3 (MJ)
5. 25/11 - 29/11	Exercises Formal Specification (BD)	Formal Verification Part 1 (MJ)	(no lecture/exercise)
30/11	Deadline Lab Assignment 2
6. 2/12 - 6/12	Formal Verification Part 2 (MJ)	Formal Verification Part 3 (MJ)	Exercises Formal Verification (BD)
7. 9/12 - 13/12	Automated Test Case Generation Part 1 (MJ)	Automated Test Case Generation Part 2 (MJ)	Exercises Automated Test Case Generation (BD)
13/12	Deadline Lab Assignment 3
	EXAM: TBC, TBC, TBC

Moa Johansson, Aug 14, 2013