EA04: Részletes tervek ellenőrzése
Semester:
2011. ősz
Az előadás anyaga:
-
Áttekintés
- Milyen szerepe van a részletes terveknek?
- Milyen ellenőrzési módszerek vannak?
-
Modellellenőrzés
- Kimerítő (teljes) technikák
- Korlátos modellellenőrzés
- UML állapottérképek modellellenőrzése
-
Ekvivalencia ellenőrzés
- Trace ekvivalencia
- Megfigyelési ekvivalencia (gyenge biszimuláció)
- Egy rendezési reláció a lehetséges viselkedés szerint
- Mintapélda: Hibatűrés verifikációja
