Fault Tolerant Systems Research Group
Department of Measurement and Information Systems
Primary Links
Home
Events
Education
Critical Embedded Systems
System Modelling
Software and Systems Verification
Formal Methods
Software Verification and Validation
Research
Research Directions
Application Areas
Projects
Tools
Publications
Authors
Keywords
About Us
Members
Location
Partners and Sponsors
Search this site:
Szoftverellenőrzési technikák - Segédanyagok
Félév: 2014. ősz
Title
Egyedi szöveg
EA01: Alapok
Tárgyadatok
A szoftverellenőrzés szerepe
EA02: Követelmények kezelése és a specifikáció ellenőrzése
Követelménykezelés. A követelményspecifikáció ellenőrzése.
GYAK00: Gyakorlat és házi feladat tájékoztató
Gyakorlat és HF tájékoztató
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
GYAK01: Követelmények ellenőrzése
GYAK1 útmutatója
EA05: Forráskód ellenőrzése
Forráskód ellenőrzése
EA06 A szoftvertesztelés alapjai
A szoftvertesztelés alapjai
Fejlesztői tesztelés
GYAK02: Részletes tervek és forráskód ellenőrzése
GYAK2 útmutatója
EA07: Teszttervezési technikák
Specifikáció alapú teszttervezés
Struktúra alapú teszttervezés
EA08: Tesztelési fázisok
Tesztelés a fejlesztés különböző fázisaiban
GYAK03: Fejlesztői tesztelés
GYAK3 útmutatója
EA09: Automatikus teszt futtatás, folytonos integráció
Automatikus teszt futtatás, folytonos integráció
EA10: Felhasználói felületek tesztelése. Profiling.
Felhasználói felületek tesztelése
Futásidő és memóriahasználat monitorozása (profiling)
GYAK04: Teszttervezés és integrációs tesztelés
GYAK4 útmutatója
EA11: Kód alapú tesztelés, robusztusság tesztelése
Kód alapú tesztelés
Robusztusság tesztelése
EA12: Modell alapú tesztelés
Modell alapú tesztelés
GYAK05: Automatikus tesztgenerálás
GYAK5 útmutatója
EA13: Futásidőbeli verifikáció
Futásidőbeli verifikáció
EA14: Esettanulmányok
Testing of a safe driver-machine interface
Testing the robustness of context-aware autonomous behaviour
Testing the robustness of communicating autonomous systems
Félév: 2013. ősz
Title
Egyedi szöveg
EA01: Alapok
Tárgyadatok
A szoftverellenőrzés szerepe
GYAK00: Gyakorlat és házi feladat tájékoztató
Gyakorlat és HF tájékoztató
EA02: Követelmények kezelése és a specifikáció ellenőrzése
Követelménykezelés. A követelményspecifikáció ellenőrzése
GYAK01: Követelmények ellenőrzése
Az 1. gyakorlat útmutatója
EA03: Architektúra tervek ellenőrzése
Architektúra tervek ellenőrzése
1
2
3
4
next ›
last »
Languages
BME EduID Sign on
Login
User login
Username:
*
Password:
*
Leírások
Submitting homework and lab assignments
IT Services
Egyéb leírások
Navigation
Conference materials