„Rendszermodellezés (régi)/Igaz Hamis kikérdező” változatai közötti eltérés
Ugrás a navigációhoz
Ugrás a kereséshez
4. sor: | 4. sor: | ||
== Ha egy rendszer működését kísérletekkel közelítjük == | == Ha egy rendszer működését kísérletekkel közelítjük == | ||
− | {{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=-}} |
# soha nem kapunk 99%-nál pontosabb eredményt | # soha nem kapunk 99%-nál pontosabb eredményt | ||
# a kísérletek pontossága a kísérletek számának gyökével (-mert fordítottan-) arányos | # a kísérletek pontossága a kísérletek számának gyökével (-mert fordítottan-) arányos | ||
11. sor: | 11. sor: | ||
== A követelménygráf élei == | == A követelménygráf élei == | ||
− | {{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=-}} |
# irányítottak | # irányítottak | ||
# mentén voltaképp a követelmények finomítását hajtjuk végre. | # mentén voltaképp a követelmények finomítását hajtjuk végre. | ||
18. sor: | 18. sor: | ||
== M1 és M2, őrfeltételeket is tartalmazó állapotgépek asszinkron szorzata == | == M1 és M2, őrfeltételeket is tartalmazó állapotgépek asszinkron szorzata == | ||
− | {{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=-}} |
# mindig több állapotból áll, mint M1 és M2 állapotainak összege | # mindig több állapotból áll, mint M1 és M2 állapotainak összege | ||
# tartalmazhat hurokélet. | # tartalmazhat hurokélet. | ||
25. sor: | 25. sor: | ||
== Ha egy állapotgépről tudjuk, hogy determinisztikus, és teljes(en specifikált). Következik ebből, hogy == | == Ha egy állapotgépről tudjuk, hogy determinisztikus, és teljes(en specifikált). Következik ebből, hogy == | ||
− | {{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=-}} |
# minden állapotból minden bemenethez legalább egy állapotátmenet tartozik? | # minden állapotból minden bemenethez legalább egy állapotátmenet tartozik? | ||
# minden állapotból minden bemenethez legfeljebb egy állapotátmenet tartozik? | # minden állapotból minden bemenethez legfeljebb egy állapotátmenet tartozik? | ||
32. sor: | 32. sor: | ||
== Ha egy folyamatmodell NEM tartalmaz join elemet, akkor az a modell biztosan == | == Ha egy folyamatmodell NEM tartalmaz join elemet, akkor az a modell biztosan == | ||
− | {{kvízkérdés|típus=több|válasz=|pontozás= | + | {{kvízkérdés|típus=több|válasz=|pontozás=-}} |
# nem jólstruktúrált. | # nem jólstruktúrált. | ||
# tartalmaz merge elemet. | # tartalmaz merge elemet. | ||
39. sor: | 39. sor: | ||
== Az r(t) megbízhatósági függvény == | == Az r(t) megbízhatósági függvény == | ||
− | {{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=-}} |
# a komponens pillanatnyi működőképességét jellemzi, esetleges korábbi meghibásodásoktól és javításoktól fgtlnl. | # a komponens pillanatnyi működőképességét jellemzi, esetleges korábbi meghibásodásoktól és javításoktól fgtlnl. | ||
# értéke sosem nagyobb, mint a rendelkezésre állási függvény értéke. | # értéke sosem nagyobb, mint a rendelkezésre állási függvény értéke. | ||
46. sor: | 46. sor: | ||
== A hibafa == | == A hibafa == | ||
− | {{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=-}} |
# csomópontjai hibaállapotok, élei meghibásodások. | # csomópontjai hibaállapotok, élei meghibásodások. | ||
# alkalmas egyszeres hibapontok (SPOF) azonosításra. | # alkalmas egyszeres hibapontok (SPOF) azonosításra. | ||
53. sor: | 53. sor: | ||
== Egyensúlyi helyzetben lévő rendszer teljesítménymodellje esetén == | == Egyensúlyi helyzetben lévő rendszer teljesítménymodellje esetén == | ||
− | {{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=-}} |
# az érkezési ráta meghaladhatja az átbocsájtóképességet | # az érkezési ráta meghaladhatja az átbocsájtóképességet | ||
# időegységenként átlagosan annyi folyamatpéldány indul, mint ahány befejeződik | # időegységenként átlagosan annyi folyamatpéldány indul, mint ahány befejeződik | ||
60. sor: | 60. sor: | ||
== Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján == | == Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján == | ||
− | {{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=-}} |
# 100 állapotátmenet lesz. | # 100 állapotátmenet lesz. | ||
# 60 állapotátmenet lesz. | # 60 állapotátmenet lesz. | ||
67. sor: | 67. sor: | ||
== Adatfolyamhálóval leírt rendszerünk modelljében == | == Adatfolyamhálóval leírt rendszerünk modelljében == | ||
− | {{kvízkérdés|típus=több|válasz=1,3,4|pontozás= | + | {{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}} |
# az egyes csomópontok belső pontjai egymástől közvetlenül (kommunikáció nélkül) nem függenek. | # az egyes csomópontok belső pontjai egymástől közvetlenül (kommunikáció nélkül) nem függenek. | ||
# mindenképp lesz legalább egy decision csomópont, különben a modell nem terminál. | # mindenképp lesz legalább egy decision csomópont, különben a modell nem terminál. | ||
# a csomópontok felbonthatóak további alfolyamhálókra, amennyiben a bemeneti és kimeneti csatornák változatlanok | # a csomópontok felbonthatóak további alfolyamhálókra, amennyiben a bemeneti és kimeneti csatornák változatlanok | ||
# a kommunikáció alapesetben végtelen kapacitású FIFO csatornákon zajlik. | # a kommunikáció alapesetben végtelen kapacitású FIFO csatornákon zajlik. | ||
+ | |||
+ | |||
+ | == Állapotgépen tetszőleges állapot-, token- vagy őrfeltétel-finomítást végezve == | ||
+ | |||
+ | {{kvízkérdés|típus=egy|válasz=3|pontozás=-}} | ||
+ | # mindig nő az állapotok száma. | ||
+ | # mindig csökken az állapotok száma. | ||
+ | # a finomabb modell minden elérhető állapotához pontosan egy elérhető állapot tartozik az absztrakt modellben. | ||
+ | # az absztrakt modell minden elérhető állapotához tartozik legalább egy elérhető állapot a finomított modellben. | ||
+ | |||
+ | |||
+ | |||
+ | == A holtpont egy olyan állapot, amelyből a rendszer a modellezett inputok és események hatására == | ||
+ | |||
+ | {{kvízkérdés|típus=egy|válasz=1,2,3|pontozás=-}} | ||
+ | # 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=egy|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. | ||
+ | |||
+ | == Ha az egyik állapotrégió 5 állapotot és 15 átmenetet, a másik régió 4 állapotot és 8 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján == | ||
+ | |||
+ | {{kvízkérdés|típus=egy|válasz=2|pontozás=-}} | ||
+ | # 23 átmenetet tartalmaz. | ||
+ | # 100 átmenetet tartalmaz. | ||
+ | # 107 átmenetet tartalmaz. | ||
+ | # 120 átmenetet tartalmaz. | ||
+ | |||
+ | == Egy folyamat biztosan jólstrukturált, ha == | ||
+ | |||
+ | {{kvízkérdés|típus=egy|válasz=2|pontozás=-}} | ||
+ | # determinisztikus. | ||
+ | # elemi tevékenységek egyszerű szekvenciája. | ||
+ | # nem tartalmaz ciklust. | ||
+ | # nem tartalmaz fork-join párt. | ||
+ | |||
+ | == A Little-törvény alkalmazásakor == | ||
+ | |||
+ | {{kvízkérdés|típus=egy|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 az átlagosan a rendszerben egyidejűleg tartózkodó kérések 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, a válaszidő esetleges változásától függően. | ||
+ | |||
+ | == A tesztfedettség == | ||
+ | |||
+ | {{kvízkérdés|típus=egy|válasz=1,2|pontozás=-}} | ||
+ | # annak mértéke, hogy a teszteléskor a modell vagy szoftver 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 állapotfedé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 lap 2015. december 15., 20:29-kori változata
Tartalomjegyzék
- 1 Ha egy rendszer működését kísérletekkel közelítjük
- 2 A követelménygráf élei
- 3 M1 és M2, őrfeltételeket is tartalmazó állapotgépek asszinkron szorzata
- 4 Ha egy állapotgépről tudjuk, hogy determinisztikus, és teljes(en specifikált). Következik ebből, hogy
- 5 Ha egy folyamatmodell NEM tartalmaz join elemet, akkor az a modell biztosan
- 6 Az r(t) megbízhatósági függvény
- 7 A hibafa
- 8 Egyensúlyi helyzetben lévő rendszer teljesítménymodellje esetén
- 9 Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján
- 10 Adatfolyamhálóval leírt rendszerünk modelljében
- 11 Állapotgépen tetszőleges állapot-, token- vagy őrfeltétel-finomítást végezve
- 12 A holtpont egy olyan állapot, amelyből a rendszer a modellezett inputok és események hatására
- 13 Egy erőforrás kihasználtsága
- 14 Ha az egyik állapotrégió 5 állapotot és 15 átmenetet, a másik régió 4 állapotot és 8 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján
- 15 Egy folyamat biztosan jólstrukturált, ha
- 16 A Little-törvény alkalmazásakor
- 17 A tesztfedettség
Ha egy rendszer működését kísérletekkel közelítjük
- soha nem kapunk 99%-nál pontosabb eredményt
- a kísérletek pontossága a kísérletek számának gyökével (-mert fordítottan-) arányos
- kellő számú kísérlet elvégzése esetén támaszkodhatunk a centrális határeloszlás tétel alapján felírt összefüggésekre
- a tapasztalati szórás abszolútértéke mindig kisebb, mint a tapasztalati átlagé.
A követelménygráf élei
- irányítottak
- mentén voltaképp a követelmények finomítását hajtjuk végre.
- mindig nemfunkcionális követelményeket kötnek össze funkcionálissal.
- mindig egymásnak ellentmondó követelmény eket kötnek össze.
M1 és M2, őrfeltételeket is tartalmazó állapotgépek asszinkron szorzata
- mindig több állapotból áll, mint M1 és M2 állapotainak összege
- tartalmazhat hurokélet.
- csak akkor áll chat elő, ha M1 és M2 bemenethalmaza megegyezik.
- tartalmazhat nem elérhető állapotot.
Ha egy állapotgépről tudjuk, hogy determinisztikus, és teljes(en specifikált). Következik ebből, hogy
- minden állapotból minden bemenethez legalább egy állapotátmenet tartozik?
- minden állapotból minden bemenethez legfeljebb egy állapotátmenet tartozik?
- minden állapotból elérhető a kezdőállapot?
- minden állapot elérhető a kezdőállapotból?
Ha egy folyamatmodell NEM tartalmaz join elemet, akkor az a modell biztosan
- nem jólstruktúrált.
- tartalmaz merge elemet.
- hierarchikus.
- terminál.
Az r(t) megbízhatósági függvény
- a komponens pillanatnyi működőképességét jellemzi, esetleges korábbi meghibásodásoktól és javításoktól fgtlnl.
- értéke sosem nagyobb, mint a rendelkezésre állási függvény értéke.
- értéke sosem nagyobb 1-nél.
- értéke 1/MTTF a kádgörbe.
A hibafa
- csomópontjai hibaállapotok, élei meghibásodások.
- alkalmas egyszeres hibapontok (SPOF) azonosításra.
- alkalmas a komplex rendszeres szolgáltatásbiztonságának elemzésére a komponensek tulajdonságai alapján.
- az elemi meghibásodások függetlenségének feltételezésével használható kvantitatív elemzésére is.
Egyensúlyi helyzetben lévő rendszer teljesítménymodellje esetén
- az érkezési ráta meghaladhatja az átbocsájtóképességet
- időegységenként átlagosan annyi folyamatpéldány indul, mint ahány befejeződik
- az átbocsátási ráta és az átbocsájtóképesség mindig megegyezik
- a Little-törvény fennáll
Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján
- 100 állapotátmenet lesz.
- 60 állapotátmenet lesz.
- 98 állapotátmenet lesz.
- 140 állapotátmenet lesz.
Adatfolyamhálóval leírt rendszerünk modelljében
- az egyes csomópontok belső pontjai egymástől közvetlenül (kommunikáció nélkül) nem függenek.
- mindenképp lesz legalább egy decision csomópont, különben a modell nem terminál.
- a csomópontok felbonthatóak további alfolyamhálókra, amennyiben a bemeneti és kimeneti csatornák változatlanok
- a kommunikáció alapesetben végtelen kapacitású FIFO csatornákon zajlik.
Állapotgépen tetszőleges állapot-, token- vagy őrfeltétel-finomítást végezve
- mindig nő az állapotok száma.
- mindig csökken az állapotok száma.
- a finomabb modell minden elérhető állapotához pontosan egy elérhető állapot tartozik az absztrakt modellben.
- az absztrakt modell minden elérhető állapotához tartozik legalább egy elérhető állapot a finomított modellben.
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.
Ha az egyik állapotrégió 5 állapotot és 15 átmenetet, a másik régió 4 állapotot és 8 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján
- 23 átmenetet tartalmaz.
- 100 átmenetet tartalmaz.
- 107 átmenetet tartalmaz.
- 120 átmenetet tartalmaz.
Egy folyamat biztosan jólstrukturált, ha
- determinisztikus.
- elemi tevékenységek egyszerű szekvenciája.
- nem tartalmaz ciklust.
- nem tartalmaz fork-join párt.
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 az átlagosan a rendszerben egyidejűleg tartózkodó kérések 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, a válaszidő esetleges változásától függően.
A tesztfedettség
- annak mértéke, hogy a teszteléskor a modell vagy szoftver 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 állapotfedé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.