Rendszermodellezés 2. ZH/Rendszermodellezés
A VIK Wikiből
A specifikáció...
- ...informális, ha többféle értelmezése is lehetséges.
- ...deklaratív, ha nem írja le az elvárt kimeneteket, csak az előállítás módját.
- ...mindig szöveges dokumentum.
- ...nemfunkcionális, ha teljesítmény jellegű követelményeket ír le.
Viselkedésmodell absztrakciója során...
- ...információ vész el.
- ...a lehetséges megvalósítások száma csökken.
- ...elveszhetnek lehetséges lefutási utak.
- ...megjelenhetnek eddig végrehajthatatlan lefutási utak.
A futásidejű monitor...
- ...csak a rendszer kimeneteit figyeli.
- ...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
közben.
- ...része a specifikáció alapján elkészült rendszernek.
A tesztfedettség...
- ...az elvárt és tapasztalt kimenet egyezőségének mértéke
- ...0 és 1 közötti érték.
- ...új tesztesetek elkészítésével növelhető
- ...ha eléri az 1 értéket, akkor garantáltan nincs hiba a modellben / kódban
A modellellenőrzés...
- ...a modell szúróprobaszerű vizsgálata bizonyos inputokra.
- ...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.
- ...képes példát mutatni rá, ha egy adott követelmény nem teljesül a modellben.
A folyamatban egy elemi tevékenység vizitációs száma...
- ...a tevékenység átbocsátása és átbocsátóképessége közti arány
- ...a tevékenység átbocsátása és az egész folyamat átbocsátása közti arány
- ...kisebb vagy egyenlő az átbocsátóképességnél
- ...egyensúlyi helyzetben megegyezik az érkezési rátával
A rendre XP és XQ átbocsátóképességű P és Q elemi tevékenységekből tetszőleges vezérlési elemekkel összeállított folyamat átbocsátóképessége...
- ...min(XP, XQ), ha P és Q egy fork-join blokk két ága.
- ... (XP + XQ), amennyiben szabad a döntés P és Q között
- ...mindig P és Q közül a szűk keresztmetszet átbocsátóképességével egyezik
- ...mindenképpen min(XP, XQ)
Hallgatók lábméretét és a két Rendszermodellezés ZH-n elért összpontszámát vizsgáljuk.
- Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogy
a töröttvonalak párhuzamosak egymással, akkor mindenki ugyanannyi pontot ért el, mint amekkora a lábmérete.
- Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogy a töröttvonalak párhuzamosak egymással, akkor a lábméret lineárisan függ a ZH összpontszámtól.
- Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor mindenki ugyanannyi pontot ért el, mint amekkora a lábmérete.
- Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor a lábméret lineárisan függ a ZH összpontszámtól.
A szimuláció...
- ...elvégezhető az informatikai rendszer megvalósítása nélkül is.
- ...helyettesíti a tesztelést, mivel minden lehetséges rendszerállapotot biztosan lefed.t
- ...célja lehet a rendszer logikai helyességének vizsgálata.
- ...nem támogatja osztott erőforrásokért versengő folyamatok modellezését.
A jólstrukturált folyamatmodell ...
- ...mindig determinisztikus, hiszen nem tartalmazhat elágazást.
- ...mindenfork-otszimmetrikusanlezárjoin-nal,ígyafolyamatágainemfognakkét
join-nál kölcsönösen egymásra várva deadlockba ragadni.
- ...mindig teljesen specifikált a jólstrukturált blokkokból való építkezés miatt.
- ...csak olyan ciklust tartalmazhat, amelynek egyetlen kilépési pontja van.
Egy rendszer teljesítményének (kapacitásának) tervezésekor...
- ... felhasználhatjuk a Zipf törvényt cache tervezésre, mert segítségével megadható, mekkora terhelést jelent a leggyakoribb kérések kiszolgálása
- ...felhasználhatjukaZipftörvényt,mertfordítottarányosságotfeltételezaválaszidő és a kihasználtság közt;
- ...benchmarkokat használhatunk a teljesítménytesztek kiváltására
- ...benchmarkokat használhatunk arra, hogy egy rendszer áteresztőképességét becsüljük adott felhasználószám mellett
Vizuális elemzésnél...
- ...két folytonos numerikus változó kapcsolatának vizsgálatára használhatunk párhuzamos koordináta diagramot.
- ...ha két változó doboz diagramjának (boxplotjának)lakjatökéletesenmegegyezik, akkor a változók értékei egyenes arányosságban állnak egymással.
- ...a doboz diagramról a konkrét értékek előfordulási száma explicite leolvasható.
- ...egy folytonos változó minden hisztogramjáról ugyanaz az információ olvasható le.
1000 mért adatpontot összesítve...
- ...a módusz lehet kisebb a 0.1-es kvantilisnél.
- ...a medián lehet kisebb a 0.1-es kvantilisnél.
- ...az átlag lehet kisebb a 0.1-es kvantilisnél.
- ...az első kvartilis lehet kisebb a 0.1-es kvantilisnél.
