Software and Systems Verification - Hírek

SWSV: 2nd exam

  • The SWSV exam on 10 January 2019 will start at 8:00. Please arrive at least 5 minutes earlier as the seats will be allocated.
  • Rooms:
    • Hungarian course A-Pap*: IE007
    • Hungarian course Par*-Zs: QBF11
    • International course: IE007
  • Please bring at least 1 piece of blank A4 paper with you.

SWSV: checking the 1st exam

The graded first exams can be checked at 14:00-15:00 on 20 December in the IB408 oval meeting 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, and suggest possible dates on the first week of January.

SWSV: 1st exam

  • The SWSV exam on 20 December 2018 will start at 8:00. Please arrive at least 5 minutes earlier as the seats will be allocated.
  • Rooms:
    • Hungarian course A-S: IE007
    • Hungarian course Sz-Z: QBF11
    • International course: IE226
  • Please bring at least 1 piece of blank A4 paper with you.

 

SWSV: HA3 results and discussion

The results of the third home assignment for the Software and Systems Verification has been published to each team's wiki page. Please check the evaluations and feedback.

On Thursday during the time for the lab session, each team should discuss the results with the instructors, where questions can be asked about the evaluations face to face. We ask that at least one member from each team be present. There will be no labs this week, just the discussion of the HA results.

SWSV: HA2 results and discussion

The results of the second home assignment for the Software and Systems Verification has been published to each team's wiki page. Please check the evaluations and feedback.

On Wednesday during the second half of the lecture, each team should discuss the results with the instructors, where questions can be asked about the evaluations face to face. We ask that at least one member from each team (preferably the lead of HA2) be present at the lecture.

SWSV: HUSTEF Teszt&Tea meetup, lecture

The Hungarian Testing Forum (HUSTEF) conference will be next week (29-31 October).

There will be no lecture on 31 October. Tovább »

SWSV: Lab results in Neptun

The results of the LAB0-LAB2 sessions have been entered into the Neptun course management system.

You can find them in Instruction / Tasks / Lab completion [Oktatás / Feladatok / Labor teljesítés].

If there is any error in the results, please write an email to the lead instructor with your name, neptun id, the number of the lab session and a link to the team repository pointing to the lab folder demonstratring the completion of the lab using a screenshot.

SWSV: Lab folders renumbered

There was an error in the instructions for naming the folders in the lab branch, and therefore some of the teams numbered the labs starting from lab1, lab2...

As this year we number the labs starting from lab0, lab1..., we renumbered those folders in the teams' repositories.

Please check your repository.

SWSV: HA1 results and discussion

The results of the first home assignment for the Software and Systems Verification has been published to each team's wiki page. Please check the evaluations and feedback.

On Wednesday during the second half of the lecture, each team should discuss the results with the instructors, where questions can be asked about the evaluations face to face. We ask that at least one member from each team (preferably the lead of HA1) be present at the lecture.

SWSV: HA1 consultation

This week you can ask questions about the first home assignments:

  • The second half of this week's lecture will be dedicated to questions about the home assignment. Each team can asks questions individually from the instructors.
  • If you have technical problems, use the Q2A site or show us the problem in this week's lab session.
Tartalom átvétel