Software and Systems Verification - Hírek

SWSV: HA3 evaluation is published

The evaluation of the third phase of the home assignment (HA3) has been published. The detailed evaluations can be found on the GitHub wikis (via the HomeAssignmentEvaluation page). If you have any questions regarding the evaluation, please contact the lead instructor during the lectures or labs.

SWSV: website will be down this weekend

Due to a planned maintenance for the power systems of the I building, the inf.mit.bme.hu website including the SWSV website will be down probably for the whole weekend starting from Friday evening.

Please download any materials that you could need (e.g. slides for the MBT lesson, description of HA4).

The lab materials and team repositories on GitHub will be (hopefully) accessible.

SWSV: HA4 is out

The fourth phase of the home assignment (HA4) 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.

SWSV: LAB4 results

The results of LAB4 have been published (see here).

Please pay attention that 4 labs needs to be completed, and there are only 2 labs left (there are several people with 2 completed labs!).

SWSV: LAB results updated

There was a bug in the script collecting the lab results (it was not tested well:). It has been corrected and the results of the LABs have been updated (see the table).

We ask everyone to double check the table and see whether their results are correctly reflected. It there are any problems, please email the lead instructor.

SWSV: HA2 evaluation is published

The evaluation of the second phase of the home assignment (HA2) has been published. The detailed evaluations can be found on the GitHub wikis (via the HomeAssignmentEvaluation page). If you have any questions regarding the evaluation, please contact the lead instructor during the lectures or labs.

SWSV: LAB registration sheet

Please do not forget to update the LAB registration sheet before each lab session. It would help us greatly with the planning of the labs.

SWSV: HA3 deadline extension

As the HA3 deadline is conflicting with mid-terms from other subjects, we will extend the HA3 submission to 2017-11-12 23:59.

The Home assignment page have been updated with the new deadline. (The milestone in each team's repository has not been changed, the teams should change that).

SWSV: HA3 is out

The third phase of the home assignment (HA3) 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.

Invited lecture: The Titan test tool

On Tuesday 24 October Lénárd Nagy and Balazs Supola (from Ericsson) will held an industrial invited lecture.

Their lecture and demonstrations will be about the open source Titan test tool, which is a TTCN-3 based test automation framework.

Syndicate content