Hibatűrő Rendszerek Kutatócsoport
Méréstechnika és Információs Rendszerek Tanszék
Elsődleges linkek
Kezdőlap
Események
Oktatás
Specializációválasztás
BSc tárgyak (Új képzés)
MSc tárgyak (Új képzés)
Önálló munka
Választható tárgyak
Doktori tárgyak
A modellvezérelt rendszertervezés alapjai
Szoftver verifikáció és validáció
Hírek
Segédanyagok
Vizsgakérdések
Korábbi tárgyak
Kutatás
Kutatási területek
Alkalmazási területek
Projektek
Eszközök
Publikációk
Hallgatóink sikerei
Kari TDK eredmények
Országos TDK eredmények
Magunkról
Munkatársak
Megközelítés
Partnereink
IBM Center of Advanced Studies
Primary Links
Keresés a webhelyen:
Szoftver verifikáció és validáció - Segédanyagok
Félév: 2016. ő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
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: 2015. ő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
1
2
3
4
5
6
következő ›
utolsó »
Oktatás
Specializációválasztás
BSc tárgyak (Új képzés)
MSc tárgyak (Új képzés)
Önálló munka
Választható tárgyak
Doktori tárgyak
A modellvezérelt rendszertervezés alapjai
Szoftver verifikáció és validáció
Hírek
Segédanyagok
Vizsgakérdések
Korábbi tárgyak
Nyelvek
BME Címtár belépés
Belépés
Felhasználói név:
*
Jelszó:
*
Leírások
Dokumentáció és mérési jegyzőkönyvek készítése
Házi feladatok és jegyzőkönyvek leadása
IT szolgáltatások
Egyéb leírások
Navigáció
Conference materials