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)

45

Course Intro

Admin, motivation, examples for the course.

Testing 1

Triangle quiz, Test Suite Construction, Coverage criteria

Lecture slides
Install Java (Bring your Laptop with you!)
Download this program: TriangleChecker.java
Readings: Ch 1-2, 5 from Book (Get an idea only)

46

Testing 2

Logic coverage criteria, Black box testing: Input space partitioning.

Lecture slides
Menti slides
Readings: Ch6-8 from Book (Get an idea only)

Testing 3

Test Automation: Intro to JUnit, extreme testing, test driven development.
- Lecture slides
- Readings: Ch3 from Book
- Download these classes: Examples.zip

47

Testing 4

Testing Foundations, Failure model, Complexity of Testing.

Lecture slides
Ex solution (depend on the proposed solution)
titan_1999_rpt.doc

Debugging

Input minimisation, systematic debugging, logging etc.

Lecture slides
ex solution
Readings: Ch5 from Book
Code: 5-Examples.zip

48

Formal Specification 1

Introduction and Logic.

Code: Examples.zip

Formal Specification 2

Introduction to Dafny.

49

Formal Specification 3

Framing and loops in Dafny.

Code: Examples.zip
Readings: Tutorial

Formal Verification 1

Weakest pre-condition calculus.

Readings: Link (notations can be different)

50

Guest Lecture

Formal Verification 2

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

Readings: link
Weakest Precondition: link

51

Formal Verification Revisited

Previous exam tutorial

Sample exams

52

Self-Study

Self-Study