MBT: Model-Based Testing

Study period 4, 2013
Mon 18 March - Wed 22 May, 2013
Course codes: DIT848/GU and DAT260/Chalmers, 7.5 hp

Given by Computer Science and Engineering at
Chalmers Technical University and The University of Gothenburg

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
This page was updated May 23 2013, 09:39 .