Rendszermodellezés (régi)/Igaz Hamis kikérdező - Laptörténet

Balogh Péter Dániel, 2015. december 15., 20:32-n

2015-12-15T20:32:56Z

← Régebbi változat		A lap 2015. december 15., 22:32-kori változata
2. sor:		2. sor:
	\|cím=ReMo kikérdező		\|cím=ReMo kikérdező
	}}		}}

	~~Fontos, hogy a kérdéseknél csak az igaz válaszokat kell megjelölni - a ZH-n természetesen továbbra is, be kell írni, hogy az adott állítás igaz-e vagy hamis.~~

	== Ha egy rendszer működését kísérletekkel közelítjük ==		== Ha egy rendszer működését kísérletekkel közelítjük ==
	{{kvízkérdés\|típus=több\|válasz=3\|pontozás=-}}		{{kvízkérdés\|típus=több\|válasz=3\|pontozás=-}}

Balogh Péter Dániel, 2015. december 15., 20:32-n

2015-12-15T20:32:33Z

← Régebbi változat		A lap 2015. december 15., 22:32-kori változata
2. sor:		2. sor:
	\|cím=ReMo kikérdező		\|cím=ReMo kikérdező
	}}		}}

			Fontos, hogy a kérdéseknél csak az igaz válaszokat kell megjelölni - a ZH-n természetesen továbbra is, be kell írni, hogy az adott állítás igaz-e vagy hamis.

	== Ha egy rendszer működését kísérletekkel közelítjük ==		== Ha egy rendszer működését kísérletekkel közelítjük ==

Balogh Péter Dániel: /* Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján */

2015-12-15T20:31:31Z

Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján

← Régebbi változat		A lap 2015. december 15., 22:31-kori változata
61. sor:		61. sor:
	== Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján ==		== Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján ==
	{{kvízkérdés\|típus=több\|válasz=3\|pontozás=-}}		{{kvízkérdés\|típus=több\|válasz=3\|pontozás=-}}
	# 100 ~~állapotátmenet lesz~~.		# 100 átmenetet tartalmaz.
	# 60 ~~állapotátmenet lesz~~.		# 60 átmenetet tartalmaz.
	# 98 ~~állapotátmenet lesz~~.		# 98 átmenetet tartalmaz.
	# 140 ~~állapotátmenet lesz~~.		# 140 átmenetet tartalmaz.

	== Adatfolyamhálóval leírt rendszerünk modelljében ==		== Adatfolyamhálóval leírt rendszerünk modelljében ==

Szommer András Ágoston, 2015. december 15., 20:30-n

2015-12-15T20:30:30Z

← Régebbi változat		A lap 2015. december 15., 22:30-kori változata
76. sor:		76. sor:
	== Állapotgépen tetszőleges állapot-, token- vagy őrfeltétel-finomítást végezve ==		== Állapotgépen tetszőleges állapot-, token- vagy őrfeltétel-finomítást végezve ==

	{{kvízkérdés\|típus=~~egy~~\|válasz=3\|pontozás=-}}		{{kvízkérdés\|típus=több\|válasz=3\|pontozás=-}}
	# mindig nő az állapotok száma.		# mindig nő az állapotok száma.
	# mindig csökken az állapotok száma.		# mindig csökken az állapotok száma.
86. sor:		86. sor:
	== A holtpont egy olyan állapot, amelyből a rendszer a modellezett inputok és események hatására ==		== A holtpont egy olyan állapot, amelyből a rendszer a modellezett inputok és események hatására ==

	{{kvízkérdés\|típus=~~egy~~\|válasz=1,2,3\|pontozás=-}}		{{kvízkérdés\|típus=több\|válasz=1,2,3\|pontozás=-}}
	# nem képes kilépni, legfeljebb külső (a modellen túlmutató) segítséggel.		# nem képes kilépni, legfeljebb külső (a modellen túlmutató) segítséggel.
	# előfordulhat úgy, hogy a rendszer folyamatai egymásra várakoznak.		# előfordulhat úgy, hogy a rendszer folyamatai egymásra várakoznak.
95. sor:		95. sor:
	== Egy erőforrás kihasználtsága ==		== Egy erőforrás kihasználtsága ==

	{{kvízkérdés\|típus=~~egy~~\|válasz=1\|pontozás=-}}		{{kvízkérdés\|típus=több\|válasz=1\|pontozás=-}}
	# nemnegatív.		# nemnegatív.
	# mindig nagyobb vagy egyenlő a vizitációs számnál.		# mindig nagyobb vagy egyenlő a vizitációs számnál.
103. sor:		103. sor:
	== Ha az egyik állapotrégió 5 állapotot és 15 átmenetet, a másik régió 4 állapotot és 8 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján ==		== Ha az egyik állapotrégió 5 állapotot és 15 átmenetet, a másik régió 4 állapotot és 8 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján ==

	{{kvízkérdés\|típus=~~egy~~\|válasz=2\|pontozás=-}}		{{kvízkérdés\|típus=több\|válasz=2\|pontozás=-}}
	# 23 átmenetet tartalmaz.		# 23 átmenetet tartalmaz.
	# 100 átmenetet tartalmaz.		# 100 átmenetet tartalmaz.
111. sor:		111. sor:
	== Egy folyamat biztosan jólstrukturált, ha ==		== Egy folyamat biztosan jólstrukturált, ha ==

	{{kvízkérdés\|típus=~~egy~~\|válasz=2\|pontozás=-}}		{{kvízkérdés\|típus=több\|válasz=2\|pontozás=-}}
	# determinisztikus.		# determinisztikus.
	# elemi tevékenységek egyszerű szekvenciája.		# elemi tevékenységek egyszerű szekvenciája.
119. sor:		119. sor:
	== A Little-törvény alkalmazásakor ==		== A Little-törvény alkalmazásakor ==

	{{kvízkérdés\|típus=~~egy~~\|válasz=1,2,3,4\|pontozás=-}}		{{kvízkérdés\|típus=több\|válasz=1,2,3,4\|pontozás=-}}
	# azt feltételezzük, hogy a beérkezési ráta nem nagyobb, mint az átbocsátóképesség;		# azt feltételezzük, hogy a beérkezési ráta nem nagyobb, mint az átbocsátóképesség;
	# meghatározhatjuk az átlagosan a rendszerben egyidejűleg tartózkodó kérések számát, a valóságban azonban ez időnként ennél nagyobb értéket is felvehet;		# meghatározhatjuk az átlagosan a rendszerben egyidejűleg tartózkodó kérések számát, a valóságban azonban ez időnként ennél nagyobb értéket is felvehet;
127. sor:		127. sor:
	== A tesztfedettség ==		== A tesztfedettség ==

	{{kvízkérdés\|típus=~~egy~~\|válasz=1,2\|pontozás=-}}		{{kvízkérdés\|típus=több\|válasz=1,2\|pontozás=-}}
	# annak mértéke, hogy a teszteléskor a modell vagy szoftver mekkora részét futtatjuk.		# annak mértéke, hogy a teszteléskor a modell vagy szoftver mekkora részét futtatjuk.
	# csak egyetlen tesztesetre számítható.		# csak egyetlen tesztesetre számítható.
	# lehetséges értelmezései közül a 100%-os átmenet fedettség mindig 100%-os állapotfedést is eredményez.		# lehetséges értelmezései közül a 100%-os átmenet fedettség mindig 100%-os állapotfedést is eredményez.
	# lehetséges értelmezései közül a 100%-os átmenet fedettség azt is jelenti, hogy minden lehetséges bemenetsorozatot leteszteltünk.		# lehetséges értelmezései közül a 100%-os átmenet fedettség azt is jelenti, hogy minden lehetséges bemenetsorozatot leteszteltünk.

Szommer András Ágoston, 2015. december 15., 20:29-n

2015-12-15T20:29:42Z

← Régebbi változat		A lap 2015. december 15., 22:29-kori változata
4. sor:		4. sor:

	== Ha egy rendszer működését kísérletekkel közelítjük ==		== Ha egy rendszer működését kísérletekkel közelítjük ==
	{{kvízkérdés\|típus=több\|válasz=3\|pontozás=+}}		{{kvízkérdés\|típus=több\|válasz=3\|pontozás=-}}
	# soha nem kapunk 99%-nál pontosabb eredményt		# 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		# a kísérletek pontossága a kísérletek számának gyökével (-mert fordítottan-) arányos
11. sor:		11. sor:

	== A követelménygráf élei ==		== A követelménygráf élei ==
	{{kvízkérdés\|típus=több\|válasz=1,2\|pontozás=+}}		{{kvízkérdés\|típus=több\|válasz=1,2\|pontozás=-}}
	# irányítottak		# irányítottak
	# mentén voltaképp a követelmények finomítását hajtjuk végre.		# mentén voltaképp a követelmények finomítását hajtjuk végre.
18. sor:		18. sor:

	== M1 és M2, őrfeltételeket is tartalmazó állapotgépek asszinkron szorzata ==		== 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=+}}		{{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		# mindig több állapotból áll, mint M1 és M2 állapotainak összege
	# tartalmazhat hurokélet.		# tartalmazhat hurokélet.
25. sor:		25. sor:

	== Ha egy állapotgépről tudjuk, hogy determinisztikus, és teljes(en specifikált). Következik ebből, hogy ==		== Ha egy állapotgépről tudjuk, hogy determinisztikus, és teljes(en specifikált). Következik ebből, hogy ==
	{{kvízkérdés\|típus=több\|válasz=1,2\|pontozás=+}}		{{kvízkérdés\|típus=több\|válasz=1,2\|pontozás=-}}
	# minden állapotból minden bemenethez legalább egy állapotátmenet tartozik?		# minden állapotból minden bemenethez legalább egy állapotátmenet tartozik?
	# minden állapotból minden bemenethez legfeljebb egy állapotátmenet tartozik?		# minden állapotból minden bemenethez legfeljebb egy állapotátmenet tartozik?
32. sor:		32. sor:

	== Ha egy folyamatmodell NEM tartalmaz join elemet, akkor az a modell biztosan ==		== Ha egy folyamatmodell NEM tartalmaz join elemet, akkor az a modell biztosan ==
	{{kvízkérdés\|típus=több\|válasz=\|pontozás=+}}		{{kvízkérdés\|típus=több\|válasz=\|pontozás=-}}
	# nem jólstruktúrált.		# nem jólstruktúrált.
	# tartalmaz merge elemet.		# tartalmaz merge elemet.
39. sor:		39. sor:

	== Az r(t) megbízhatósági függvény ==		== Az r(t) megbízhatósági függvény ==
	{{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=-}}
	# a komponens pillanatnyi működőképességét jellemzi, esetleges korábbi meghibásodásoktól és javításoktól fgtlnl.		# a komponens pillanatnyi működőképességét jellemzi, esetleges korábbi meghibásodásoktól és javításoktól fgtlnl.
	# értéke sosem nagyobb, mint a rendelkezésre állási függvény értéke.		# értéke sosem nagyobb, mint a rendelkezésre állási függvény értéke.
46. sor:		46. sor:

	== A hibafa ==		== A hibafa ==
	{{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=-}}
	# csomópontjai hibaállapotok, élei meghibásodások.		# csomópontjai hibaállapotok, élei meghibásodások.
	# alkalmas egyszeres hibapontok (SPOF) azonosításra.		# alkalmas egyszeres hibapontok (SPOF) azonosításra.
53. sor:		53. sor:

	== Egyensúlyi helyzetben lévő rendszer teljesítménymodellje esetén ==		== Egyensúlyi helyzetben lévő rendszer teljesítménymodellje esetén ==
	{{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=-}}
	# az érkezési ráta meghaladhatja az átbocsájtóképességet		# az érkezési ráta meghaladhatja az átbocsájtóképességet
	# időegységenként átlagosan annyi folyamatpéldány indul, mint ahány befejeződik		# időegységenként átlagosan annyi folyamatpéldány indul, mint ahány befejeződik
60. sor:		60. sor:

	== Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján ==		== Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján ==
	{{kvízkérdés\|típus=több\|válasz=3\|pontozás=+}}		{{kvízkérdés\|típus=több\|válasz=3\|pontozás=-}}
	# 100 állapotátmenet lesz.		# 100 állapotátmenet lesz.
	# 60 állapotátmenet lesz.		# 60 állapotátmenet lesz.
67. sor:		67. sor:

	== Adatfolyamhálóval leírt rendszerünk modelljében ==		== Adatfolyamhálóval leírt rendszerünk modelljében ==
	{{kvízkérdés\|típus=több\|válasz=1,3,4\|pontozás=+}}		{{kvízkérdés\|típus=több\|válasz=1,3,4\|pontozás=-}}
	# az egyes csomópontok belső pontjai egymástől közvetlenül (kommunikáció nélkül) nem függenek.		# az egyes csomópontok belső pontjai egymástől közvetlenül (kommunikáció nélkül) nem függenek.
	# mindenképp lesz legalább egy decision csomópont, különben a modell nem terminál.		# mindenképp lesz legalább egy decision csomópont, különben a modell nem terminál.
	# a csomópontok felbonthatóak további alfolyamhálókra, amennyiben a bemeneti és kimeneti csatornák változatlanok		# a csomópontok felbonthatóak további alfolyamhálókra, amennyiben a bemeneti és kimeneti csatornák változatlanok
	# a kommunikáció alapesetben végtelen kapacitású FIFO csatornákon zajlik.		# a kommunikáció alapesetben végtelen kapacitású FIFO csatornákon zajlik.


			== Állapotgépen tetszőleges állapot-, token- vagy őrfeltétel-finomítást végezve ==

			{{kvízkérdés\|típus=egy\|válasz=3\|pontozás=-}}
			# mindig nő az állapotok száma.
			# mindig csökken az állapotok száma.
			# a finomabb modell minden elérhető állapotához pontosan egy elérhető állapot tartozik az absztrakt modellben.
			# az absztrakt modell minden elérhető állapotához tartozik legalább egy elérhető állapot a finomított modellben.



			== A holtpont egy olyan állapot, amelyből a rendszer a modellezett inputok és események hatására ==

			{{kvízkérdés\|típus=egy\|válasz=1,2,3\|pontozás=-}}
			# nem képes kilépni, legfeljebb külső (a modellen túlmutató) segítséggel.
			# előfordulhat úgy, hogy a rendszer folyamatai egymásra várakoznak.
			# és a végtelen ciklus között fontos különbség, hogy a végtelen ciklusban történhet állapotváltozás, míg a holtpontban nem.
			# determinisztikus folyamatban nem fordulhat elő.


			== Egy erőforrás kihasználtsága ==

			{{kvízkérdés\|típus=egy\|válasz=1\|pontozás=-}}
			# nemnegatív.
			# mindig nagyobb vagy egyenlő a vizitációs számnál.
			# kisebb vagy egyenlő az átbocsátóképességnél.
			# egyensúlyi helyzetben megegyezik az érkezési rátával.

			== Ha az egyik állapotrégió 5 állapotot és 15 átmenetet, a másik régió 4 állapotot és 8 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján ==

			{{kvízkérdés\|típus=egy\|válasz=2\|pontozás=-}}
			# 23 átmenetet tartalmaz.
			# 100 átmenetet tartalmaz.
			# 107 átmenetet tartalmaz.
			# 120 átmenetet tartalmaz.

			== Egy folyamat biztosan jólstrukturált, ha ==

			{{kvízkérdés\|típus=egy\|válasz=2\|pontozás=-}}
			# determinisztikus.
			# elemi tevékenységek egyszerű szekvenciája.
			# nem tartalmaz ciklust.
			# nem tartalmaz fork-join párt.

			== A Little-törvény alkalmazásakor ==

			{{kvízkérdés\|típus=egy\|válasz=1,2,3,4\|pontozás=-}}
			# azt feltételezzük, hogy a beérkezési ráta nem nagyobb, mint az átbocsátóképesség;
			# meghatározhatjuk az átlagosan a rendszerben egyidejűleg tartózkodó kérések számát, a valóságban azonban ez időnként ennél nagyobb értéket is felvehet;
			# ha a rendszerben töltött idő azonos átbocsátás mellett nő, akkor nagyobb N (átlagos átlapolódási fok) értékre számítunk;
			# ha az átbocsátás csökken, attól a rendszerben kiszolgálás alatt lévő kérések száma nőhet, a válaszidő esetleges változásától függően.

			== A tesztfedettség ==

			{{kvízkérdés\|típus=egy\|válasz=1,2\|pontozás=-}}
			# annak mértéke, hogy a teszteléskor a modell vagy szoftver mekkora részét futtatjuk.
			# csak egyetlen tesztesetre számítható.
			# lehetséges értelmezései közül a 100%-os átmenet fedettség mindig 100%-os állapotfedést is eredményez.
			# lehetséges értelmezései közül a 100%-os átmenet fedettség azt is jelenti, hogy minden lehetséges bemenetsorozatot leteszteltünk.

Balogh Péter Dániel: /* Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján */

2015-12-15T20:28:50Z

← Régebbi változat		A lap 2015. december 15., 22:28-kori változata
61. sor:		61. sor:
	== Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján ==		== Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján ==
	{{kvízkérdés\|típus=több\|válasz=3\|pontozás=+}}		{{kvízkérdés\|típus=több\|válasz=3\|pontozás=+}}
	# 100		# 100 állapotátmenet lesz.
	# 60		# 60 állapotátmenet lesz.
	# 98		# 98 állapotátmenet lesz.
	# 140		# 140 állapotátmenet lesz.

	== Adatfolyamhálóval leírt rendszerünk modelljében ==		== Adatfolyamhálóval leírt rendszerünk modelljében ==

Balogh Péter Dániel, 2015. december 15., 20:28-n

2015-12-15T20:28:15Z

← Régebbi változat		A lap 2015. december 15., 22:28-kori változata
51. sor:		51. sor:
	# alkalmas a komplex rendszeres szolgáltatásbiztonságának elemzésére a komponensek tulajdonságai alapján.		# alkalmas a komplex rendszeres szolgáltatásbiztonságának elemzésére a komponensek tulajdonságai alapján.
	# az elemi meghibásodások függetlenségének feltételezésével használható kvantitatív elemzésére is.		# az elemi meghibásodások függetlenségének feltételezésével használható kvantitatív elemzésére is.

			== Egyensúlyi helyzetben lévő rendszer teljesítménymodellje esetén ==
			{{kvízkérdés\|típus=több\|válasz=2,4\|pontozás=+}}
			# az érkezési ráta meghaladhatja az átbocsájtóképességet
			# időegységenként átlagosan annyi folyamatpéldány indul, mint ahány befejeződik
			# az átbocsátási ráta és az átbocsájtóképesség mindig megegyezik
			# a Little-törvény fennáll

			== Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján ==
			{{kvízkérdés\|típus=több\|válasz=3\|pontozás=+}}
			# 100
			# 60
			# 98
			# 140

			== Adatfolyamhálóval leírt rendszerünk modelljében ==
			{{kvízkérdés\|típus=több\|válasz=1,3,4\|pontozás=+}}
			# az egyes csomópontok belső pontjai egymástől közvetlenül (kommunikáció nélkül) nem függenek.
			# mindenképp lesz legalább egy decision csomópont, különben a modell nem terminál.
			# a csomópontok felbonthatóak további alfolyamhálókra, amennyiben a bemeneti és kimeneti csatornák változatlanok
			# a kommunikáció alapesetben végtelen kapacitású FIFO csatornákon zajlik.

Balogh Péter Dániel, 2015. december 15., 20:24-n

2015-12-15T20:24:53Z

← Régebbi változat		A lap 2015. december 15., 22:24-kori változata
44. sor:		44. sor:
	# értéke sosem nagyobb 1-nél.		# értéke sosem nagyobb 1-nél.
	# értéke 1/MTTF a kádgörbe.		# értéke 1/MTTF a kádgörbe.

			== A hibafa ==
			{{kvízkérdés\|típus=több\|válasz=2\|pontozás=+}}
			# csomópontjai hibaállapotok, élei meghibásodások.
			# alkalmas egyszeres hibapontok (SPOF) azonosításra.
			# alkalmas a komplex rendszeres szolgáltatásbiztonságának elemzésére a komponensek tulajdonságai alapján.
			# az elemi meghibásodások függetlenségének feltételezésével használható kvantitatív elemzésére is.

Balogh Péter Dániel, 2015. december 15., 20:24-n

2015-12-15T20:24:00Z

← Régebbi változat		A lap 2015. december 15., 22:24-kori változata
37. sor:		37. sor:
	# hierarchikus.		# hierarchikus.
	# terminál.		# terminál.

			== Az r(t) megbízhatósági függvény ==
			{{kvízkérdés\|típus=több\|válasz=1,3\|pontozás=+}}
			# a komponens pillanatnyi működőképességét jellemzi, esetleges korábbi meghibásodásoktól és javításoktól fgtlnl.
			# értéke sosem nagyobb, mint a rendelkezésre állási függvény értéke.
			# értéke sosem nagyobb 1-nél.
			# értéke 1/MTTF a kádgörbe.

Balogh Péter Dániel, 2015. december 15., 20:22-n

2015-12-15T20:22:57Z

← Régebbi változat		A lap 2015. december 15., 22:22-kori változata
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.