Szoftver verifikáció és validáció - Segédanyagok

Félév: 2014. ősz
Cím	Egyedi szöveg
EA04: Részletes tervek ellenőrzése	Részletes tervek ellenőrzése
EA05: HML és LTL modellellenőrzés	HML és LTL modellellenőrzés
EA06: Elágazó idejű temporális logikák és CTL modellellenőrzés	Elágazó idejű temporális logikák és CTL modellellenőrzés
EA07: Az állapottér kezelés módszerei	Az állapottér kezelés módszerei
EA08: Korlátos modellellenőrzés	Korlátos modellellenőrzés
EA09: Sztochasztikus logikák	Sztochasztikus logikák
EA10: Időfüggő viselkedés modellezése és verifikációja	Időfüggő viselkedés modellezése és verifikációja
EA11: Modellek ekvivalenciájának ellenőrzése	Modellek ekvivalenciájának ellenőrzése
EA12: Forráskód ellenőrzés	Forráskód ellenőrzés
EA13-14: Programhelyesség-bizonyítás	Programhelyesség-bizonyítás
EA15: Absztrakció a verifikáció során	Absztrakció a verifikáció során
EA16: Teszttervezés modul/unit szinten	Teszttervezés modul/unit szinten
EA17: Integrációs- és rendszertesztelés	Integrációs- és rendszertesztelés
EA18: Relációk a teszteléshez	Relációk a teszteléshez
EA19: Modell alapú tesztelés	Modell alapú tesztelés
EA20: Speciális tesztelési feladatok. Szoftver karbantartás és értékelés.	Speciális tesztelési feladatok Szoftver karbantartás és értékelés
EA21: Rendszertervezés helyességbizonyítással (Event B)	Modellfinomítás és ellenőrzése
EA22: A B módszer elemei	Programok szintézise A B módszer áttekintése A B módszer és az UML kapcsolata
JE01: Korábbi évek jegyzetei	Korábbi évek jegyzetei (háttéranyag)

Félév: 2013. ősz
Cím	Egyedi szöveg
EA01: Bevezető áttekintés	Tárgyadatok Bevezető áttekintés
EA02: Követelmények ellenőrzése	Követelmények ellenőrzése
EA03: Architektúra tervek ellenőrzése	Architektúra tervek ellenőrzése
EA04: Részletes tervek ellenőrzése. HML és LTL modellellenőrzés.	Részletes tervek ellenőrzése HML és LTL modellellenőrzés
EA05: Elágazó idejű temporális logikák ellenőrzése	CTL modellellenőrzés
EA06: Állapottér kezelés	Az állapottér hatékony kezelése