„Rendszermodellezés 2. ZH/Rendszermodellezés” változatai közötti eltérés
Ugrás a navigációhoz
Ugrás a kereséshez
a |
|||
(8 közbenső módosítás, amit 3 másik szerkesztő végzett, nincs mutatva) | |||
1. sor: | 1. sor: | ||
{{Kvízoldal | {{Kvízoldal | ||
− | |cím=ReMo 2. ZH kikérdező | + | |cím=ReMo 2. ZH kikérdező|pontozás=- |
}} | }} | ||
26. sor: | 26. sor: | ||
== A tesztfedettség... == | == A tesztfedettség... == | ||
{{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=-}} | ||
− | # ...az elvárt és tapasztalt kimenet egyezőségének mértéke | + | # ...az elvárt és tapasztalt kimenet egyezőségének mértéke. |
# ...0 és 1 közötti érték. | # ...0 és 1 közötti érték. | ||
− | # ...új tesztesetek elkészítésével növelhető | + | # ...ú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 | + | # ...ha eléri az 1 értéket, akkor garantáltan nincs hiba a modellben / kódban. |
== A modellellenőrzés... == | == A modellellenőrzés... == | ||
{{kvízkérdés|típus=több|válasz=2,4|pontozás=-}} | {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}} | ||
− | # ...a modell | + | # ...a modell szúrópróbaszerű 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 ténylegesen végrehajtani a modellt. | # ...kisebb számításigényű, mint egy tesztkészlet futtatása, hiszen nem kell ténylegesen végrehajtani a modellt. | ||
40. sor: | 40. sor: | ||
== A folyamatban egy elemi tevékenység vizitációs száma... == | == A folyamatban egy elemi tevékenység vizitációs száma... == | ||
{{kvízkérdés|típus=több|válasz=2|pontozás=-}} | {{kvízkérdés|típus=több|válasz=2|pontozás=-}} | ||
− | # ...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 á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 | + | # ...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 | + | # ...kisebb vagy egyenlő az átbocsátóképességnél. |
− | # ...egyensúlyi helyzetben megegyezik az érkezési rátával | + | # ...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... == | == 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... == | ||
{{kvízkérdés|típus=több|válasz=1,2|pontozás=-}} | {{kvízkérdés|típus=több|válasz=1,2|pontozás=-}} | ||
# ...min(XP, XQ), ha P és Q egy fork-join blokk két ága. | # ...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 | + | # ...(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 | + | # ...mindig P és Q közül a szűk keresztmetszet átbocsátóképességével egyezik. |
− | # ...mindenképpen min(XP, XQ) | + | # ...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. == | == Hallgatók lábméretét és a két Rendszermodellezés ZH-n elért összpontszámát vizsgáljuk. == | ||
{{kvízkérdés|típus=több|válasz=2|pontozás=-}} | {{kvízkérdés|típus=több|válasz=2|pontozás=-}} | ||
− | # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, | + | # 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 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 mindenki ugyanannyi pontot ért el, mint amekkora a lábmérete. | ||
62. sor: | 62. sor: | ||
{{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} | {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} | ||
# ...elvégezhető az informatikai rendszer megvalósítása nélkül is. | # ...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. | + | # ...helyettesíti a tesztelést, mivel minden lehetséges rendszerállapotot biztosan lefed. |
# ...célja lehet a rendszer logikai helyességének vizsgálata. | # ...célja lehet a rendszer logikai helyességének vizsgálata. | ||
# ...nem támogatja osztott erőforrásokért versengő folyamatok modellezését. | # ...nem támogatja osztott erőforrásokért versengő folyamatok modellezését. | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
== Egy rendszer teljesítményének (kapacitásának) tervezésekor... == | == Egy rendszer teljesítményének (kapacitásának) tervezésekor... == | ||
{{kvízkérdés|típus=több|válasz=1,4|pontozás=-}} | {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}} | ||
− | # ... 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á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álhatjuk a Zipf törvényt, mert fordított arányosságot feltételez a válaszidő és a kihasználtság közt. |
− | # ...benchmarkokat használhatunk a teljesítménytesztek kiváltására | + | # ...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 | + | # ...benchmarkokat használhatunk arra, hogy egy rendszer áteresztőképességét becsüljük adott felhasználószám mellett. |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
== 1000 mért adatpontot összesítve... == | == 1000 mért adatpontot összesítve... == | ||
− | {{kvízkérdés|típus=több|válasz=1 | + | {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} |
# ...a módusz lehet kisebb a 0.1-es kvantilisnél. | # ...a módusz lehet kisebb a 0.1-es kvantilisnél. | ||
# ...a medián lehet kisebb a 0.1-es kvantilisnél. | # ...a medián lehet kisebb a 0.1-es kvantilisnél. | ||
97. sor: | 83. sor: | ||
{{kvízkérdés|típus=több|válasz=3|pontozás=-}} | {{kvízkérdés|típus=több|válasz=3|pontozás=-}} | ||
#A lábméret egy rendezett kategorikus változó. | #A lábméret egy rendezett kategorikus változó. | ||
− | #A szemszín egy rendezett kategorikus változó | + | #A szemszín egy rendezett kategorikus változó. |
#A képzés foka egy rendezett kategorikus változó. | #A képzés foka egy rendezett kategorikus változó. | ||
#A képzés foka numerikus változó. | #A képzés foka numerikus változó. | ||
+ | |||
+ | ==A specifikáció és az implementáció...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} | ||
+ | #…egy fejlesztési lépés/lépéssorozat bemenete illetve kimenete. | ||
+ | #…közül a specifikációban van több információtartalom, az a konkrétabb. | ||
+ | #…lehet például egy szöveges leírás és egy azonos jelentésű állapotgép. | ||
+ | #…kapcsolata mindig kölcsönösen egyértelmű, azaz egy specifikációhoz egy implementáció létezik, és fordítva. | ||
+ | |||
+ | ==Finomítással...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,3,4|pontozás=-}} | ||
+ | #…részletezhetjük a modell működését. | ||
+ | #…részletezhetjük a modell felépítését. | ||
+ | #…részletezhetjük a modell által kezelt adatokat. | ||
+ | #…eszköztől függően akár elkészíthetjük a specifikációnak szánt modell egy implementációját. | ||
+ | |||
+ | ==A tesztesetek megadásához szükséges...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} | ||
+ | #…tesztbemenet. | ||
+ | #…tesztfedettségi arány. | ||
+ | #…elvárt kimenet vagy tesztorákulum. | ||
+ | #…futásidejű monitor. | ||
+ | |||
+ | ==A holtpont...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}} | ||
+ | #…egy 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. | ||
+ | #…előfordulhat úgy, hogy a rendszer folyamatai egymásra várakoznak. | ||
+ | #…és a végtelen ciklus között fontos különbség, hogy a végtelen ciklusban történhet állapotváltozás, míg a holtpontban nem. | ||
+ | #…determinisztikus folyamatban nem fordulhat elő. | ||
+ | |||
+ | ==Egy erőforrás kihasználtsága...== | ||
+ | {{kvízkérdés|típus=több|válasz=1|pontozás=-}} | ||
+ | #…nemnegatív. | ||
+ | #…mindig nagyobb vagy egyenlő a vizitációs számnál. | ||
+ | #…kisebb vagy egyenlő az átbocsátóképességnél. | ||
+ | #…egyensúlyi helyzetben megegyezik az érkezési rátával. | ||
+ | |||
+ | ==Egy folyamat átbocsátási rátája...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}} | ||
+ | #…nemnegatív. | ||
+ | #…mindig nagyobb vagy egyenlő a vizitációs számnál. | ||
+ | #…kisebb vagy egyenlő az átbocsátóképességnél. | ||
+ | #…egyensúlyi helyzetben megegyezik az érkezési rátával. | ||
+ | |||
+ | ==Egyensúlyi helyzetben lévő teljesítménymodell esetén...== | ||
+ | {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}} | ||
+ | #…az érkezési ráta meghaladhatja az átbocsátóképességet. | ||
+ | #…időegységenként ugyanannyi folyamatpéldány indul, mint ahány befejeződik. | ||
+ | #…az átbocsátási ráta és az átbocsátóképesség mindig megegyezik. | ||
+ | #…a Little-törvény mindenképpen fennáll. | ||
+ | |||
+ | ==A folyamatszimuláció és a teljesítménymodellezés esetén...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}} | ||
+ | #…különbség, hogy a szimuláció az erőforrásfoglalások becslése alapján futási eseteket becsül meg, míg a teljesítménymodellen végzett számítások általános összefüggéseket állapítanak meg sok futási eset átlagáról. | ||
+ | #…hasonlóság, hogy mindkét módszer figyelembe veszi az egy tevékenység elvégzésére alkalmas erőforrások számát. | ||
+ | #…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=1|pontozás=-}} | ||
+ | #…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) alakja tökéletesen megegyezik, 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. | ||
+ | |||
+ | ==Ha a rendszer felépítését vagy terhelését megváltoztatva az átbocsátása megnő...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} | ||
+ | #…miközben egy adott tevékenységének átbocsátása nem változik, akkor a tevékenység vizitációs száma csökken. | ||
+ | #…de az átbocsátóképessége változatlan, akkor a kihasználtság csökken. | ||
+ | #…akkor (egyensúlyi helyzetet feltételezve) az érkezési ráta is megnőtt. | ||
+ | #…akkor a rendszerben kiszolgálás alatt lévő kérések száma csökken, változatlan válaszidőt feltételezve. | ||
+ | |||
+ | ==Egy rendszer teljesítményének (kapacitásának) tervezésekor...== | ||
+ | {{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. | ||
+ | #…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, mert egyenes arányosságot feltételez a válaszidő és a kihasználtság közt. | ||
+ | |||
+ | ==Adatfolyamháló finomításakor...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}} | ||
+ | #…halmazfinomítással bővíthetjük a kommunikációs csatornák tokenkészletét, a csatornára illeszkedő csomópontokat hozzáigazítva. | ||
+ | #…a csomópontok (mint önálló viselkedésmodellek) belső működését finomíthatjuk. | ||
+ | #…a csomópontokat kiválthatjuk egy összetett részhálóval. | ||
+ | #…egy viselkedésmodellel leírt rendszerből származtathatjuk a specifikációját. | ||
+ | |||
+ | ==A jólstrukturált folyamatmodell...== | ||
+ | {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}} | ||
+ | #…mindig determinisztikus, hiszen nem tartalmazhat elágazást. | ||
+ | #…minden fork-ot szimmetrikusan lezár join-nal, így a folyamat ágai nem fognak ké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. | ||
+ | |||
+ | ==A követelmények...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,4|pontozás=-}} | ||
+ | #…a megvalósítandó rendszerrel szembeni elvárások. | ||
+ | #…néha többféleképpen értelmezhetőek, ha informálisan vannak megadva. | ||
+ | #…nemfunkcionális jellegű állítások, míg funkcionális feltételek csak az alacsonyabb szintű specifikációkban fogalmazhatóak meg. | ||
+ | #…a modellezés vagy fejlesztés során szerzett tapasztalatok alapján iteratíve pontosíthatóak. | ||
+ | |||
+ | ==A tesztelés során az orákulum és a referencia között...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}} | ||
+ | #…hasonlóság, hogy mindkettő a tesztelt rendszer kimenetének ellenőrzésére szolgál. | ||
+ | #…különbség, hogy deklaratív követelmények esetén referencia nem mindig adható meg, csak tesztorákulum. | ||
+ | #…kapcsolat, hogy a referenciából szükség szerint mindig készíthető vele azonos jelentésű orákulum, amely egyszerűen a referenciával való egyezőséget vizsgálja. | ||
+ | #…különbség, hogy a referencia tesztbemenet nélkül ellenőrzi a működést, míg az orákulum mellé tesztbemenetet is meg kell adni. | ||
+ | |||
+ | ==A tesztfedettség...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,4|pontozás=-}} | ||
+ | #…0 és 1 közötti érték. | ||
+ | #…mérésének célja, hogy becslést kapjunk a tesztkészlet minőségéről, teljességéről. | ||
+ | #…növelhető a tesztorákulum megengedőbbé tételével. | ||
+ | #…növelhető új tesztek felvételével. | ||
+ | |||
+ | ==A modellellenőrzés...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}} | ||
+ | #…célja, hogy matematikai precizitással igazolja a specifikáció teljesülését. | ||
+ | #…a rendszert futási időben figyelve detektálja, ha az eltér a specifikációtól. | ||
+ | #…statikus elemzés, mivel (pl. a teszteléssel ellentétben) nem szükséges hozzá végrehajtani vagy szimulálni a modellt. | ||
+ | #…a modell összes lehetséges viselkedését kimerítően elemzi. | ||
+ | |||
+ | ==A végtelen ciklus (livelock) ...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}} | ||
+ | #…jólstrukturált folyamatmodell esetén is előfordulhat. | ||
+ | #…nem fordulhat elő, ha a folyamatmodell teljesen specifikált. | ||
+ | #…esetén a rendszer a modelltől való eltérés nélkül nem képes elhagyni egy adott állapotot, és nem képes input/output viselkedést mutatni. | ||
+ | #…esetén a rendszer a modelltől való eltérés nélkül nem képes elhagyni az állapottér egy bizonyos részét (pl. ciklus), de azon belül képes lehet állapotváltozásra. | ||
+ | |||
+ | ==A modellező eszközök...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}} | ||
+ | #…egy modell különböző részeit különböző konkrét szintaxisszal is megjeleníthetik. | ||
+ | #…mindig grafikus konkrét szintaxissal dolgoznak, mivel szöveges szintaxisa csak a kódgenerátoroknak és programozási nyelveknek van. | ||
+ | #…abban különböznek a kódgenerátoroktól, hogy a modellező eszközök nem dolgoznak konkrét szintaxissal, míg a kódgenerátorok grafikus konkrét szintaxissal dolgoznak. | ||
+ | #…a strukturális helyességet az absztrakt szintaxison végzett statikus ellenőrzésekkel vizsgálhatják, akár szerkesztés közben is. | ||
+ | |||
+ | ==A medián...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} | ||
+ | #...megegyezik egy második kvartilissel, és az 50%-os kvantilissel. | ||
+ | #...mindenképpen nagyobb, mint a módusz, és kisebb, mint az átlag. | ||
+ | #...explicite fel van tüntetve a doboz diagramon (boxplot). | ||
+ | #...csak páratlan sok adat esetén definiált. | ||
+ | |||
+ | ==Az informatikai rendszer infrastruktúra terhelésének időbeli változása...== | ||
+ | {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}} | ||
+ | #...a Zipf-törvénnyel modellezhető jól. | ||
+ | #...befolyással lehet a rendszer kihasználtságára. | ||
+ | #...befolyással lehet a rendszer átbocsátási rátájára. | ||
+ | #...befolyással lehet a rendszer átbocsátóképességére. | ||
+ | |||
+ | ==A fájl/dokumentumszerver egyensúlyi helyzetében lévő teljesítménymodelljében...== | ||
+ | {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}} | ||
+ | #...a kihasználtság mindig 100%-os. | ||
+ | #...a Little-törvény mindig teljesül. | ||
+ | #...az átbocsátóképesség mindig nagyobb vagy egyenlő, mint az érkezési ráta. | ||
+ | #...az összes fájlra azonos gyakorisággal érkezik kérés. | ||
+ | |||
+ | ==Kizárólagos erőforrás esetén...== | ||
+ | {{kvízkérdés|típus=több|válasz=2|pontozás=-}} | ||
+ | #...az átbocsátási ráta és az érkezési ráta hányadosa mindig 1. | ||
+ | #...az átbocsátási ráta és az átlagos erőforrás-használati idő szorzata mindig 1. | ||
+ | #...az adott pillanatban az erőforrást használó folyamatpéldányok száma mindig pontosan 1. | ||
+ | #...az erőforrás kihasználtsága mindig 1. | ||
+ | |||
+ | ==A folyamatban egy adott tevékenység vizitációs száma...== | ||
+ | {{kvízkérdés|típus=több|válasz=3|pontozás=-}} | ||
+ | #...a Zipf-törvény miatt mindig fordítottan arányos a tevékenység átbocsátóképességével. | ||
+ | #...Little-tövény értelmében arányos a tevékenység átbocsátási rátájának és az átlagos végrehajtási idejének szorzatával. | ||
+ | #...egyensúlyi helyzetben megegyezik a tevékenység és az egész folyamat érkezési rátáinak hányadosával. | ||
+ | #...egyensúlyi helyzetben megegyezik az érkezési rátával. | ||
+ | |||
+ | ==A modell statikus vizsgálata...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}} | ||
+ | #...alkalmazható viselkedésmodellek esetén. | ||
+ | #...ellenőrizhet szintaktikai szabályokat. | ||
+ | #...kereshet hibamintákat a modellben. | ||
+ | #...tesztorákulumot igényel, és attól statikus, hogy közben nem módosítjuk a rendszermodellt. | ||
+ | |||
+ | ==A tesztelés célja...== | ||
+ | {{kvízkérdés|típus=több|válasz=0|pontozás=-}} | ||
+ | #...szintaktikai szabályok ellenőrzése. | ||
+ | #...meggyőződni a tesztorákulum működésének helyességéről. | ||
+ | #...formális matematikai eszközökkel igazolni a megvalósítás helyességét. | ||
+ | #...a fedettségi értékek kiszámítása. | ||
+ | |||
+ | ==Egyetlen folytonos numerikus változó ábrázolására célszerűen alkalmazható...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} | ||
+ | #...a boxplot. | ||
+ | #...az oszlopdiagram. | ||
+ | #...a hisztogram. | ||
+ | #...a scatterplot (pontfelhő / pont-pont diagram). | ||
+ | |||
+ | ==Egy numerikus változó 55 adatpontból számított középértékei közül...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}} | ||
+ | #...az átlag lehet kisebb, mint a medián. | ||
+ | #...a medián lehet kisebb, mint a módusz. | ||
+ | #...lehet egyszerre több módusz érték. | ||
+ | #...lehet egyszerre több medián érték. | ||
+ | |||
+ | ==Egy változó 95 adatpontból számított középértékei közül...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}} | ||
+ | #...folytonos numerikus változó esetén a medián közvetlenül leolvasható a boxplotról. | ||
+ | #...folytonos numerikus változó esetén az átlag közvetlenül leolvasható a boxplotról. | ||
+ | #...diszkrét numerikus változó esetén az átlag mindig kiszámítható a hisztogram alapján. | ||
+ | #...kategorikus változó esetén a módusz közvetlenül leolvasható az oszlopdiagramról. | ||
+ | |||
+ | ==A kódgenerátor...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}} | ||
+ | #...inputja lehet szöveges szintaxissal adott modell. | ||
+ | #...inputja lehet grafikus szintaxissal adott modell. | ||
+ | #...outputja lehet egy program forráskódja mint szövegfájl. | ||
+ | #...abban különbözik a fordítóprogramoktól, hogy hatékonyabb programot eredményez. | ||
+ | |||
+ | ==A formális verifikáció egyik fajtája, a modellellenőrzés...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}} | ||
+ | #...alkalmazható viselkedésmodellek esetén. | ||
+ | #...hátránya, hogy soha nem tud ellenpéldát adni. | ||
+ | #...előnye, hogy a tesztelésnél általában kisebb számításigényű. | ||
+ | #...előnye, hogy lehetséges viselkedéseket kimerítően elemzi. | ||
+ | |||
+ | ==A folyamatmodell...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,3,4|pontozás=-}} | ||
+ | #...valamely döntési (decision) csomópontját elhagyó vezérlési élek őrfeltételhez köthetőek. | ||
+ | #...teljesen specifikált, ha minden döntésnél legalább egy kimenő vezérlési él engedélyezett. | ||
+ | #...determinisztikus, ha minden döntésnél legfeljebb egy kimenő vezérlési él engedélyezett. | ||
+ | #...lehet egyszerre jólstrukturált és nemdeterminisztikus. | ||
+ | |||
+ | ==A tesztfedettség...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}} | ||
+ | #...mindig 0 és 1 közé eső szám. | ||
+ | #...a tesztorákulum hatékonyságát jellemzi. | ||
+ | #...a tesztelt rendszer által sikeresen teljesített tesztek arányszámával egyezik. | ||
+ | #...azt jellemzi, hogy a tesztelt rendszer adott modelljének mekkora részét próbálja ki legalább egyszer a tesztkészlet. | ||
+ | |||
+ | ==A tesztkészlet...== | ||
+ | {{kvízkérdés|típus=több|válasz=0|pontozás=-}} | ||
+ | #...mindig egyetlen inputsorozatból áll. | ||
+ | #...csak statikus elemzésnél használatos. | ||
+ | #...összeállítása során célszerű minél alacsonyabb tesztfedettségre törekedni. | ||
+ | #...csak olyan követelményt ellenőrizhet, amelyik minden adott inputsorozat esetén kizárólag egy kimeneti szekvenciát fogad el. | ||
+ | |||
+ | ==Ha adott 101 adatpont, amelyből 100 egymáshoz közeli értékű és 1 nagymértékben kiugró (extreme outlier) adatpontunk van, akkor...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} | ||
+ | #...a medián érzéketlen arra, hogy mennyire nagy a kiugró érték. | ||
+ | #...az átlag érzéketlen arra, hogy mennyire nagy a kiugró érték. | ||
+ | #...a módusz (feltéve hogy egyértelmű) érzéketlen arra, hogy mennyire nagy a kiugró érték. | ||
+ | #...a boxploton a kiugró értéket le fogja fedni a "doboz". | ||
+ | |||
+ | ==Ha a diagramon ábrázolt változókat tekintve több adatpont egybeesik, akkor az overplotting probléma...== | ||
+ | {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}} | ||
+ | #...nehezen értelmezhetővé teheti a boxplotot. | ||
+ | #...nehezen értelmezhetővé teheti a scatterplotot (pontfelhő / pont-pont diagram). | ||
+ | #...például átlátszóság használatával elkerülhető. | ||
+ | #...például a hisztogram bin (intervallum) szélességének megfelelő megválasztásával elkerülhető. | ||
+ | |||
+ | ==Ha ismert az egyensúlyi helyzetben lévő folyamat átlagos végrehajtási ideje és az egyszerre végrehajtás alatt álló folyamatpéldányok átlagos száma, akkor...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} | ||
+ | #...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ó az érkezési ráta és az átbocsátás. | ||
+ | #...meghatározható a kihasználtság. | ||
+ | |||
+ | ==A fájlszerver egyensúlyi helyzetében lévő teljesítménymodelljében...== | ||
+ | {{kvízkérdés|típus=több|válasz=1|pontozás=-}} | ||
+ | #...az átbocsátási ráta és az érkezési ráta hányadosa mindig 1. | ||
+ | #...az átbocsátási ráta és az átlagos végrehajtási idő szorzata mindig 1. | ||
+ | #...az egyszerre végrehajtás alatt álló folyamatpéldányok száma átlagosan 1. | ||
+ | #...a folyamat kihasználtsága mindig 1. | ||
+ | |||
+ | ==Egy teljesítménymodellben előfordulhat, hogy egy részfolyamat...== | ||
+ | {{kvízkérdés|típus=több|válasz=2|pontozás=-}} | ||
+ | #...vizitációs száma negatív. | ||
+ | #...vizitációs száma 1-nél nagyobb. | ||
+ | #...kihasználtsága negatív. | ||
+ | #...kihasználtsága 1-nél nagyobb. | ||
+ | |||
+ | ==A kódgenerátor...== | ||
+ | {{kvízkérdés|típus=több|válasz=2|pontozás=-}} | ||
+ | #...célja, hogy a modell helyességét statikus elemzéssel vizsgálja. | ||
+ | #...szövegfájlként képes program forráskódját előállítani. | ||
+ | #...inputja mindig folyamatmodell. | ||
+ | #...inputja mindig típusgráf. | ||
+ | |||
+ | ==A Little-törvény alkalmazásakor...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,3,4|pontozás=-}} | ||
+ | #...azt feltételezzük, hogy a beérkezési ráta nem nagyobb, mint az átbocsátóképesség. | ||
+ | #...meghatározhatjuk a rendszerben egyidejűleg tartózkodó kérések átlagos számát, a valóságban azonban ez időnként ennél nagyobb értéket is felvehet. | ||
+ | #...ha a rendszerben töltött idő azonos átbocsátás mellett nő, akkor nagyobb N (átlagos átlapolódási fok) értékre számítunk. | ||
+ | #...ha az átbocsátás csökken, attól a rendszerben kiszolgálás alatt lévő kérések száma nőhet is, a válaszidő esetleges változásától függően. | ||
+ | |||
+ | ==Egy rendszer teljesítményének (kapacitásának) tervezésekor...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}} | ||
+ | #...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álhatjuk a Zipf törvényt, mert fordított arányosságot feltételez a válaszidő és a kihasználtság közt. | ||
+ | #...gyakran alkalmazott egyszerűsítő feltételezés, hogy az elvégzendő munkamennyiség (összes foglaltsági idő) a terheléssel (beérkező kérések száma) arányos. | ||
+ | #...gyakran alkalmazott egyszerűsítő feltételezés, hogy a kapacitással (erőforráspéldányok számával) arányos az átbocsátóképesség. | ||
+ | |||
+ | ==A deadlock vagy holtpont...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}} | ||
+ | #...és a livelock között fontos különbség, hogy a livelockban történhet állapotváltozás, míg a deadlockban nem. | ||
+ | #...egy 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. | ||
+ | #...teljesen specifikált és jólstrukturált folyamatban nem fordulhat elő. | ||
+ | #...előállhat úgy, hogy egy olyan ciklusba lépünk be, amelynek a kilépési feltétele sose fog teljesülni. | ||
+ | |||
+ | ==A tesztelés során...== | ||
+ | {{kvízkérdés|típus=több|válasz=3|pontozás=-}} | ||
+ | #...a tesztbemenenet egy olyan gép, program vagy mechanizmus, melynek feladata a kapott input vizsgálata a specifikáció vagy követelmények szempontjából. | ||
+ | #...mindig elég a tesztbemeneteket megadni, hiszen a kimeneteket úgy is kiszámítja a tesztelt rendszer. | ||
+ | #...végrehajtjuk a rendszert vagy a modelljét ill. szimuláljuk a működését, ezért számít dinamikus ellenőrzésnek. | ||
+ | #...nem módosítjuk a rendszermodellt, ezért számít statikus ellenőrzésnek. | ||
+ | |||
+ | ==A tesztfedettség...== | ||
+ | {{kvízkérdés|típus=több|válasz=1|pontozás=-}} | ||
+ | #...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ó. | ||
+ | #...lehet nagyobb, mint 1 (100%), ha a folyamatban van ciklus. | ||
+ | #...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. | ||
+ | |||
+ | ==Egy folytonos változó jellemző értékeit doboz diagrammal (boxplottal) és hisztogrammal is ábrázoljuk.== | ||
+ | {{kvízkérdés|típus=több|válasz=1|pontozás=-}} | ||
+ | #A boxplotról mindig közvetlenül leolvasható az első kvartilis. | ||
+ | #A boxplotról mindig közvetlenül leolvasható a 40. percentilis. | ||
+ | #A boxplotról mindig közvetlenül leolvasható a módusz. | ||
+ | #Minden információ, amely a doboz diagramról könnyen leolvasható, a hisztogramról is könnyen leolvasható, emiatt tekintjük a doboz diagramot a hisztogram egyfajta absztrakciójának. | ||
+ | |||
+ | ==Egy numerikus változó 99 adatpontból számított középértékei közül...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,4|pontozás=-}} | ||
+ | #...az átlag lehet nagyobb, mint a medián. | ||
+ | #...a medián lehet nagyobb, mint a módusz. | ||
+ | #...lehet egyszerre több medián érték. | ||
+ | #...lehet egyszerre több módusz érték. | ||
+ | |||
+ | ==A tesztfedettség...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} | ||
+ | #...annak mértéke, hogy a teszteléskor a modell mekkora részét futtatjuk. | ||
+ | #...csak egyetlen tesztesetre számítható. | ||
+ | #...lehetséges értelmezései közül a 100%-os átmenet fedettség mindig 100%-os állapotátfedést is eredményez. | ||
+ | #...lehetséges értelmezései közül a 100%-os átmenet fedettség azt is jelenti, hogy minden lehetséges bemenetsorozatot leteszteltünk. | ||
+ | |||
+ | ==A livelock...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}} | ||
+ | #...és a deadlock között fontos különbség, hogy a livelockban történhet állapotváltozás, míg a deadlockban nem. | ||
+ | #...egy 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. | ||
+ | #...jólstrukturált folyamatban nem fordulhat elő. | ||
+ | #...előállhat úgy, hogy egy olyan ciklusba lépünk be, amelynek a kilépési feltétele sose fog teljesülni. | ||
+ | |||
+ | ==Tesztelni...== | ||
+ | {{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}} | ||
+ | #...csak programkódot vagy belőle származó modellt lehet. | ||
+ | #...modellek közül csak a végrehajthatóakat lehet. | ||
+ | #...funckinális és nem funkcionális követelményeket is lehet. | ||
+ | #...csak specifikáció vagy követelmények ismeretében lehet. | ||
+ | |||
+ | ==A tesztelés során...== | ||
+ | {{kvízkérdés|típus=több|válasz=1|pontozás=-}} | ||
+ | #...az orákulum egy olyan gép, program vagy mechanizmus, melynek feladata a kapott kimenet vizsgálata a specifikáció vagy követelmény szempontjából. | ||
+ | #...a referencia egy olyan gép, program vagy mechanzimus, melynek feladata a kapott kimenet vizsgálata a specifikáció vagy követelmények szempontjából. | ||
+ | #...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. | ||
+ | |||
+ | ==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=4|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ő. | ||
+ | |||
+ | ==Egy numerikus változó... == | ||
+ | {{kvízkérdés|típus=több|válasz=3,4|pontozás=-}} | ||
+ | #...mindig egyértelműen származtatható egy vele azonos átlagú nominális változóból. | ||
+ | #...értékének eloszlását szokás párhuzamos koordináta diagramon, más néven oszlopdiagramon ábrázolni. | ||
+ | #...másik numerikus változóhoz való viszonyának ábrázolására használható pont-pont diagram, más néven scatterplot. | ||
+ | #...olyan változó, melyen értelmezhetők az alapvető aritmetikai műveletek. | ||
+ | |||
+ | ==Ha egy egyensúlyi helyzetben lévő rendszer teljesítménymérése során másodpercenként átlagolt érkezési és átbocsátási ráta adataink vannak,...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}} | ||
+ | #...a két jellemző közti összefüggést vizsgálhatjuk párhuzamos koordináta diagramon. | ||
+ | #...külön-külön dobozdiagramon ábrázolva a két adatsort, a mért adatpárok közti összefüggések leolvashatóak. | ||
+ | #...a kihasználtság becsülhető ezekből az értékekből, ha ismerjük az átbocsátóképességet. | ||
+ | #...kellő számú mérésnél lineáris regresszióval érdemes közelíteni a két jellemző közti összefüggést. | ||
+ | |||
+ | ==Viselkedésmodellek ellenőrzésekor a vizsgált rendszer a követelményt biztosan...== | ||
+ | {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}} | ||
+ | #...teljesíti, ha formális helyességbizonyítással ellenőrizzük egy követelmény teljesülését, és nem találunk hibát. | ||
+ | #...nem teljesíti, ha formális helyességbizonyítással ellenőrizzük egy követelmény helyességét, és hibát találunk. | ||
+ | #...nem teljesíti, ha egy a követelményt helyesen ellenőrző teszteset hibát mutat ki. | ||
+ | #...teljesíti, ha egy a követelményt helyesen ellenőrző teszteset nem mutat ki hibát. | ||
+ | |||
+ | ==A rendszer teljesítménymodelljében egyensúlyi helyzetében...== | ||
+ | {{kvízkérdés|típus=több|válasz=3|pontozás=-}} | ||
+ | #...az átbocsátás és az átbocsátóképesség hányadosa mindig 1. | ||
+ | #...az átbocsátási ráta és az átlagos végrehajtási idő szorzata mindig 1. | ||
+ | #...az átbocsátási ráta és az érkezési ráta hányadosa 1. | ||
+ | #...az egyszerre végrehajtás alatt álló folyamatpéldányok száma átlagosan 1. | ||
+ | |||
+ | ==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,2,3,4|pontozás=-}} | ||
+ | #...a medián 106 legyen. | ||
+ | #...a módusz kisebb legyen, mint a medián. | ||
+ | #...a medián kisebb legyen, mint az átlag. | ||
+ | #...a módusz nagyobb legyen, mint az átlag. | ||
+ | |||
+ | ==Végtelen ciklus (livelock)...== | ||
+ | {{kvízkérdés|típus=több|válasz=3,4|pontozás=-}} | ||
+ | #...minden nemdeterminisztikus modellben szükségszerűen előfordul. | ||
+ | #...kialakulása megelőzhető jólstrukturált folyamatmodellek használatával. | ||
+ | #...bekövetkezésekor a rendszer csak akkor képes kilépni a ciklusból, ha a viselkedése eltér a modellben specifikálttól (pl. újraindítjuk). | ||
+ | #...lépési döntés csomópontjának kimeneti őrfeltételei közül mindig a ciklusban maradáshoz tartozó lesz csak igaz. |
A lap jelenlegi, 2020. január 17., 00:27-kori változata
Tartalomjegyzék
- 1 A specifikáció...
- 2 Viselkedésmodell absztrakciója során...
- 3 A futásidejű monitor...
- 4 A tesztfedettség...
- 5 A modellellenőrzés...
- 6 A folyamatban egy elemi tevékenység vizitációs száma...
- 7 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...
- 8 Hallgatók lábméretét és a két Rendszermodellezés ZH-n elért összpontszámát vizsgáljuk.
- 9 A szimuláció...
- 10 Egy rendszer teljesítményének (kapacitásának) tervezésekor...
- 11 1000 mért adatpontot összesítve...
- 12 Hallgatók lábméretét, szemszínét és képzési fokát (BSc, MSc, PhD) vizsgáljuk.
- 13 A specifikáció és az implementáció...
- 14 Finomítással...
- 15 A tesztesetek megadásához szükséges...
- 16 A holtpont...
- 17 Egy erőforrás kihasználtsága...
- 18 Egy folyamat átbocsátási rátája...
- 19 Egyensúlyi helyzetben lévő teljesítménymodell esetén...
- 20 A folyamatszimuláció és a teljesítménymodellezés esetén...
- 21 Vizuális elemzésnél...
- 22 Ha a rendszer felépítését vagy terhelését megváltoztatva az átbocsátása megnő...
- 23 Egy rendszer teljesítményének (kapacitásának) tervezésekor...
- 24 Adatfolyamháló finomításakor...
- 25 A jólstrukturált folyamatmodell...
- 26 A követelmények...
- 27 A tesztelés során az orákulum és a referencia között...
- 28 A tesztfedettség...
- 29 A modellellenőrzés...
- 30 A végtelen ciklus (livelock) ...
- 31 A modellező eszközök...
- 32 A medián...
- 33 Az informatikai rendszer infrastruktúra terhelésének időbeli változása...
- 34 A fájl/dokumentumszerver egyensúlyi helyzetében lévő teljesítménymodelljében...
- 35 Kizárólagos erőforrás esetén...
- 36 A folyamatban egy adott tevékenység vizitációs száma...
- 37 A modell statikus vizsgálata...
- 38 A tesztelés célja...
- 39 Egyetlen folytonos numerikus változó ábrázolására célszerűen alkalmazható...
- 40 Egy numerikus változó 55 adatpontból számított középértékei közül...
- 41 Egy változó 95 adatpontból számított középértékei közül...
- 42 A kódgenerátor...
- 43 A formális verifikáció egyik fajtája, a modellellenőrzés...
- 44 A folyamatmodell...
- 45 A tesztfedettség...
- 46 A tesztkészlet...
- 47 Ha adott 101 adatpont, amelyből 100 egymáshoz közeli értékű és 1 nagymértékben kiugró (extreme outlier) adatpontunk van, akkor...
- 48 Ha a diagramon ábrázolt változókat tekintve több adatpont egybeesik, akkor az overplotting probléma...
- 49 Ha ismert az egyensúlyi helyzetben lévő folyamat átlagos végrehajtási ideje és az egyszerre végrehajtás alatt álló folyamatpéldányok átlagos száma, akkor...
- 50 A fájlszerver egyensúlyi helyzetében lévő teljesítménymodelljében...
- 51 Egy teljesítménymodellben előfordulhat, hogy egy részfolyamat...
- 52 A kódgenerátor...
- 53 A Little-törvény alkalmazásakor...
- 54 Egy rendszer teljesítményének (kapacitásának) tervezésekor...
- 55 A deadlock vagy holtpont...
- 56 A tesztelés során...
- 57 A tesztfedettség...
- 58 Egy folytonos változó jellemző értékeit doboz diagrammal (boxplottal) és hisztogrammal is ábrázoljuk.
- 59 Egy numerikus változó 99 adatpontból számított középértékei közül...
- 60 A tesztfedettség...
- 61 A livelock...
- 62 Tesztelni...
- 63 A tesztelés során...
- 64 Egy tesztorákulum...
- 65 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...
- 66 A tesztfedettség...
- 67 A deadlock...
- 68 Egy numerikus változó...
- 69 Ha egy egyensúlyi helyzetben lévő rendszer teljesítménymérése során másodpercenként átlagolt érkezési és átbocsátási ráta adataink vannak,...
- 70 Viselkedésmodellek ellenőrzésekor a vizsgált rendszer a követelményt biztosan...
- 71 A rendszer teljesítménymodelljében egyensúlyi helyzetében...
- 72 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...
- 73 Végtelen ciklus (livelock)...
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ópróbaszerű 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.
- ...célja lehet a rendszer logikai helyességének vizsgálata.
- ...nem támogatja osztott erőforrásokért versengő folyamatok modellezését.
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álhatjuk a Zipf törvényt, mert fordított arányosságot feltételez a vá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.
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.
Hallgatók lábméretét, szemszínét és képzési fokát (BSc, MSc, PhD) vizsgáljuk.
- A lábméret egy rendezett kategorikus változó.
- A szemszín egy rendezett kategorikus változó.
- A képzés foka egy rendezett kategorikus változó.
- A képzés foka numerikus változó.
A specifikáció és az implementáció...
- …egy fejlesztési lépés/lépéssorozat bemenete illetve kimenete.
- …közül a specifikációban van több információtartalom, az a konkrétabb.
- …lehet például egy szöveges leírás és egy azonos jelentésű állapotgép.
- …kapcsolata mindig kölcsönösen egyértelmű, azaz egy specifikációhoz egy implementáció létezik, és fordítva.
Finomítással...
- …részletezhetjük a modell működését.
- …részletezhetjük a modell felépítését.
- …részletezhetjük a modell által kezelt adatokat.
- …eszköztől függően akár elkészíthetjük a specifikációnak szánt modell egy implementációját.
A tesztesetek megadásához szükséges...
- …tesztbemenet.
- …tesztfedettségi arány.
- …elvárt kimenet vagy tesztorákulum.
- …futásidejű monitor.
A holtpont...
- …egy 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.
- …előfordulhat úgy, hogy a rendszer folyamatai egymásra várakoznak.
- …és a végtelen ciklus között fontos különbség, hogy a végtelen ciklusban történhet állapotváltozás, míg a holtpontban nem.
- …determinisztikus folyamatban nem fordulhat elő.
Egy erőforrás kihasználtsága...
- …nemnegatív.
- …mindig nagyobb vagy egyenlő a vizitációs számnál.
- …kisebb vagy egyenlő az átbocsátóképességnél.
- …egyensúlyi helyzetben megegyezik az érkezési rátával.
Egy folyamat átbocsátási rátája...
- …nemnegatív.
- …mindig nagyobb vagy egyenlő a vizitációs számnál.
- …kisebb vagy egyenlő az átbocsátóképességnél.
- …egyensúlyi helyzetben megegyezik az érkezési rátával.
Egyensúlyi helyzetben lévő teljesítménymodell esetén...
- …az érkezési ráta meghaladhatja az átbocsátóképességet.
- …időegységenként ugyanannyi folyamatpéldány indul, mint ahány befejeződik.
- …az átbocsátási ráta és az átbocsátóképesség mindig megegyezik.
- …a Little-törvény mindenképpen fennáll.
A folyamatszimuláció és a teljesítménymodellezés esetén...
- …különbség, hogy a szimuláció az erőforrásfoglalások becslése alapján futási eseteket becsül meg, míg a teljesítménymodellen végzett számítások általános összefüggéseket állapítanak meg sok futási eset átlagáról.
- …hasonlóság, hogy mindkét módszer figyelembe veszi az egy tevékenység elvégzésére alkalmas erőforrások számát.
- …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...
- …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) alakja tökéletesen megegyezik, 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.
Ha a rendszer felépítését vagy terhelését megváltoztatva az átbocsátása megnő...
- …miközben egy adott tevékenységének átbocsátása nem változik, akkor a tevékenység vizitációs száma csökken.
- …de az átbocsátóképessége változatlan, akkor a kihasználtság csökken.
- …akkor (egyensúlyi helyzetet feltételezve) az érkezési ráta is megnőtt.
- …akkor a rendszerben kiszolgálás alatt lévő kérések száma csökken, változatlan válaszidőt feltételezve.
Egy rendszer teljesítményének (kapacitásának) tervezésekor...
- …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, é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, mert egyenes arányosságot feltételez a válaszidő és a kihasználtság közt.
Adatfolyamháló finomításakor...
- …halmazfinomítással bővíthetjük a kommunikációs csatornák tokenkészletét, a csatornára illeszkedő csomópontokat hozzáigazítva.
- …a csomópontok (mint önálló viselkedésmodellek) belső működését finomíthatjuk.
- …a csomópontokat kiválthatjuk egy összetett részhálóval.
- …egy viselkedésmodellel leírt rendszerből származtathatjuk a specifikációját.
A jólstrukturált folyamatmodell...
- …mindig determinisztikus, hiszen nem tartalmazhat elágazást.
- …minden fork-ot szimmetrikusan lezár join-nal, így a folyamat ágai nem fognak ké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.
A követelmények...
- …a megvalósítandó rendszerrel szembeni elvárások.
- …néha többféleképpen értelmezhetőek, ha informálisan vannak megadva.
- …nemfunkcionális jellegű állítások, míg funkcionális feltételek csak az alacsonyabb szintű specifikációkban fogalmazhatóak meg.
- …a modellezés vagy fejlesztés során szerzett tapasztalatok alapján iteratíve pontosíthatóak.
A tesztelés során az orákulum és a referencia között...
- …hasonlóság, hogy mindkettő a tesztelt rendszer kimenetének ellenőrzésére szolgál.
- …különbség, hogy deklaratív követelmények esetén referencia nem mindig adható meg, csak tesztorákulum.
- …kapcsolat, hogy a referenciából szükség szerint mindig készíthető vele azonos jelentésű orákulum, amely egyszerűen a referenciával való egyezőséget vizsgálja.
- …különbség, hogy a referencia tesztbemenet nélkül ellenőrzi a működést, míg az orákulum mellé tesztbemenetet is meg kell adni.
A tesztfedettség...
- …0 és 1 közötti érték.
- …mérésének célja, hogy becslést kapjunk a tesztkészlet minőségéről, teljességéről.
- …növelhető a tesztorákulum megengedőbbé tételével.
- …növelhető új tesztek felvételével.
A modellellenőrzés...
- …célja, hogy matematikai precizitással igazolja a specifikáció teljesülését.
- …a rendszert futási időben figyelve detektálja, ha az eltér a specifikációtól.
- …statikus elemzés, mivel (pl. a teszteléssel ellentétben) nem szükséges hozzá végrehajtani vagy szimulálni a modellt.
- …a modell összes lehetséges viselkedését kimerítően elemzi.
A végtelen ciklus (livelock) ...
- …jólstrukturált folyamatmodell esetén is előfordulhat.
- …nem fordulhat elő, ha a folyamatmodell teljesen specifikált.
- …esetén a rendszer a modelltől való eltérés nélkül nem képes elhagyni egy adott állapotot, és nem képes input/output viselkedést mutatni.
- …esetén a rendszer a modelltől való eltérés nélkül nem képes elhagyni az állapottér egy bizonyos részét (pl. ciklus), de azon belül képes lehet állapotváltozásra.
A modellező eszközök...
- …egy modell különböző részeit különböző konkrét szintaxisszal is megjeleníthetik.
- …mindig grafikus konkrét szintaxissal dolgoznak, mivel szöveges szintaxisa csak a kódgenerátoroknak és programozási nyelveknek van.
- …abban különböznek a kódgenerátoroktól, hogy a modellező eszközök nem dolgoznak konkrét szintaxissal, míg a kódgenerátorok grafikus konkrét szintaxissal dolgoznak.
- …a strukturális helyességet az absztrakt szintaxison végzett statikus ellenőrzésekkel vizsgálhatják, akár szerkesztés közben is.
A medián...
- ...megegyezik egy második kvartilissel, és az 50%-os kvantilissel.
- ...mindenképpen nagyobb, mint a módusz, és kisebb, mint az átlag.
- ...explicite fel van tüntetve a doboz diagramon (boxplot).
- ...csak páratlan sok adat esetén definiált.
Az informatikai rendszer infrastruktúra terhelésének időbeli változása...
- ...a Zipf-törvénnyel modellezhető jól.
- ...befolyással lehet a rendszer kihasználtságára.
- ...befolyással lehet a rendszer átbocsátási rátájára.
- ...befolyással lehet a rendszer átbocsátóképességére.
A fájl/dokumentumszerver egyensúlyi helyzetében lévő teljesítménymodelljében...
- ...a kihasználtság mindig 100%-os.
- ...a Little-törvény mindig teljesül.
- ...az átbocsátóképesség mindig nagyobb vagy egyenlő, mint az érkezési ráta.
- ...az összes fájlra azonos gyakorisággal érkezik kérés.
Kizárólagos erőforrás esetén...
- ...az átbocsátási ráta és az érkezési ráta hányadosa mindig 1.
- ...az átbocsátási ráta és az átlagos erőforrás-használati idő szorzata mindig 1.
- ...az adott pillanatban az erőforrást használó folyamatpéldányok száma mindig pontosan 1.
- ...az erőforrás kihasználtsága mindig 1.
A folyamatban egy adott tevékenység vizitációs száma...
- ...a Zipf-törvény miatt mindig fordítottan arányos a tevékenység átbocsátóképességével.
- ...Little-tövény értelmében arányos a tevékenység átbocsátási rátájának és az átlagos végrehajtási idejének szorzatával.
- ...egyensúlyi helyzetben megegyezik a tevékenység és az egész folyamat érkezési rátáinak hányadosával.
- ...egyensúlyi helyzetben megegyezik az érkezési rátával.
A modell statikus vizsgálata...
- ...alkalmazható viselkedésmodellek esetén.
- ...ellenőrizhet szintaktikai szabályokat.
- ...kereshet hibamintákat a modellben.
- ...tesztorákulumot igényel, és attól statikus, hogy közben nem módosítjuk a rendszermodellt.
A tesztelés célja...
- ...szintaktikai szabályok ellenőrzése.
- ...meggyőződni a tesztorákulum működésének helyességéről.
- ...formális matematikai eszközökkel igazolni a megvalósítás helyességét.
- ...a fedettségi értékek kiszámítása.
Egyetlen folytonos numerikus változó ábrázolására célszerűen alkalmazható...
- ...a boxplot.
- ...az oszlopdiagram.
- ...a hisztogram.
- ...a scatterplot (pontfelhő / pont-pont diagram).
Egy numerikus változó 55 adatpontból számított középértékei közül...
- ...az átlag lehet kisebb, mint a medián.
- ...a medián lehet kisebb, mint a módusz.
- ...lehet egyszerre több módusz érték.
- ...lehet egyszerre több medián érték.
Egy változó 95 adatpontból számított középértékei közül...
- ...folytonos numerikus változó esetén a medián közvetlenül leolvasható a boxplotról.
- ...folytonos numerikus változó esetén az átlag közvetlenül leolvasható a boxplotról.
- ...diszkrét numerikus változó esetén az átlag mindig kiszámítható a hisztogram alapján.
- ...kategorikus változó esetén a módusz közvetlenül leolvasható az oszlopdiagramról.
A kódgenerátor...
- ...inputja lehet szöveges szintaxissal adott modell.
- ...inputja lehet grafikus szintaxissal adott modell.
- ...outputja lehet egy program forráskódja mint szövegfájl.
- ...abban különbözik a fordítóprogramoktól, hogy hatékonyabb programot eredményez.
A formális verifikáció egyik fajtája, a modellellenőrzés...
- ...alkalmazható viselkedésmodellek esetén.
- ...hátránya, hogy soha nem tud ellenpéldát adni.
- ...előnye, hogy a tesztelésnél általában kisebb számításigényű.
- ...előnye, hogy lehetséges viselkedéseket kimerítően elemzi.
A folyamatmodell...
- ...valamely döntési (decision) csomópontját elhagyó vezérlési élek őrfeltételhez köthetőek.
- ...teljesen specifikált, ha minden döntésnél legalább egy kimenő vezérlési él engedélyezett.
- ...determinisztikus, ha minden döntésnél legfeljebb egy kimenő vezérlési él engedélyezett.
- ...lehet egyszerre jólstrukturált és nemdeterminisztikus.
A tesztfedettség...
- ...mindig 0 és 1 közé eső szám.
- ...a tesztorákulum hatékonyságát jellemzi.
- ...a tesztelt rendszer által sikeresen teljesített tesztek arányszámával egyezik.
- ...azt jellemzi, hogy a tesztelt rendszer adott modelljének mekkora részét próbálja ki legalább egyszer a tesztkészlet.
A tesztkészlet...
- ...mindig egyetlen inputsorozatból áll.
- ...csak statikus elemzésnél használatos.
- ...összeállítása során célszerű minél alacsonyabb tesztfedettségre törekedni.
- ...csak olyan követelményt ellenőrizhet, amelyik minden adott inputsorozat esetén kizárólag egy kimeneti szekvenciát fogad el.
Ha adott 101 adatpont, amelyből 100 egymáshoz közeli értékű és 1 nagymértékben kiugró (extreme outlier) adatpontunk van, akkor...
- ...a medián érzéketlen arra, hogy mennyire nagy a kiugró érték.
- ...az átlag érzéketlen arra, hogy mennyire nagy a kiugró érték.
- ...a módusz (feltéve hogy egyértelmű) érzéketlen arra, hogy mennyire nagy a kiugró érték.
- ...a boxploton a kiugró értéket le fogja fedni a "doboz".
Ha a diagramon ábrázolt változókat tekintve több adatpont egybeesik, akkor az overplotting probléma...
- ...nehezen értelmezhetővé teheti a boxplotot.
- ...nehezen értelmezhetővé teheti a scatterplotot (pontfelhő / pont-pont diagram).
- ...például átlátszóság használatával elkerülhető.
- ...például a hisztogram bin (intervallum) szélességének megfelelő megválasztásával elkerülhető.
Ha ismert az egyensúlyi helyzetben lévő folyamat átlagos végrehajtási ideje és az egyszerre végrehajtás alatt álló folyamatpéldányok átlagos száma, akkor...
- ...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ó az érkezési ráta és az átbocsátás.
- ...meghatározható a kihasználtság.
A fájlszerver egyensúlyi helyzetében lévő teljesítménymodelljében...
- ...az átbocsátási ráta és az érkezési ráta hányadosa mindig 1.
- ...az átbocsátási ráta és az átlagos végrehajtási idő szorzata mindig 1.
- ...az egyszerre végrehajtás alatt álló folyamatpéldányok száma átlagosan 1.
- ...a folyamat kihasználtsága mindig 1.
Egy teljesítménymodellben előfordulhat, hogy egy részfolyamat...
- ...vizitációs száma negatív.
- ...vizitációs száma 1-nél nagyobb.
- ...kihasználtsága negatív.
- ...kihasználtsága 1-nél nagyobb.
A kódgenerátor...
- ...célja, hogy a modell helyességét statikus elemzéssel vizsgálja.
- ...szövegfájlként képes program forráskódját előállítani.
- ...inputja mindig folyamatmodell.
- ...inputja mindig típusgráf.
A Little-törvény alkalmazásakor...
- ...azt feltételezzük, hogy a beérkezési ráta nem nagyobb, mint az átbocsátóképesség.
- ...meghatározhatjuk a rendszerben egyidejűleg tartózkodó kérések átlagos számát, a valóságban azonban ez időnként ennél nagyobb értéket is felvehet.
- ...ha a rendszerben töltött idő azonos átbocsátás mellett nő, akkor nagyobb N (átlagos átlapolódási fok) értékre számítunk.
- ...ha az átbocsátás csökken, attól a rendszerben kiszolgálás alatt lévő kérések száma nőhet is, a válaszidő esetleges változásától függően.
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álhatjuk a Zipf törvényt, mert fordított arányosságot feltételez a válaszidő és a kihasználtság közt.
- ...gyakran alkalmazott egyszerűsítő feltételezés, hogy az elvégzendő munkamennyiség (összes foglaltsági idő) a terheléssel (beérkező kérések száma) arányos.
- ...gyakran alkalmazott egyszerűsítő feltételezés, hogy a kapacitással (erőforráspéldányok számával) arányos az átbocsátóképesség.
A deadlock vagy holtpont...
- ...és a livelock között fontos különbség, hogy a livelockban történhet állapotváltozás, míg a deadlockban nem.
- ...egy 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.
- ...teljesen specifikált és jólstrukturált folyamatban nem fordulhat elő.
- ...előállhat úgy, hogy egy olyan ciklusba lépünk be, amelynek a kilépési feltétele sose fog teljesülni.
A tesztelés során...
- ...a tesztbemenenet egy olyan gép, program vagy mechanizmus, melynek feladata a kapott input vizsgálata a specifikáció vagy követelmények szempontjából.
- ...mindig elég a tesztbemeneteket megadni, hiszen a kimeneteket úgy is kiszámítja a tesztelt rendszer.
- ...végrehajtjuk a rendszert vagy a modelljét ill. szimuláljuk a működését, ezért számít dinamikus ellenőrzésnek.
- ...nem módosítjuk a rendszermodellt, ezért számít statikus ellenőrzésnek.
A tesztfedettsé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ó.
- ...lehet nagyobb, mint 1 (100%), ha a folyamatban van ciklus.
- ...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.
Egy folytonos változó jellemző értékeit doboz diagrammal (boxplottal) és hisztogrammal is ábrázoljuk.
- A boxplotról mindig közvetlenül leolvasható az első kvartilis.
- A boxplotról mindig közvetlenül leolvasható a 40. percentilis.
- A boxplotról mindig közvetlenül leolvasható a módusz.
- Minden információ, amely a doboz diagramról könnyen leolvasható, a hisztogramról is könnyen leolvasható, emiatt tekintjük a doboz diagramot a hisztogram egyfajta absztrakciójának.
Egy numerikus változó 99 adatpontból számított középértékei közül...
- ...az átlag lehet nagyobb, mint a medián.
- ...a medián lehet nagyobb, mint a módusz.
- ...lehet egyszerre több medián érték.
- ...lehet egyszerre több módusz érték.
A tesztfedettség...
- ...annak mértéke, hogy a teszteléskor a modell mekkora részét futtatjuk.
- ...csak egyetlen tesztesetre számítható.
- ...lehetséges értelmezései közül a 100%-os átmenet fedettség mindig 100%-os állapotátfedést is eredményez.
- ...lehetséges értelmezései közül a 100%-os átmenet fedettség azt is jelenti, hogy minden lehetséges bemenetsorozatot leteszteltünk.
A livelock...
- ...és a deadlock között fontos különbség, hogy a livelockban történhet állapotváltozás, míg a deadlockban nem.
- ...egy 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.
- ...jólstrukturált folyamatban nem fordulhat elő.
- ...előállhat úgy, hogy egy olyan ciklusba lépünk be, amelynek a kilépési feltétele sose fog teljesülni.
Tesztelni...
- ...csak programkódot vagy belőle származó modellt lehet.
- ...modellek közül csak a végrehajthatóakat lehet.
- ...funckinális és nem funkcionális követelményeket is lehet.
- ...csak specifikáció vagy követelmények ismeretében lehet.
A tesztelés során...
- ...az orákulum egy olyan gép, program vagy mechanizmus, melynek feladata a kapott kimenet vizsgálata a specifikáció vagy követelmény szempontjából.
- ...a referencia egy olyan gép, program vagy mechanzimus, melynek feladata a kapott kimenet vizsgálata a specifikáció vagy követelmények szempontjából.
- ...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.
Egy tesztorákulum...
- ...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...
- ...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...
- ...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...
- ...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ő.
Egy numerikus változó...
- ...mindig egyértelműen származtatható egy vele azonos átlagú nominális változóból.
- ...értékének eloszlását szokás párhuzamos koordináta diagramon, más néven oszlopdiagramon ábrázolni.
- ...másik numerikus változóhoz való viszonyának ábrázolására használható pont-pont diagram, más néven scatterplot.
- ...olyan változó, melyen értelmezhetők az alapvető aritmetikai műveletek.
Ha egy egyensúlyi helyzetben lévő rendszer teljesítménymérése során másodpercenként átlagolt érkezési és átbocsátási ráta adataink vannak,...
- ...a két jellemző közti összefüggést vizsgálhatjuk párhuzamos koordináta diagramon.
- ...külön-külön dobozdiagramon ábrázolva a két adatsort, a mért adatpárok közti összefüggések leolvashatóak.
- ...a kihasználtság becsülhető ezekből az értékekből, ha ismerjük az átbocsátóképességet.
- ...kellő számú mérésnél lineáris regresszióval érdemes közelíteni a két jellemző közti összefüggést.
Viselkedésmodellek ellenőrzésekor a vizsgált rendszer a követelményt biztosan...
- ...teljesíti, ha formális helyességbizonyítással ellenőrizzük egy követelmény teljesülését, és nem találunk hibát.
- ...nem teljesíti, ha formális helyességbizonyítással ellenőrizzük egy követelmény helyességét, és hibát találunk.
- ...nem teljesíti, ha egy a követelményt helyesen ellenőrző teszteset hibát mutat ki.
- ...teljesíti, ha egy a követelményt helyesen ellenőrző teszteset nem mutat ki hibát.
A rendszer teljesítménymodelljében egyensúlyi helyzetében...
- ...az átbocsátás és az átbocsátóképesség hányadosa mindig 1.
- ...az átbocsátási ráta és az átlagos végrehajtási idő szorzata mindig 1.
- ...az átbocsátási ráta és az érkezési ráta hányadosa 1.
- ...az egyszerre végrehajtás alatt álló folyamatpéldányok száma átlagosan 1.
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...
- ...a medián 106 legyen.
- ...a módusz kisebb legyen, mint a medián.
- ...a medián kisebb legyen, mint az átlag.
- ...a módusz nagyobb legyen, mint az átlag.
Végtelen ciklus (livelock)...
- ...minden nemdeterminisztikus modellben szükségszerűen előfordul.
- ...kialakulása megelőzhető jólstrukturált folyamatmodellek használatával.
- ...bekövetkezésekor a rendszer csak akkor képes kilépni a ciklusból, ha a viselkedése eltér a modellben specifikálttól (pl. újraindítjuk).
- ...lépési döntés csomópontjának kimeneti őrfeltételei közül mindig a ciklusban maradáshoz tartozó lesz csak igaz.