Software and Systems Verification - Hírek

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.

SWSV: HA2 is out

The second phase of the home assignment (HA2) 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: HA1 evaluation is published

The evaluation of the first phase of the home assignment (HA1) 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: LAB1 results

We checked the submissions for the LAB1 session. We accepted all submission.

IMPORTANT NOTE: Please pay attention to set your name and email address in Git before commiting to the team repository. We ask you to only use the same email address for all your commits.

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.

IMPORTANT: For some students it was not easy to check whether he or she contributed to the tasks, e.g. their output was a late comment to an issue. For the subsequent phases please be sure that everyone has a tangible contribution to the team's work that is visible in the GitHub repository (e.g. commits to the repository, edits in the wiki page, meaningful review comments on issues). 

 

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.

Deadline: 2017-09-07 23:59

More information on the home assignment can be found here.

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 »

Syndicate content