Lectures¶
Teacher: Gerardo Schneider
- Note 1: The following schedule is preliminary and it is subject to change. In particular we plan to have a couple of guest lectures. Any change will be notified in the News section (in the main page) 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 several deadlines for submissions of the project work. See Project Assignment for more details on the dates and content of each deliverable.
Place: Lectures will take place at Lindholmen, in room SVEA 118.
Schedule¶
| When | Content | |
|---|---|---|
| Week 1/12 | ||
| Mon Mar 20 | 08:00-09:00
09:15-12:00
|
|
| Wed Mar 22 | 10:15-12:00
13:15-14:45
15:00-17:00
|
Introduction to assignments, and Tutorial 1: JUnit
|
| Week 2/13 | ||
| Mon Mar 27 | 08:30-10:00
10:15-11:45
|
|
| Wed Mar 29 | 10:15-12:00
13:15-14:30
14:45-16:30
|
|
| Week 3/14 | ||
| Mon Apr 3 | 08:00-10:00
10:15-12:00
|
Group work and Consultation
|
| Wed Apr 5 | 10:15-12:00
13:15-15:00
15:15-17:00
|
|
| Week -/15 | ||
| Mon Apr 10 | NO LECTURE - HOLIDAY | |
| Wed Apr 12 | NO LECTURE - HOLIDAY | |
| Week 4/16 | ||
| Mon Apr 17 | NO LECTURE - HOLIDAY | |
| Wed Apr 19 | 13:15-15:00
15:15-17:00
|
Group work and Consultation
Group work and Consultation
|
| Week 5/17 | ||
| Mon Apr 24 | 08:00-10:00
10:15-12:00
|
Group work and Consultation
|
| Wed Apr 26 | 10:15-12:00
13:15-17:00
|
Group work and consultation
|
| Week 6/18 | ||
| Mon May 1 | NO LECTURE - HOLIDAY | |
| Wed May 3 | 10:15-12:00
13:15-17:00
|
Group work and consultation
Group work and consultation
|
| Week 7/19 | ||
| Mon May 8 | 08:00-12:00
|
Group work and consultation
|
| Wed May 10 | 10:15-12:00
13:15-17:00
|
Group work and consultation
Group work and consultation
|
| Week 8/20 | ||
| Mon May 15 | 08:00-12:00
|
Group work and consultation
|
| Wed May 17 | 10:15-12:00
13:15-17:00
|
Final project presentations by students
Final project presentations by students
|
| Week 9/21 | ||
| Mon May 22 | 09:00-12:00
|
|
| Wed May 24 | 10:15-12:00
|
NO LECTURE
|
Lecture 0: Introduction to the course¶
- Slides:
Introduction to the course.
Lecture 1: Introduction to Validation and Verification¶
- Slides:
Introduction to Validation and Verification - Literature: Jorgenson and Sommerville
Lecture 2: BlackBox Testing¶
- Slides:
BlackBox Testing - Literature: Jorgenson and Sommerville
Lecture 3: WhiteBox Testing¶
- Slides:
WhiteBox Testing and Coverage - Literature: Jorgenson and Sommerville
Lecture 4: Testing from a Development Perspective¶
- Slides:
Testing in General - Literature: Jorgenson and Sommerville
Lecture 6: More on EFSMs¶
- Slides:
More on EFSM
Lecture 7: Introduction to MBT¶
- Slides:
Introduction to MBT - Literature: Utting & Legeard (Chapters 1-3)
Lecture 8: ModelJUnit¶
- Slides:
ModelJUnit - Literature: Utting & Legeard (Sections 5.1-5.2)
Lecture 9: Graph Theory Techniques in MBT¶
- Slides:
Graph Theory Techniques in MBT - Literature: Robinson
Lecture 10: Making tests executable¶
- Slides:
Making tests executable - Literature: Utting & Legeard (Section 5.3 and Chapter 8)
Lecture 11: Selecting tests¶
- Slides:
How to select your tests - Literature: Utting & Legeard (Chapter 4)
Lecture 12: Revision Lecture¶
- Material:
Revision Lecture
Lecture 13: Guest Lecture¶
Cancelled
Tutorial 1: JUnit¶
Will go through the description of assignment 1, help students set up their private machines machines, and have a tutorial on JUnit.
Slides:
Tutorial on JUnit- Further information:
- Demo of the SUT
- Setup of the Environment
Tutorial 2: On modeling and tools for EFSM¶
Will consist of a short presentation of modeling tools and a voluntary exercise on Finite State Machines followed by a tutorial on how to model a simple SUT.
- Slides:
Tutorial on Testing and Modeling