Teacher: Gerardo Schneider
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. Monday morning and Wednesday afternoon in room 243, and on Wednesdays morning in room 122.
Literature: UL = Utting & Legeard, J-S = Jorgensen and Sommerville, R = Robinson Q = QuickCheck (papers).
| Wk | Lecture | Literature | |||||
|---|---|---|---|---|---|---|---|
| 1/12 | Mon Mar 17 | 08.15-12.00 | LJ243 | L0, L1 | Introduction to Validation and Verification | J-S | |
| Wed Mar 19 | 10.15-12.00 | LJ122 | L2 | FSM/EFSM and Black box testing | J-S | ||
| Wed Mar 19 | 13.15-17.00 | LJ243 | L3, L4 | White Box Testing, Testing from the Software Development Perspective | J-S | ||
| 2/13 | Mon Mar 24 | 09.00-10:15, 10:30-12.00 | LJ243 | L5-L6 | Koen Claessen | QuickCheck: Property-based testing - Properties and Generators | Q |
| Wed Mar 26 | 10.15-12.00 | LJ122 | A1 | Assignment 1: FSM, Black and white box testing | - | ||
| Wed Mar 26 | 13.15-17.00 | LJ243 | A1 | Assignment 1 (cont.) | - | ||
| 3/14 | Mon Mar 31 | 09.15-12.00 | LJ243 | A1 | Assignment 1 (cont.) | - | |
| Wed Apr 2 | 10.15-12.00 | LJ122 | L7 | EFSM | - | ||
| Wed Apr 2 | 13.15-17.00 | LJ243 | A2 | Assignment 2: QuickCheck | - | ||
| 4/15 | Mon Apr 7 | 09.15-12.00 | LJ243 | A2 | Assignment 2 (cont.) | - | |
| Wed Apr 9 | 10.15-12.00 | LJ122 | L8 | More on EFSM | - | ||
| Wed Apr 9 | 13.15-15.00, 15.15-17.00 | LJ243 | A2, A3 | Assignment 2 (cont.), Assignment 3: EFSM | - | ||
| -/16 | Mon Apr 14 | NO LECTURE - HOLIDAY | |||||
| Wed Apr 16 | NO LECTURE - HOLIDAY | ||||||
| -/17 | Mon Apr 21 | NO LECTURE - HOLIDAY | |||||
| Wed Apr 23 | NO LECTURE - HOLIDAY | ||||||
| 5/18 | Mon Apr 28 | 08.15-10:00, 10:15-12.00 | LJ243 | L9, L10 | Introduction to MBT, How to select your tests | UL:1-3, UL:4 | |
| Wed Apr 30 | 10.15-12.00 | LJ122 | L11 | Graph Theory Techniques in MBT | R | ||
| Wed Apr 30 | NO LECTURE - HOLIDAY | ||||||
| 6/19 | Mon May 5 | 09.15-12.00 | LJ243 | A3 | Assignment 3 (cont.) | - | |
| Wed May 7 | 10.15-12.00 | LJ122 | L12 | ModelJUnit | UL:5.1,5.2 | ||
| Wed May 7 | 13.15-15:30, 15:30-17.00 | LJ243 | L13, A4 | Making tests executable, Assignment 4: MBT | UL:5.3,8 | ||
| 7/20 | Mon May 12 | 09.15-12.00 | LJ243 | A4 | Assignment 4 (cont.) | - | |
| Wed May 14 | 10.15-12.00 | LJ122 | A4 | Assignment 4 (cont.) | - | ||
| Wed May 14 | 13.15-17.00 | LJ243 | L14, mbt2014-tdd.zip, mbt2014-tdd_solution.zip, Instructions | Micael Andersson (Volvo IT) | Test-Driven Development (TDD 1) | - | |
| 8/21 | Mon May 19 | 09.15-12.00 | LJ243 | L15, TyrePressureMonitor.zip, TyrePressureMonitor_solution.zip | Micael Andersson (Volvo IT) | Test-Driven Development (TDD 2) | - |
| Wed May 21 | 10.15-12.00 | LJ122 | L16 | Revision Lecture | |||
| Wed May 21 | 13.15-15.00 | LJ243 | L17 | Continuation Revision Lecture | |||