Testing, Debugging, and Verification

TDA567/DIT082, LP2, HT2015

Schedule

Places and Times

We have lectures on Mondays at 15:15 - 17:00, and on Thursdays at 10:00 - 11:45. In addition, on Mondays there is a Lab session at 13:15 - 15:00, and on Fridays there is an exercise session at 15:15 - 17:00. In the schedule below you can check the rooms for each day.

Office hours can be scheduled with the TAs. You can find their contact information in the course description page.

Please, note that the slides for each lecture may be modified before the corresponding lecture. It is advisable to (re)download them on the same day of the lecture.

Welcome to the first lecture on Monday 31 October, 15:15 - 17:00 in EA!

Printable version of the slides in google docs

Download all the slides !

Extra Material about Verification

Lecturers:	AP = Atze van der Ploeg
Guest Lecturers:	ÅL = Åke Liljenberg, Volvo	JM = Jonas Magnusson, Volvo	JH = John Hughes, Quiviq
Course Assistants:	MC = Mauricio Chimento	SR = Simon Robillard

	Mondays 13:15 - 15:00, room ES61,ES62	Mondays 15:15 - 17:00, room EA	Thursdays 10:00 - 11:45, room HA2 or HC2	Fridays 15:15 - 17:00, room EE
1. 31/10 - 6/11	(no Lab Session)	Course Introduction (AP)	08.00: Testing Part 1 (AP) 10.00: Exercises Testing 1 (MC) Room: HA2	(no Exercise Session)
2. 7/11 - 13/11	Lab Session: Lab 1 (MC)(SR)	Debugging (AP)	Guest Lecture: 10.00: Test Driven Development (ÅL) 11.00: Debugging Enterprise Systems (JM) Room: HC2	Exercises: Debugging (MC)
3. 14/11 - 20/11	Lab Session: Lab 1 (MC)(SR)	Property Based Testing (Stateless) (AP)	10.00: Property Based Testing (Stateful) (AP) 11.00: Guest Lecture by JH Room: HC2	Exercises: Property Based Testing (MC)
22/11	Deadline Lab Assignment 1
4. 21/11 - 27/11	Lab Session: Lab 2 (MC)(SR)	Testing 2 (AP)	Formal Specification Part 1 (AP) Room: HA2	Exercises Stateful Property Testing (MC) Exercises: Formal Specification 1 (SR)
5. 28/11 - 4/12	Lab Session: Lab 2 (MC)(SR)	Formal Specification Part 2 (AP)	Formal Specification Part 3 (AP) Room: HA2	Exercises: Formal Specification 2 (SR)
6/12	Deadline Lab Assignment 2
6. 5/12 - 11/12	Lab Session: Lab 3 (MC)(SR)	Formal Verification Part 1 (AP)	Formal Verification Part 2 (AP) Room: HA2	Exercises: Formal Verification (SR)
7. 12/12 - 18/12	Lab Session: Lab 3 (MC)(SR)	Recap (AP)	(no Lecture)	Exam training (SR)
20/12	Deadline Lab Assignment 3
	EXAM: 14-18, 09 January 2017, Location: Johanneberg

Atze van der Ploeg, Oct 18, 2016