EA04: Részletes tervek ellenőrzése
Semester:
2010. ősz
Az előadás tartalma:
-
Á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ó)
- Mintapélda: Hibatűrés verifikációja
Download:
