There are two lectures per week, on Monday and Thursday. Students are encouraged to take their own notes during lectures. A preliminary lecture plan is below.

Week

Monday 15.15-17.00

(see location in TimeEdit)

Thursday 8.00-9.45

(see location in TimeEdit)

44

31/10: Course Intro

Admin, motivation, examples for the course.

Intro Lecture.pdf

Menti slides.pdf

03/11: Testing 1

Triangle quiz, purpose of testing, testing levels.

Lecture slides: Testing Lecture-1.pdf
Install Java (Bring your Laptop with you!)
Download this program: TriangleChecker.java
Readings: Ch(1-2) from Book

45

07/11: Testing 2

Intro to JUnit, extreme testing, test driven development.

Readings: Ch3 from Book
Download these classes: Examples.zip
Testing Lecture-2.pdf
titan_1999_rpt.doc

11/10: Testing 3

Black box vs white box testing, test set construction, coverage criteria.

Readings: Ch5-8 from Book (Get an idea only)
Testing Lecture-3.pdf
coverage criteria.pdf

46

14/11: Debugging

Input minimisation, systematic debugging, logging etc.

Readings: Ch5 from Book
Code: 5-Examples.zip
Debugging Lecture.pdf

17/11: Formal Specification 1

Introduction and Logic.

Lecture notes: FSPEC1 Lecture.pdf
Code: Examples.zip

47

21/11: Formal Specification 2

Introduction to Dafny.

Readings: Dafny
FSPEC2 Lecture.pdf
Examples.zip

24/11: Formal Specification 3

Framing and loops in Dafny.

48

28/11: Guest Lecture

Dafny at Amazon (By Matthias Schlaipfer, an Applied Scientist at AWS, Berlin)

guest-lecture-chalmers.pdf

01/12: Formal Verification 1

Weakest pre-condition calculus.

Readings: Link (notations can be different)
Lecture slides: fv1-wpc.pdf

49

05/12: Formal Verification 2

Correctness of programs with loops: invariants, variants, partial/total correctness.

Readings: link
FV2 Lecture.pdf

08/12: Formal Verification Revisited

50

12/12: Guest Lecture

Boeing Crew and Fleet Solutions (Dr. Mauricio Chimento)

guest_lecture_printout.pdf

15/12: Input space partitioning Revisited