„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
30. sor: | 30. sor: | ||
# minden állapotból elérhető a kezdőállapot? | # minden állapotból elérhető a kezdőállapot? | ||
# minden állapot elérhető a kezdőállapotból? | # minden állapot elérhető a kezdőállapotból? | ||
+ | |||
+ | == Ha egy folyamatmodell NEM tartalmaz join elemet, akkor az a modell biztosan == | ||
+ | {{kvízkérdés|típus=több|válasz=|pontozás=+}} | ||
+ | # nem jólstruktúrált. | ||
+ | # tartalmaz merge elemet. | ||
+ | # hierarchikus. | ||
+ | # terminál. |
A lap 2015. december 15., 20:22-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
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.