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 18 | 09.00-12.00 | LJ243 | L0, L1 | Introduction to Validation and Verification | J-S | |
Wed Mar 20 | 10.15-12.00 | LJ122 | L2 | FSM/EFSM and Black box testing | J-S | ||
-/13 | Mon Mar 25 | NO LECTURE - HOLIDAY | |||||
Wed Mar 27 | NO LECTURE - HOLIDAY | ||||||
-/14 | Mon Apr 1 | NO LECTURE - HOLIDAY | |||||
Wed Apr 3 | NO LECTURE - HOLIDAY | ||||||
2/15 | Mon Apr 8 | 09.00-12.00 | LJ243 | L3 | White Box Testing | J-S | |
Wed Apr 10 | 10.15-12.00 | LJ122 | L4 | Testing from the Software Development Perspective | J-S | ||
3/16 | Mon Apr 15 | 09.00-12.00 | LJ243 | L5 | Introduction to MBT | UL:1-3 | |
Wed Apr 17 | 10.15-12.00 | LJ122 | L6 | How to select your tests | UL:4 | ||
4/17 | Mon Apr 22 | 08.15-10.00, 10:15-12:00 | LJ243 | L7, L8 | Graph Theory Techniques in MBT / EFSMs and ModelJUnit | R / UL:5.1,5.2 | |
Wed Apr 24 | 10.15-12.00 | LJ122 | L9 | More on EFSMs | - | ||
5/18 | Mon Apr 29 | 09.00-12.00 | LJ243 | Assignment Session (No regular lecture) | |||
Wed May 1 | NO LECTURE - HOLIDAY | ||||||
6/19 | Mon May 6 | 09.00-12.00 | LJ243 | L10 | Making tests executable | UL:5.3,8 | |
Wed May 8 | NO LECTURE - HOLIDAY | ||||||
7/20 | Mon May 13 | 09.00-12.00 | LJ243 | L11 | QuickCheck 1: Property-based testing | Q | |
Wed May 15 | 10.15-12.00 | LJ122 | L12 | John Hughes | QuickCheck 2: Testing race conditions | Q | |
8/21 | Mon May 20 | 09.00-12.00 | LJ243 | L13 | Thomas Arts | QuickCheck 3: (Recursive) Generators | Q |
Wed May 22 | 10.15-12.00 | LJ122 | L14, CalcAdapter.java, CalcFsm.java | Revision |