Software and Systems Verification - Hírek

SWSV: HA2 is out

Submitted by Ákos Hajdu on Fri, 2017-10-13 12:59

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

Submitted by Ákos Hajdu on Thu, 2017-10-12 13:32

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

Submitted by Zoltán Micskei on Thu, 2017-10-05 11:04

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

Submitted by Ákos Hajdu on Fri, 2017-09-22 09:39

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

Submitted by Zoltán Micskei on Thu, 2017-09-21 10:42

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

Submitted by Zoltán Micskei on Thu, 2017-09-07 00:58

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

Submitted by Zoltán Micskei on Mon, 2017-09-04 22:02

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

Submitted by Zoltán Micskei on Mon, 2017-09-04 19:01

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

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login