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

30/10: Course Intro

Admin, motivation, examples for the course.

02/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

06/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/09: 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
MentiSlides.pdf

46

13/11: Debugging

Input minimisation, systematic debugging, logging etc.

16/11: Formal Specification 1

Introduction and Logic.

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

47

20/11: Formal Specification 2

Introduction to Dafny.

23/11: Formal Specification 3

Framing and loops in Dafny.

48

27/11:

Formal Verification 1

Weakest pre-condition calculus.

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

30/11:

Guest Lecture

49

04/12: Formal Verification 2

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

Readings: link
Weakest Precondition: link
FV2 Lecture.pdf

07/12: Formal Verification Revisited

50

11/12: Input space partitioning Revisited

14/12: Self-Study