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