VIK Wiki

„Rendszermodellezés 2. ZH/Rendszermodellezés” változatai közötti eltérés

← Régebbi szerkesztés
VizuálisWikiszöveges
Csia Klaudia Kitti (vitalap | szerkesztései)
felületadminisztrátorok, oauth2, smwadministrator, smwcurator, adminisztrátorok, upwizcampeditors
1 846 szerkesztés
aNincs szerkesztési összefoglaló
Csia Klaudia Kitti (vitalap | szerkesztései)
felületadminisztrátorok, oauth2, smwadministrator, smwcurator, adminisztrátorok, upwizcampeditors
1 846 szerkesztés
aNincs szerkesztési összefoglaló
 
(2 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 szúróprobaszerű vizsgálata bizonyos inputokra.
# ...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.
234. 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 fájlszerver egyensúlyi helyzetében lévő teljesítménymodelljében...==
==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.
399. 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.


471. 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.
A lap eredeti címe: „https://vik.wiki/Rendszermodellezés_2._ZH/Rendszermodellezés”