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

Félév: 2015. ősz
Cím	Egyedi szöveg
EA03: Architektúra tervek ellenőrzése	Architektúra tervek ellenőrzése
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 CEGAR-alapú modellellenőrzés
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: Speciális tesztelési feladatok	Speciális tesztelési feladatok
EA19: Relációk a teszteléshez	Relációk a teszteléshez
EA20: Modell alapú tesztelés	Modell alapú tesztelés
EA21a: Szoftver karbantartás és értékelés	Szoftver karbantartás és értékelés
EA21b: Rendszertervezés helyességbizonyítással (Event B)	Rendszertervezés helyességbizonyítással (Event B)
EA22: A B módszer elemei	Programok szintézise A B módszer áttekintése A B módszer és az UML kapcsolata
EA23 Esettanulmány. Az SMT.	Dekompozíciós módszer egy valósidejű biztonságkritikus protokoll ellenőrzéséhez Satisfiability Modulo Theories
JE01: Korábbi évek jegyzetei	Korábbi évek jegyzetei (háttéranyag)

Félév: 2014. ő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

Elsődleges linkek

Primary Links

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

Oktatás

Nyelvek

Belépés

Leírások

Navigáció