Software and Systems Verification - Hírek

SWSV: HA1 is out

The first phase of the home assignment (HA1) has been published.

Goal and deadline are available on the Home assignment page.

The detailed subtasks can be found in the team's GitHub repository.

LAB0 and HA0 results

We checked the submissions for the HA0 phase (that qualifies as the LAB0 session). We accepted all submission. The detailed results can be seen here: LINK. Read more »

Number of required lab sessions

There are altogether 7 lab sessions in the semester, however for both courses 1 session will be on days off (LAB1/B and LAB5/A). The tasks of these labs could be completed remotely (all required materials are available in the lab repository), but we will require only to have 4 completed labs for the signature.

Completion of the lab sessions will be verified by checking the uploaded screenshots (see the Requirements page). However, LAB0 will be an exception: for LAB0 the tasks for the HA0 phase of the home assignment will be checked.

SWSV: Forming teams

The home assignment of the Software and Systems Verification course has to be solved in teams of four.

Form: forming of teams shall be reported through this form.

Deadline: 2017-09-07 23:59 Read more »

SWSV: Invited speaker on 5 September

We invited an industrial speaker for the second half of the first lecture of the Software and Systems Verification course:

Dr. Tibor Csöndes (Ericsson)

Tibor Csöndes will talk about testing trends and test automation. Read more »

SWSV: 3rd exam results

The preliminary results of the third exam can be found in the attachment.

The exams can be checked on 19th January 12:00-12:30 in the IB421 room.

If someone passed the exam, then there is the possibility to have a short oral exam on the spot to improve the final grade (+1/-1 grade).

If someone wants to check the exam outside the above period, please contact the lead instructor in e-mail before 19th January 12:00, and suggest possible dates.

SWSV: 2nd exam results

The preliminary results of the second exam can be found in the attachment.

The exams can be checked on 12th January 16:30-17:00 in the IL405 room.

If someone passed the exam, then there is the possibility to have a short oral exam on the spot to improve the final grade (+1/-1 grade).

If someone wants to check the exam outside the above period, please contact the lead instructor in e-mail before 12th January 16:00, and suggest possible dates.

SWSV: 2nd exam

Important information for the second exam of the Software and Systems Verification course: Read more »

SWSV: 1st exam results

The preliminary results of the first exam can be found in the attachment.

The exams can be checked on 5th January 16:00-16:30 in the IL405 room.

If someone passed the exam, then there is the possibility to have a short oral exam on the spot to improve the final grade (+1/-1 grade).

If someone wants to check the exam outside the above period, please contact the lead instructor in e-mail before 5th January 16:00, and suggest possible dates for this week.

SWSV: 1st exam

Important information for the first exam of the Software and Systems Verification course: Read more »

Syndicate content