Testing, Debugging, and Verification

TDA567/DIT082, LP2, HT2017

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!

First Week

On the first week, the course will have some special times. On Thursday, there is going to be a lecture from 8.00 to 10. In addition, the exercise sesison on Friday is moved to Thursday at 10.

Printable version of the slides in google docs
Soon.

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 EA
1. 31/10 - 6/11	(no Lab Session)	Course Introduction (AP)	08.00: Testing: Picking and judging tests (AP) Room: HA2 Note that this lecture starts at 8.	Exercises: Testing (MC) Room: HA2 Note that this session is on Thursday at 10.
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: Stateless Property Based Testing (MC) Exercises Stateful Property Based Testing (MC)
22/11	Deadline Lab Assignment 1
4. 21/11 - 27/11	Lab Session: Lab 2 (MC)(SR)	Testing: Testing in the Software development process (AP) Sel4 microkernel CompCert C compiler	Formal Specification: Intro & Logic (AP) Room: HA2	Exercises Formal Specification: Loopless Dafny (SR)
5. 28/11 - 4/12	Lab Session: Lab 2 (MC)(SR)	Formal Specification: Dafny (AP)	Formal Specification: Framing & Loops in Dafny (AP) Room: HA2	Exercises Formal Specification: Loopy Dafny (SR)
6/12	Deadline Lab Assignment 2
6. 5/12 - 11/12	Lab Session: Lab 3 (MC)(SR)	Formal Verification: Weakest pre-condition calculus (AP)	Formal Verification: Proving loops (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, Nov 23, 2016