„Rendszermodellezés 2. ZH/Rendszermodellezés” változatai közötti eltérés
Új oldal, tartalma: „{{Kvízoldal |cím=ReMo 2. ZH kikérdező }} == A specifikáció... == {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}} # ...informális, ha többféle értelmez…” |
|||
| 36. sor: | 36. sor: | ||
# ...a modell szúróprobaszerű vizsgálata bizonyos inputokra. | # ...a modell szúróprobaszerű vizsgálata bizonyos inputokra. | ||
# ...matematikailag bizonyítja a modell helyességét. | # ...matematikailag bizonyítja a modell helyességét. | ||
# ...kisebb számításigényű, mint egy tesztkészlet futtatása, hiszen nem kell | # ...kisebb számításigényű, mint egy tesztkészlet futtatása, hiszen nem kell ténylegesen végrehajtani a modellt. | ||
ténylegesen végrehajtani a modellt. | |||
# ...képes példát mutatni rá, ha egy adott követelmény nem teljesül a modellben. | # ...képes példát mutatni rá, ha egy adott követelmény nem teljesül a modellben. | ||