„Rendszermodellezés 2. ZH/Rendszermodellezés” változatai közötti eltérés
| 21. sor: | 21. sor: | ||
# ...csak a rendszer kimeneteit figyeli. | # ...csak a rendszer kimeneteit figyeli. | ||
# ...bemeneti és kimeneti invariánsokat ellenőriz futás közben. | # ...bemeneti és kimeneti invariánsokat ellenőriz futás közben. | ||
# ...helyettesíti a tesztelést, hiszen képes megakadályozni a hibás működést futás | # ...helyettesíti a tesztelést, hiszen képes megakadályozni a hibás működést futás közben. | ||
közben. | |||
# ...része a specifikáció alapján elkészült rendszernek. | # ...része a specifikáció alapján elkészült rendszernek. | ||