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

Lecture 0: Introduction to the course

Lecture 1: Introduction to Validation and Verification

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

Lecture 5: Extended Finite State Machines (EFSM)

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

Lecture 7: Introduction to MBT

Lecture 8: Selecting tests

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,

Lecture 10: ModelJUnit

Lecture 11: Making tests executable

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

Lecture 1: Introduction to Validation and Verification

Lecture 2: BlackBox Testing

Lecture 3: WhiteBox Testing

L3, L4 White Box Testing; Testing from the Software Development Perspective J-S

Lecture 4: Testing from the Software Development Perspective

Lecture 5: Extended Finite State Machines (EFSM)

Lecture 6: More on EFSMs

Lecture 7: Introduction to MBT

Lecture 8: Selecting tests

Lecture 9: Graph Theory Techniques in MBT

Lecture 10: ModelJUnit

Lecture 11: Making tests executable

Lecture 12: Revision Lecture

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.

Tutorial on Modeling (T3)

Tutorial on ModelJUnit (T4) + Consultation assignments

See ModelJUnit tutorial