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

Félév: 2013. ősz
Cím	Egyedi szöveg
EA07: Korlátos modellellenőrzés	Korlátos modellellenőrzés
EA08: Sztochasztikus logikák	Sztochasztikus logikák
EA09: Időfüggő viselkedés modellezése és verifikációja	Időt kezelő modellek és temporális logikák
EA10: Modellek ekvivalenciájának ellenőrzése	Ekvivalencia ellenőrzés
EA11: Forráskód ellenőrzés	Forráskód ellenőrzés
EA12: Korszerű modellellenőrzési technikák	Ellenpélda alapú absztrakció finomítás Szaturáció
EA13: Esettanulmányok	PRISE mintapélda
EA14: Programhelyesség bizonyítás	Programhelyesség bizonyítás
EA15: Absztrakció a verifikáció során	Absztrakció a verifikáció során
EA16: Tesztelés és teszttervezés modul/unit szinten	Modul/unit tesztelés
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	Speciális tesztelési feladatok
EA21: Szoftver karbantartás és értékelés	Szoftver karbantartás és értékelés
EA22: Eseményalapú rendszertervezés helyességbizonyítással (Event-B)	Modellfinomítás és ellenőrzése
EA23: 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: 2012. ő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. LTL modellellenőrzés.	Részletes tervek ellenőrzése LTL modellellenőrzés
EA05: Elágazó idejű temporális logikák	CTL modellellenőrzés
EA06: Állapottér kezelés	Szimbolikus modellellenőrzés és részleges rendezés
EA07: Korlátos modellellenőrzés	Korlátos modellellenőrzés

Elsődleges linkek