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: 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ő
‹ előző
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