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 3 deadlines for submission of reports. See the “Project Assignment” tab above for more details on the dates and content of each report.
Place: Lectures will take place at Lindholmen, in room SVEA 118.
Schedule¶
When | Content |
---|---|
Week 1/12 | |
Mon Mar 21, 08:00-12:00 | |
Wed Mar 23, 10:15-12:00 | Lecture 2: BlackBox Testing |
Wed Mar 23, 13:15-14:45 | Lecture 3: WhiteBox Testing |
Wed Mar 23, 15:00-17:00 | Introduction to assignments, and Tutorial on JUnit (T1) |
Week -/13 | |
Mon Mar 28 | NO LECTURE - HOLIDAY |
Wed Mar 30 | NO LECTURE - HOLIDAY |
Week -/14 | |
Mon Apr 4 | NO LECTURE - HOLIDAY |
Mon Apr 6 | NO LECTURE - HOLIDAY |
Week 2/15 | |
Mon Apr11, 08:00-12:00 | Lecture 4: Testing from the Software Development Perspective |
Wed Apr 13, 10:15-12:00 | Lecture 6: More on EFSMs |
Wed Apr 13, 13:15-17:00 | Tutorial on tools for EFSM (T2) + Consultation assignment 1 |
Week 3/16 | |
Mon Apr 18, 08:00-12:00 | |
Wed Apr 20, 10:15-12:00 | Lecture 9: Graph Theory Techniques in MBT |
Wed Apr 20, 13:15-17:00 | Group work and Consultation |
Week 4/17 | |
Mon Apr 25, 08:00-12:00, | |
Wed Apr 27, 10:15-12:00 | Tutorial on Modeling (T3) |
Wed Apr 27, 13:15-17:00 | Tutorial on ModelJUnit (T4) + Consultation assignments |
Week 5/18 | |
Mon May 2, 08:00-10:00 | Group work and consultation |
Wed May 4, 10:15-12:00 | Group work and consultation |
Wed May 4, 13:15-17:00 | Group work and consultation |
Week 6/19 | |
Mon May 9, 08:00-10:00 | Group work and consultation |
Wed May 11, 10:15-12:00 | Group work and consultation |
Wed May 11, 13:15-17:00 | Group work and consultation |
Week 7/20 | |
Mon May 16, 08:00-12:00 | Group work and consultation |
Wed May 18, 10:15-12:00 | Guest Lecture Iva Popova |
Wed May 18, 13:15-17:00 | Group work and consultation |
Week 8/21 | |
Mon May 23, 09:15-12:00 | Lecture 12: Revision Lecture |
Wed May 25, 10:15-12:00 | Final project presentations by students |
Wed May 25, 13:15-17:00 | Final project presentations by students |
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
L3, L4 White Box Testing; Testing from the Software Development Perspective J-S
Lecture 4: Testing from the Software 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: Selecting tests¶
- Slides:
How to select your tests
- Literature: Utting & Legeard (Chapter 4)
Lecture 9: Graph Theory Techniques in MBT¶
- Slides:
Graph Theory Techniques in MBT
- Literature: Robinson
Lecture 10: ModelJUnit¶
- Slides:
ModelJUnit
- Literature: Utting & Legeard (Sections 5.1-5.2)
Lecture 11: Making tests executable¶
- Slides:
Making tests executable
- Literature: Utting & Legeard (Section 5.3 and Chapter 8)
Lecture 12: Revision Lecture¶
- Slides:
Revision Lecture
- Literature:
Guest Lecture Iva Popova¶
Introduction to assignments, and Tutorial on JUnit (T1)¶
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
- Distribution of units to be tested
Tutorial on tools for EFSM (T2) + Consultation assignment 1¶
We had a demo on how to navigate through the SUT followed by a short presentation of modeling tools and a voluntary exercise on Finite State Machines.
- Slides:
Tutorial on tools for EFSM
- Further information:
Tutorial on Modeling (T3)¶
- Slides:
Tutorial on Modeling
- Further information: See also the example at Modeling tutorial