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

Félév: 2016. ősz
Title	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	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: Állapottér kezelés: Szimbolikus és korlátos modellellenőrzés	Szimbolikus és korlátos modellellenőrzés
EA08: Részleges rendezés	Részleges rendezé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	Absztrakt interpretáció és predikátumabsztrakció CEGAR-alapú szoftver 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ú tesztgenerálás	Modell alapú tesztgenerálás Esettanulmány
EA21: Szoftver karbantartás és értékelés	Szoftver karbantartás és értékelés
EA22: Rendszertervezés helyességbizonyítással (Event B)	Rendszertervezés helyességbizonyítással (Event B)
EA23: A B módszer elemei	Programok szintézise A B módszer áttekintése A B módszer és az UML
JE01: Korábbi évek jegyzetei	Korábbi évek jegyzetei (háttéranyag)

Félév: Fall 2015
Title	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

Primary Links

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

Languages

BME EduID Sign on

User login

Leírások

Navigation