Teacher: Gerardo Schneider unless otherwise specified.
Note: The following schedule is preliminary and it is subject to change. Any change will be notified in the News section under "Home" after the course starts.
Place: Lectures will take place at Lindholmen, Jupiter building room 243 (LJ243).
Literature: UL = Utting & Legeard, J-S = Jorgensen and Sommerville, R = Robinson Q = QuickCheck (papers).
| Wk | Lecture | Literature | |||||
|---|---|---|---|---|---|---|---|
| 1/11 | Tue Mar 13 | 10.30-12.15 | LJ243 | L0, L1 | Introduction to Validation and Verification | J-S | |
| Wed Mar 14 | 08.30-10.15 | LJ243 | L2 | FSM/EFSM and Black box testing | J-S | ||
| 2/12 | Tue Mar 20 | 10.30-12.15 | LJ243 | L3 | White Box Testing | J-S | |
| Wed Mar 21 | 08.30-10.15 | LJ243 | L4 | Testing from the Software Development Perspective | J-S | ||
| 3/13 | Tue Mar 27 | 10.30-12.15 | LJ243 | L5 | Introduction to MBT | UL:1-3 | |
| Wed Mar 28 | 08.30-10.15 | LJ243 | L6 | How to select your tests | UL:4 | ||
| -/14 | Tue Apr 03 | NO LECTURE - HOLIDAYS | |||||
| Wed Apr 04 | NO LECTURE - HOLIDAYS | ||||||
| -/15 | Tue Apr 10 | NO LECTURE - HOLIDAYS | |||||
| Wed Apr 11 | NO LECTURE - HOLIDAYS | ||||||
| 4/16 | Tue Apr 17 | 10.30-12.15 | LJ243 | L7 | Graph Theory Techniques in MBT | R | |
| Wed Apr 18 | 08.30-10.15 | LJ243 | L8 | EFSMs and ModelJUnit | UL:5.1,5.2 | ||
| 5/17 | Tue Apr 24 | 10.30-12.15 | LJ243 | L9 | Making tests executable | UL:5.3,8 | |
| Wed Apr 25 | 08.30-10.15 | LJ243 | L10 | Christos Dimou | Enabling full Requirements Traceability and Quality Assurance in the context of Model-driven Systems Engineering (Guest Lecture) - CANCELLED! (NO LECTURE) | ||
| 6/18 | Tue May 1 | NO LECTURE - HOLIDAYS | |||||
| Wed May 2 | 08.30-10.15 | LJ243 | L11 | QuickCheck 1: Property-based testing | Q | ||
| 7/19 | Tue May 8 | 10.30-12.15 | LJ243 | L12 | Thomas Arts | QuickCheck 2: (Recursive) Generators | Q |
| Wed May 9 | 09.15-10.15 | LJ243 | L13 | John Hughes | QuickCheck 3: Testing race conditions | Q | |
| 8/20 | Tue May 15 | 10.30-12.15 | LJ243 | L14 | Gabriele Paganelli | Test case generation using KeY (TBC) | |
| Wed May 16 | 08.30-10.15 | LJ243 | L15 | Revision | |||