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ó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.
