„Rendszermodellezés 2. ZH/Rendszermodellezés” változatai közötti eltérés

== A modellellenőrzés... ==

{{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}

# ...matematikailag bizonyítja a modell helyességét.

# ...kisebb számításigényű, mint egy tesztkészlet futtatása, hiszen nem kell ténylegesen végrehajtani a modellt.

#…hasonlóság, hogy mindkettő támogatja a hierarchikus modelleket (tehát pl. egy összetett tevékenység takarhat több kisebb elemi lépést, különböző erőforrásigényekkel).

#…a két kifejezés pontosan ugyanazt a rendszermodellezési lépést jelöli (az egyik az elérendő cél, a másik a felhasznált technika neve), és ugyanazokban az esetekben alkalmazhatóak.

==Vizuális elemzésnél...==

{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}

#…benchmarkokból kiolvasható a vizsgált rendszer jövőben várható érkezési rátája.

#…felhasználhatjuk a Zipf törvényt cache méretezésére, mert segítségével megadható, mekkora terhelést jelent a leggyakoribb néhány kérés kiszolgálása.

#…felhasználhatjuk a Zipf törvényt, mert egyenes arányosságot feltételez a válaszidő és a kihasználtság közt.

#...befolyással lehet a rendszer átbocsátóképességére.

{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}

#...a kihasználtság mindig 100%-os.

#...ellenőrizhet szintaktikai szabályokat.

#...kereshet hibamintákat a modellben.

==A tesztelés célja...==

#...alsó becslés adható a folyamat átbocsátóképességére.

#...felső becslés adható a folyamat átbocsátóképességére.

#...meghatározható a kihasználtság.

#...annak mértéke, hogy a teszteléskor a modell vagy szoftver mekkora részét próbáljuk ki.

#...csak egyetlen tesztesetre számítható.

#...lehetséges értelmezései közül a 100%-os átmenet/utasítás fedettség azt is jelenti, hogy minden lehetséges bemenetsorozatot leteszteltünk.

#...mindig elég a tesztbemeneteket megadni, hiszen a kimeneteket úgy is kiszámíthatja a tesztelt rendszer.

#...nem módosítjuk a rendszermodellt, ezért számít statikus ellenőrzésnek.