EA18: Finomítási relációk és kapcsolatuk a teszteléssel
Semester:
2011. ősz
Az előadás tartalma:
-
Finomítási relációk
- Lehetséges viselkedés szerinti rendezés
- Szükséges viselkedés szerinti rendezés
-
Konformancia relációk teszteléshez
- k-ekvivalencia
- input-output konformancia (IOCO)
Download: