Software and Systems Verification - Hírek

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.

SWSV: VM in BME Cloud for the course

As an experimental feature, we created a virtual machine template in the Smallville datacenter of BME's cloud.

If you log in with your EduID directory account, then you should be able to create an SWSV-2018-v1 virtual machine.

The VM contains Windows 10, Java 8, Maven, Git, Eclipse, IntelliJ, Atom, SonarQube and some other tools that will be used in the labs and home assignment. Read more »

SWSV: Forming teams (2018)

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

Students can form teams, and the teams shall register using this form.

Deadline: 2018-09-06 12:00

The students, who do not have teams, can find team members in the practical sessions on 6th and 13th September. Read more »

SWSV: Invited speaker on 5 September 2018

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

Arpad Csincsak (GE Healthcare)

His talk will be about testing trends and challenges.

Bio: Árpád Csincsák is a testing expert and enthusiast with 16 years of experience in software engineering. He works for the GE Healthcare as a global Test Leader where he oversees test activities of 40 scrum teams across the globe.

SWSV: 3rd exam results

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

The exams can be checked on 17th January 13:00-14:00 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 18th January 8: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 10th January 13:00-14:00 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 10th January 18:00, and suggest possible dates.

SWSV: 1st exam results

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

The exams can be checked on 19th December 13:00-14:00 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 December 14:00, and suggest possible dates.

SWSV: LAB6 results and signatures

The results of LAB6 have been published.

All lab and home assignment results have been summarized.

Syndicate content