Teacher: Gerardo Schneider
Note 1: 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.
Note 2: Mandatory meetings with each group will be set on some of the slots marked as "Group work and consultation". The course assistant will communicate the specific date to each group in due time.
Note 3: There will be 3 deadlines for submission of reports. See the "Assignments" tab above for more details on the dates and content of each report.
Place: Lectures will take place at Lindholmen, in 4 different lecture halls:
Literature: UL = Utting & Legeard, J-S = Jorgensen and Sommerville, R = Robinson Q = QuickCheck (papers).
Wk | Lecture | Literature | |||||
---|---|---|---|---|---|---|---|
1/13 | Mon Mar 23 | 08:00-12:00 | Sv111 | L0, L1 | Introduction to the course; Introduction to Validation and Verification | J-S | |
Wed Mar 25 | 10:15-12:00 | Ju121 | L2 | FSM/EFSM and Black box testing | J-S | ||
Wed Mar 25 | 13:15-15:00; 15:15-17:00 | Sv111 | L3, L4 | White Box Testing; Testing from the Software Development Perspective | J-S | ||
2/14 | Mon Mar 30 | 08:45-10:15, 10:30-12:00 | Ju121 | L5,L6 | EFSM; More on EFSM | - | |
Wed Apr 1 | 10:15-12:00 | Ju121 | T1 | Setting machines and Tutorial on JUnit | - | ||
Wed Apr 1 | 13:15-17:00 | Sv111 | Problem presentation by students | - | |||
-/15 | Mon Apr 6 | NO LECTURE - HOLIDAY | |||||
Wed Apr 8 | NO LECTURE - HOLIDAY | ||||||
-/16 | Mon Apr 13 | NO LECTURE - HOLIDAY | |||||
Wed Apr 15 | NO LECTURE - HOLIDAY | ||||||
3/17 | Mon Apr 20 | 08:00-10:00, 10:15-12:00 | Ju243 | L7, L8 | Introduction to MBT; How to select your tests | UL:1-3, UL:4 | |
Wed Apr 22 | 10:15-12:00 | Ju121 | L9 | Graph Theory Techniques in MBT | R | ||
Wed Apr 22 | 13:15-15:30, 15:30-17:00 | Sv111 | L10, L11 | ModelJUnit; Making tests executable | UL:5.1,5.2; UL:5.3,8 | ||
4/18 | Mon Apr 27 | 08:00-10:00, 10:15-12:00 | Ju243 | T2, L12 | Tutorial on tools for EFSM; Introduction to QuickCheck (by Koen Claessen) | -; Q | |
Wed Apr 29 | 10:15-12:00 | Sv129 | T3 | Tutorial on QuickCheck for Java | - | ||
Wed Apr 29 | 13:15-17:00 | Sv111 | Group work and consultation | - | |||
5/19 | Mon May 4 | 08:00-10:00; 10:15-12:00 | Ju121 | T4 | Group work and consultation; Tutorial on modeling | - | |
Wed May 6 | 10:15-12:00 | Ju121 | T5 | Tutorial on ModelJUnit | - | ||
Wed May 6 | 13:15-17:00 | Sv111 | Group work and consultation | - | |||
6/20 | Mon May 11 | 08:00-10:00; 10:15-12:00 | Ju121 | L13 | Group work and consultation; Guest Lecture on Runtime Verification (by Gordon Pace, Univ. of Malta) | - | |
Wed May 13 | 10:15-12:00 | Ju121 | L14, GitHub demo project | Guest lecture on Behavioral-Driven Development (by Pavel Rabetski, Senior Software Engineer at Volvo Telematics Dept.) | - | ||
Wed May 13 | 13:15-17:00 | Sv111 | Group work and consultation | - | |||
7/21 | Mon May 18 | 08:00-12:00 | Ju243 | Group work and consultation | - | ||
Wed May 20 | 10:15-12:00 | Ju243 | Group work and consultation | - | |||
Wed May 20 | 13:15-17:00 | Sv111 | Group work and consultation | - | |||
8/22 | Mon May 25 | 08:00-12:00 | Ju243 | Group work and consultation | - | ||
Wed May 27 | 10:15-12:00 | Ju121 | Final presentation mini-projects by students | - | |||
Wed May 27 | 13:15-17:00 | Ju243 | Final presentation mini-projects by students | - |