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

Csia Klaudia Kitti (vitalap | szerkesztései)
Nincs szerkesztési összefoglaló
Csia Klaudia Kitti (vitalap | szerkesztései)
Nincs szerkesztési összefoglaló
167. sor: 167. sor:
{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
{{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.
#…benchmarkokból kiolvasható a vizsgált rendszer jövőben várható érkezési rátája.
#…szimulációval megállapítható a különféle terheléseknél várható teljesítmény.
#…szimulációval megállapítható a különféle terheléseknél várható teljesítmény, és az erőforrások kihasználtságát 40-60% közé érdemes tervezni.
#…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 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.
#…felhasználhatjuk a Zipf törvényt, mert egyenes arányosságot feltételez a válaszidő és a kihasználtság közt.
267. sor: 267. sor:
#...ellenőrizhet szintaktikai szabályokat.
#...ellenőrizhet szintaktikai szabályokat.
#...kereshet hibamintákat a modellben.
#...kereshet hibamintákat a modellben.
#...tesztorákulumot igényel.
#...tesztorákulumot igényel, és attól statikus, hogy közben nem módosítjuk a rendszermodellt.


==A tesztelés célja...==
==A tesztelés célja...==
350. sor: 350. sor:
#...alsó becslés adható a folyamat átbocsátóképességére.
#...alsó becslés adható a folyamat átbocsátóképességére.
#...felső 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ó az érkezési ráta.
#...meghatározható az érkezési ráta és az átbocsátás.
#...meghatározható a kihasználtság.
#...meghatározható a kihasználtság.


450. sor: 450. sor:
#...mindig elég a tesztbemeneteket megadni, hiszen a kimeneteket úgy is kiszámíthatja a tesztelt rendszer.
#...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.
#...nem módosítjuk a rendszermodellt, ezért számít statikus ellenőrzésnek.
==Egy tesztorákulum...==
{{kvízkérdés|típus=több|válasz=3|pontozás=-}}
#...mellé mindig kell tesztbemenetet is adni, míg a referencia tesztbemenet nélkül is ellenőrizni a helyes működést.
#...mindig pontosan megmondja, hogy mi az elvárt kimenet.
#...mindig készíthető a tesztesethez, ha készíthető hozzá referencia.
#...minden esetben felhasználja a rendszernek adott tesztbemenetet.
==Eddigi mért értékeink 101, 101, 101, 103, 106, 110, 111, 115. Hozzátehetünk ehhez a számhalmazhoz egy pozitív elemet úgy, hogy...==
{{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}}
#...a medián 105 legyen.
#...a módusz nagyobb legyen, mint a medián.
#...a medián nagyobb legyen, mint az átlag.
#...az átlag nagyobb legyen, mint 115.
== A tesztfedettség... ==
{{kvízkérdés|típus=több|válasz=|pontozás=-}}
# ...ha eléri az 1 értéket, akkor granatáltan nincs hiba a modellben/kódban.
# ...lehetséges értelmezései közül a 100%-os állapotfedés mindig 100%-os átmenet fedettség is eredményez.
# ...az elvárt és a tapasztalt kimenet egyezőségének mértéke.
# ...új tesztesetek elkészítésével növelhető.
==A deadlock...==
{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
#...csak folyamatmodelleken értelmezett fogalom.
#...jólstrukturált, teljesen specifikált folyamatban nem fordulhat elő.
#...olyan állapot, amelyből a rendszer a modellezett inputok és események hatására nem képes kilépni, legfeljebb külső (a modellen túlmutató) segítséggel.
#...determinisztikus folyamatban nem fordulhat elő.