„Rendszermodellezés (régi)/Igaz Hamis kikérdező” változatai közötti eltérés
A VIK Wikiből
Nincs szerkesztési összefoglaló |
Nincs szerkesztési összefoglaló |
||
16. sor: | 16. sor: | ||
# mindig nemfunkcionális követelményeket kötnek össze funkcionálissal. | # mindig nemfunkcionális követelményeket kötnek össze funkcionálissal. | ||
# mindig egymásnak ellentmondó követelmény eket kötnek össze. | # mindig egymásnak ellentmondó követelmény eket kötnek össze. | ||
== M1 és M2, őrfeltételeket is tartalmazó állapotgépek asszinkron szorzata == | |||
{{kvízkérdés|típus=több|válasz=2,4|pontozás=+}} | |||
# 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. |
A lap 2015. december 15., 21:20-kori változata
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.