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.

Scheduling (2018 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.

Odd (G1/GA) Even (G2) Lab Deadline
09.06. 09.13. LAB0: Motivational example and introduction to the home assignment 2018-09-16 23:59
10.04 09.27.

LAB1: Verifying specifications. Static analysis tools
Note: 09.20 is a day off due to BME Sport Day

2018-10-07 23:59
10.13. 10.11.  LAB2: Test design. Integration testing
Note: 10.13. is a Saturday due to change of work days
2018-10-14 23:59
10.18. 10.25. LAB3: Code-based test generators 2018-10-28 23:59
11.15. 11.08. LAB4: Model-based test generators
Note: 11.01. is a day off due to national holiday
2018-11-18 23:59
11.29. 11.22.  LAB5: Verifying architectural and detailed designs 2018-12-02 23:59