SZVV kiselőadások

Kiselőadások Szoftver verifikáció és validáció tárgyból

2011. november 30. szerda, 14:15-16:00, I.L.405.

• Áfra Attila: Intel Inspector XE: Memória és szálproblémák ellenőrzése
• Pék Gábor: Statikus és dinamikus biztonsági kódanalízis

2011. december 1. csütörtök, 14:15-16:00, I.L.405.

• Budai Péter: A FindBugs és az MS Visual Studio Code Analysis eszközök összehasonlítása
• Hartung István: Modellezési szabályok ellenőrzése és reverse engineering az ArgoUML eszközben
• Zakál Dávid: Gendarme: Szabály alapú statikus forráskód-verifikáció

2011. december 7. szerda, 14:15-16:00, I.L.405.

• Pándi Krisztián: TTCN3 fordító helyességellenőrzése: kihívások, módszerek, tesztek
• Fehér Péter: Modell alapú megközelítés teszt újrafelhasználáshoz intellligens otthon esetén
• Galambos Róbert: A Parasoft C++test bemutatása
• Nagy Gábor: Hibaokok és hatások analízise diszkrét gyártás területén
• Paróczi Zsombor: Continuous integration eszközök ipari használata

2011. december 8. csütörtök, 14:15-16:00, I.L.405.

• Csuka Zsolt: ISO/IEC-9126 szoftver minőségi szabvány áttekintése
• Hesz Gábor: Pacemaker készülékek szoftverének verifikációja
• Kertész Zsolt: Egészségügyi beágyazott rendszerek verifikációja
• Móczár Zoltán: A CSMA/CD protokoll modellezése és verifikációja
• Villányi Balázs: A Java PathFinder bemutatása 

Minden érdeklődőt várunk!