„Rendszermodellezés 2. ZH/Rendszermodellezés” változatai közötti eltérés
Nincs szerkesztési összefoglaló |
aNincs szerkesztési összefoglaló |
||
| (Egy közbenső módosítás ugyanattól a felhasználótól 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. | ||
| 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 | ==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. | ||
| 492. sor: | 492. sor: | ||
#...nem teljesíti, ha egy a követelményt helyesen ellenőrző teszteset hibát mutat ki. | #...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. | #...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. | |||