EA11: Modell alapú tesztgenerálás
Semester:
2010. ősz
Az előadás tartalma:
-
Motiváció
- Modellek 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
