EA10: Modell alapú tesztelés
Semester:
2011. ősz
Az előadás tartalma:
-
Motiváció
- Modellek (informális) szerepe a tesztelésben
- Modell alapú tesztgenerálás
-
Tesztgenerálás fedettségi kritériumokhoz
- Direkt algoritmusok
- Modellellenőrzők használata
- Tesztgenerálás korlátos modellellenőrzéssel
-
Tesztgenerálás hibamodellek alapján
- Modell mutációk
- Ekvivalencia relációk tesztgeneráláshoz
- Eszközök a tesztgeneráláshoz
Download:
