VIK Wiki

„Rendszermodellezés 1. ZH/Igaz Hamis kikérdező” változatai közötti eltérés

← Régebbi szerkesztésÚjabb szerkesztés →
VizuálisWikiszöveges
Nincs szerkesztési összefoglaló
Csia Klaudia Kitti (vitalap | szerkesztései)
felületadminisztrátorok, oauth2, smwadministrator, smwcurator, adminisztrátorok, upwizcampeditors
1 846 szerkesztés
Nincs szerkesztési összefoglaló
5. sor: 5. sor:
== A modell egy valós vagy hipotetikus rendszer egy részének milyen képe? ==
== A modell egy valós vagy hipotetikus rendszer egy részének milyen képe? ==
{{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=-}}
# aszinkron
# Aszinkron.
# egyszerűsített
# Egyszerűsített.
# determinisztikus
# Determinisztikus.
# végrehajtható
# Végrehajtható.


== Melyik mondat lesz mindenképp igaz, ha M1 modell finomítja az M2 modellt? ==
== Melyik mondat lesz mindenképp igaz, ha M1 modell finomítja az M2 modellt? ==
16. sor: 16. sor:
# M2 absztrahálja M1-et.
# M2 absztrahálja M1-et.
# M2 finomítja M1-et.
# M2 finomítja M1-et.
== A 3 állapotból, 4 átmenetből álló M1, továbbá az 5 állapotból és 15 átmenetből álló M2 egyaránt egyszerű állapotgépek, őrfeltételek nélkül. Mi igaz a teljes rendszert jellemző M állapotgépre, amely ezen két komponens/régió aszinkron szorzataként állt elő? ==
{{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}
# M állapotainak száma 15.
# M állapotátmeneteinek száma 19.
# M állapotátmeneteinek száma 60.
# M állapotátmeneteinek száma 65.


== Az alábbiak közül mely gráfok mindig körmentesek? ==
== Az alábbiak közül mely gráfok mindig körmentesek? ==
29. sor: 36. sor:
# Párhuzamos régiók.
# Párhuzamos régiók.
# Őrfeltétel.
# Őrfeltétel.
# Állapot
# Állapot.
 
[[File:Remo_zh1_kikerdezo_kep1.PNG]]
 
== A következő eseménysor bekövetkeztét figyeltük meg: ''A elkezdődik, A befejeződik, B elkezdődik, C elkezdődik, B befejeződik, C befejeződik.'' A folyamatmodellek közül melyek lehetnek a helyes modelljei a rendszernek? ==
{{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}
# F.
# G.
# H.
# Egyiksem.


== Az alábbiak közül melyik jellemző minden állapottérre? ==
== Az alábbiak közül melyik jellemző minden állapottérre? ==
{{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=-}}
# Hierarchikus
# Hierarchikus.
# Teljes.
# Teljes.
# Kizárólagos.
# Kizárólagos.
45. sor: 61. sor:
# S az S1 és S2 metszete.
# S az S1 és S2 metszete.


== Mi igaz a C nyelvű programok vezérlési folyamára? ==
== Legfeljebb hány állapotot tartalmaz két olyan állapottér direkt szorzata, amelyek rendre 5 és 3 állapotból álltak? ==
{{kvízkérdés|típus=több|válasz=2-|pontozás=-}}
# 8.
# 15.
# 2.
# 23.
 
== Mi igaz a C nyelvű programok vezérlési folyamára? ==  
{{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}}
{{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}}
# A vezérlési folyam egy hierarchikus állapotgép.
# A vezérlési folyam egy hierarchikus állapotgép.
75. sor: 98. sor:
== Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… ==
== Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… ==
{{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=-}}
# …S \ S' biztosan kizárólagos
# …S \ S' biztosan kizárólagos.
# …S \ S' biztosan teljes
# …S \ S' biztosan teljes.
# …S ∪ S' biztosan teljes
# …S ∪ S' biztosan teljes.
# …ha S' is egy állapottér, akkor S ∩ S' = ∅ vagy S=S’.
# …ha S' is egy állapottér, akkor S ∩ S' = ∅ vagy S=S’.


180. sor: 203. sor:
== Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… ==
== Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… ==
{{kvízkérdés|típus=több|válasz=1|pontozás=-}}
{{kvízkérdés|típus=több|válasz=1|pontozás=-}}
# …S \ S' biztosan kizárólagos
# …S \ S' biztosan kizárólagos.
# …S \ S' biztosan teljes
# …S \ S' biztosan teljes.
# …ha S' is egy állapottér, akkor S \ S' = ∅.
# …ha S' is egy állapottér, akkor S \ S' = ∅.
# …ha S' is egy állapottér, akkor S ∩ S' = ∅.
# …ha S' is egy állapottér, akkor S ∩ S' = ∅.
191. sor: 214. sor:
# …pontosan 140 átmenetet tartalmaz.
# …pontosan 140 átmenetet tartalmaz.
# …pontosan 160 átmenetet tartalmaz.
# …pontosan 160 átmenetet tartalmaz.
[[File:Remo_zh1_kikerdezo_kep2.PNG]]
== Az F folyamatmodellnek az alábbi eseményszekvenciák közül  melyek lehetnek a helyes lefutásai? ==
{{kvízkérdés|típus=több|válasz=3,4|pontozás=-}}
# F elkezdődik, A  elkezdődik,  A  befejeződik,  C  elkezdődik, C  befejeződik, F befejeződik.
# F elkezdődik, A elkezdődik, A befejeződik, B elkezdődik, B befejeződik, C elkezdődik, C befejeződik, D elkezdődik, D befejeződik, F befejeződik.
# F elkezdődik, A elkezdődik, A befejeződik, C elkezdődik, C befejeződik, D elkezdődik, D befejeződik, F befejeződik.
# F elkezdődik, A elkezdődik, A befejeződik, C elkezdődik, D elkezdődik, C befejeződik, D befejeződik, F befejeződik.


== Mely állítások igazak az alábbiak közül? ==
== Mely állítások igazak az alábbiak közül? ==
212. sor: 244. sor:
# A típusgráfban minden csomóponttípushoz egy típuscsomópont, minden éltípushoz egy típusél tartozik.
# A típusgráfban minden csomóponttípushoz egy típuscsomópont, minden éltípushoz egy típusél tartozik.
# Az objektum-orientált programozásban használt objektumoknak megfeleltethető egy típusgráf csomópontja.
# Az objektum-orientált programozásban használt objektumoknak megfeleltethető egy típusgráf csomópontja.
== Állapot alapú modellezéskor... ==
{{kvízkérdés|típus=több|válasz=4|pontozás=-}}
# ...minden állapothalmaz egyben állapottér is.
# ...az állapottér kizárólagossága azt jelenti, hogy mindig van fennálló, érvényes állapot.
# ...csak akkor lehet teljes egy állapottér, ha több mint egy eleme van.
# ...absztrakció után továbbra is fennáll a kölcsönös kizárólagosság.
== Két állapot fennállhat egyszerre, ha... ==
{{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}}
# ...nem ugyanazon állapottér részei.
# ...azonos a típusuk.
# ...egy kiterjesztett (Harel) állapotgépben egy összetett állapot két külön állapotrégiójában vannak.
# ...a kiterjesztett (Harel) állapotgépben az egyik a másikat tartalmazó állapot.
== Két komponensű állapotgép aszinkron szorzata... ==
{{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}
# ...maga is állapotgép.
# ...olyan állapotátmeneteket tartalmaz, amelyek során mindig mindkét komponens állapotgépében is végrehajtódik egy-egy átmenet.
# ...nem lehet determinisztikus, mert mindkét komponens állapotgépe válthat állapotot.
# ...absztrakcióval visszavetíthető az egyik komponens állapotgépre.
== A modell... ==
{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
# ...mindig egy tervezés alatt álló rendszerről szól, sosem a létező valóságról.
# ...nem mindig foglalkozik az egész modellezett rendszerrel, csak egy részével.
# ...szerepe, hogy bizonyos megfontolásokban helyettesítse a rendszert.
# ...lehet pontosabb, részletesebb a valódi rendszernél.
== Modellek dekompozíciója esetén... ==
{{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}
# ...a "része" viszony jelentése lehet térbeli tartalmazás (fizikai dekompozíció).
# ...a "része" viszony jelentése lehet funkció szerinti szétbontás (logikai dekompozíció).
# ...helyes lehet olyan dekompozíció, amely az eredeti rendszer egyes elemeit összevonja.
# ...minden rendszerelemet több részre bontunk fel.
== A példánygráf... ==
{{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}
# ...csomópontokból és élekből áll.
# ...más néven metamodell.
# ...elemei a típusuk által megengedett módon kapcsolódhatnak.
# ...egy program vezérlési folyamát írja le.
== A folyamatmodellben az elemi tevékenység... ==
{{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}}
# ...nem fordulhat elő, ha a folyamat jólstrukturált.
# ...időbeli kiterjedéssel rendelkezhet, huzamosabb ideig végrehajtás alatt lehet.
# ...belső működését, időbeli lefolyását a folyamatmodell nem részletezi.
# ...finomítás keretében helyettesíthető egy részfolyamattal, amely a tevékenység végrehajtásának részleteit taglalja.
== Őrfeltétel... ==
{{kvízkérdés|típus=több|válasz=1,2,3,4|pontozás=-}}
# ...szerepelhet a folyamat döntési (Decision) csomópontjáról kimenő ágakon.
# ...szerepelhet egy állapotgép állapotátmeneti élein.
# ...figyelembe vehet változókat, más állapotrégiókat, külső információt.
# ...sérülés esetén az adott viselkedés nem megengedett.
== A strukturális dekompozíció... ==
{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
# ...egy rendszer részekre bontása az állapotátmeneti reláció szerint.
# ...lehet fizikai vagy logikai.
# ...mindig növeli a modellelemek számát.
# ...egyfajta finomítás.
== A struktúramodellnek tipikus célja, hogy... ==
{{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}
# ...a rendszer belső felépítését leírják.
# ...az egyes eseményekre a rendszer által adott választ definiálják.
# ...a végrehajtandó lépéseket, és egymás közti sorrendjüket megadják.
# ...a rendszert alkotó elemek jellemzőit és viszonyait leírják.
== Egy állapotgép biztosan determinisztikus, ha ... ==
{{kvízkérdés|típus=több|válasz=|pontozás=-}}
# ...minden állapotban minden bemenethez tartozik legalább egy átmenet.
# ...nem tartalmaz spontán átmenetet.
# ...nem tartalmaz párhuzamos régiókat.
# ...nem tartalmaz hierarchikus állapotot.
== Két komponensű állapotgép aszinkron szorzata... ==
{{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}
# ...absztrakcióval visszavetíthető az egyik komponens állapotgépére.
# ...maga is állapotgép.
# ...nem lehet determinisztikus, mert mindkét komponens állapotgépe válthat állapotot.
# ...olyan állapotátmeneteket tartalmaz, amelyek során mindig, mindkét komponens állapotgépében is végrehajtódik egy-egy átmenet.
== Általánosan egy viselkedésmodell... ==
{{kvízkérdés|típus=több|válasz=2|pontozás=-}}
# ...alatt mindig állapotgépet értünk.
# ...feldata, hogy a rendszer működését, változását leírja.
# ...hibás, ha nemdeterminisztikus.
# ...absztrahálható, de finomítani már nem lehet, mivel megadja a rendszer teljes viselkedését.
== Folyamatmodellek esetén ... ==
{{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}}
# ...az elemi tevékenységek időbeli kiterjedéssel rendelkeznek.
# ...az elemi tevékenységek lefolyását, belső lépéseit (az adott folyamatmodellben) nem modellezzük.
# ...ciklusokat decision és merge vezérlési elemekkel tudunk létrehozni.
# ...a fork és join vezérlési elemekkel több végrehajtható ág közül lehet egyet választani.
== A folyamatmodell döntési (decision) elágazásánál... ==
{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
# ...a kimenő élekre írt őrfeltételek elsődleges célja, hogy másik folyamatmodellel szinkronizálni lehessen (randevú).
# ...az egyes döntési ágakon tetszőleges számú lépés következhet.
# ...a döntés után pontosan egy ág kerül végrehajtásra.
# ...a döntési ágaknak egy befejezési (Flow End) csomópontban be kell várniuk egymást.
---------------------------
== Az absztrakció... ==
{{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}
# ...modellből indul ki, és az eredménye egy valós rendszer.
# ...mindig információt hagy el a modellből.
# ...eredményeképp a modell kevesebb valós rendszernek lesz érvényes modellje.
# ...megfordítása a finomítás.
== A modellt ábrázoló diagram... ==
{{kvízkérdés|típus=több|válasz=1|pontozás=-}}
# ...mellett sok modell szöveges is leírható.
# ...mindig a modellel azonos információtartalmú.
# ...megegyezik a modellezett rendszerrel.
# ...kizárólag viselkedésmodellekre készíthető el.
== A példánygráfot... ==
{{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}
# ...arra használjuk, hogy a rendszert alkotó elemek egymáshoz való viszonyát leírjuk.
# ...típuscsomópontok és típusélek alkotják.
# ...tartalmazási viszonyok és típus-példány viszonyok alkotják.
# ...szűrhejtük (absztrahálhatjuk) adott címkéjű elemeire, és ez újabb gráfmodellt eredményez.
== Modellek dekompozíciójánál... ==
{{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}
# ...a helyesség szükséges feltétele, hogy az eredeti rendszer minden elemének pontosan egy modellelem feleljen meg a dekompozíció után.
# ...a helyesség szükséges feltétele, hogy a (dekompozíció utáni) rendszer minden elemének megfeleltethető legyen az eredeti rendszer valamely eleme.
# ...logikai a dekompozíció, ha a rendszert alkatrészei szerint bontjuk fel.
# ...egy problémát vagy rendszert kisebb részekre bontunk.
== Egy rendszer működését érvényesen modellező egyszerű állapotgép (nem Harel statechart)... ==
{{kvízkérdés|típus=több|válasz=4|pontozás=-}}
# ...kötelezően determinisztikus
# ...csak a rendszeren kívülről érkező input hatására válthat állapotot.
# ...minden állapotátmenetekor kötelezően outputot bocsát ki.
# ...a rendszer működése során minden időpontban pontosan egy aktív (aktuális) állapotot tartalmaz.
== Folyamatmodellezésnél... ==
{{kvízkérdés|típus=több|válasz=1|pontozás=-}}
# ...alapvetően a rendszerben elvégzett tevékenységek és a köztük fennálló sorrendi függőségek modellezésére koncentrálunk.
# ...a rendszert fizikai elemei mentén bontjuk részekre, ha alfolyamatokat alkalmazunk a modellben.
# ...egy elemi tevékenység végrehajtása mindig pillanatszerű.
# ...egy folyamatmodell akkor helyes, ha minden lefutása során, minden tevékenységét végrehajtuk.
== Egy valós rendszer viselkedését leíró teljes folyamatmodell... ==
{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
# ...mindenképpen jólstrukturált.
# ...tartalmazhat olyan merge csomópontot, amelybe a vele párosított decision érintése nélkül el lehet jutni.
# ...mindig tartalmaz kezdő (start, flow, begin) csomópontot.
# ...minden csomópontját pontosan egy vezérlési él hagyja el.
== Ha a folyamat egy fork csomópont után az egyik ágon egy A, a másik ágon egy B tevékenységgel folytatódik, akkor... ==
{{kvízkérdés|típus=több|válasz=4|pontozás=-}}
# ...A és B tevékenységek egyszerre fognak elkezdődni.
# ...A és B közül pontosan egy lesz végrehajtva.
# ...B-nek A befejezése előtt el kell kezdődnie.
# ...B befejeződhet A kezdete előtt.
A lap eredeti címe: „https://vik.wiki/Rendszermodellezés_1._ZH/Igaz_Hamis_kikérdező”