SWSV labs


Rooms I.B.413 and I.L.405


See the course's GitHub wiki


  • Every student has to submit screenshots to document completion of each lab session.
  • Only screenshots are needed (jpg or png files), please do not upload anything else (report, doc, pdf...).
  • The screenshots taken on labN by student with Neptun ID ABCDEF should be placed to the labN/ABCDEF/ folder of the lab branch of the repository of the student's team.


Summary of each student's performance: Link

Scheduling (2017 Fall)

Half of the students have labs on odd weeks, while the others on even weeks (based on enrollment in the NEPTUN system).

The Deadline column lists the deadline for uploading the screenshots documenting the completion of the lab.

Dates Lab Deadline
09.07. and 09.14 LAB0: Motivational example and introduction to the home assignment -

LAB1: Verifying specifications. Static analysis tools
Note: 09.28 is a day off due to SCH QPA

2017-10-01 23:59
10.05 and 10.12. LAB2: Development testing (unit tests, coverage, isolation). 2017-10-15 23:59
10.19. and 10.26. LAB3: Test design. Integration testing 2017-10-29 23:59
11.02 and 11.09. LAB4: Code-based test generators 2017-11-12 23:59
11.23. LAB5: Model-based test generators
Note: 11.16 is a day off due to TDK
2017-11-26 23:59
12.30. and 12.07. LAB6: Verifying architectural and detailed designs 2017-12-10 23:59