„Rendszermodellezés 2. ZH/Rendszermodellezés” változatai közötti eltérés
Nincs szerkesztési összefoglaló |
aNincs szerkesztési összefoglaló |
||
| (4 közbenső módosítás, amit 2 másik szerkesztő végzett, nincs mutatva) | |||
| 33. sor: | 33. sor: | ||
== 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. | ||
| 142. sor: | 142. sor: | ||
#…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). | #…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. | #…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...== | ==Vizuális elemzésnél...== | ||
| 241. sor: | 234. sor: | ||
#...befolyással lehet a rendszer átbocsátóképességére. | #...befolyással lehet a rendszer átbocsátóképességére. | ||
==A | ==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=-}} | {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}} | ||
#...a kihasználtság mindig 100%-os. | #...a kihasználtság mindig 100%-os. | ||
| 406. sor: | 399. sor: | ||
#...annak mértéke, hogy a teszteléskor a modell vagy szoftver mekkora részét próbáljuk ki. | #...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ó. | #...csak egyetlen tesztesetre számítható. | ||
#...lehet nagyobb, mint 1, ha a folyamatban van ciklus. | #...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. | #...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. | ||
| 466. sor: | 459. sor: | ||
== A tesztfedettség... == | == A tesztfedettség... == | ||
{{kvízkérdés|típus=több|válasz=|pontozás=-}} | {{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. | # ...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. | # ...lehetséges értelmezései közül a 100%-os állapotfedés mindig 100%-os átmenet fedettség is eredményez. | ||
| 478. sor: | 471. sor: | ||
#...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. | #...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ő. | #...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. | |||