SWSV labs

Location

Rooms I.B.413

Materials

See the course's GitHub wiki

Submission

  • 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 (2019 Fall)

Half of the students have labs on odd weeks, while the others on even weeks (based on enrollment in the NEPTUN system). G1, G2 and GA means the different course codes in NEPTUN.

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

G1 G2 GA Lab Deadline
09.19. 09.26. 09.26. LAB0: Motivational example and introduction to the home assignment
Note: 09.12 is a day off due to BME Sport Day
2019-09-29 23:59
10.03 10.10 10.10

LAB1: Verifying specifications. Static analysis tools

2019-10-13 23:59
10.17. 10.24. 10.24. LAB2: Test design. Integration testing 2019-10-27 23:59
10.31. 11.07. 11.07. LAB3: Code-based test generators 2019-11-10 23:59
11.14. 11.21. 11.21. LAB4: Model-based test generators 2019-11-24 23:59
11.28. 12.05. 12.05. LAB5: Verifying architectural and detailed designs 2019-12-02 23:59