Rendszermodellezés 2. ZH/Rendszermodellezés - Laptörténet

Csia Klaudia Kitti, 2020. január 17., 00:27-n

2020-01-17T00:27:51Z

← Régebbi változat		A lap 2020. január 17., 02:27-kori változata
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 ~~szúróprobaszerű~~ vizsgálata bizonyos inputokra.		# ...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.

Csia Klaudia Kitti, 2019. június 2., 19:46-n

2019-06-02T19:46:27Z

@@ 234. sor: / 234. sor: @@
 #...befolyással lehet a rendszer átbocsátóképességére.
-==A fájlszerver egyensúlyi helyzetében lévő teljesítménymodelljében...==
+==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=-}}
 #...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.
 #...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.
@@ 492. sor: / 492. sor: @@
 #...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.

Nádor Roland Viktor, 2019. május 25., 09:15-n

2019-05-25T09:15:02Z

← Régebbi változat		A lap 2019. május 25., 11:15-kori változata
471. sor:		471. sor:
	#...olyan állapot, amelyből a rendszer a modellezett inputok és események hatására nem képes kilépni, legfeljebb külső (a modellen túlmutató) segítséggel.		#...olyan állapot, amelyből a rendszer a modellezett inputok és események hatására nem képes kilépni, legfeljebb külső (a modellen túlmutató) segítséggel.
	#...determinisztikus folyamatban nem fordulhat elő.		#...determinisztikus folyamatban nem fordulhat elő.

			==Egy numerikus változó... ==
			{{kvízkérdés\|típus=több\|válasz=3,4\|pontozás=-}}
			#...mindig egyértelműen származtatható egy vele azonos átlagú nominális változóból.
			#...értékének eloszlását szokás párhuzamos koordináta diagramon, más néven oszlopdiagramon ábrázolni.
			#...másik numerikus változóhoz való viszonyának ábrázolására használható pont-pont diagram, más néven scatterplot.
			#...olyan változó, melyen értelmezhetők az alapvető aritmetikai műveletek.

			==Ha egy egyensúlyi helyzetben lévő rendszer teljesítménymérése során másodpercenként átlagolt érkezési és átbocsátási ráta adataink vannak,...==
			{{kvízkérdés\|típus=több\|válasz=1,3,4\|pontozás=-}}
			#...a két jellemző közti összefüggést vizsgálhatjuk párhuzamos koordináta diagramon.
			#...külön-külön dobozdiagramon ábrázolva a két adatsort, a mért adatpárok közti összefüggések leolvashatóak.
			#...a kihasználtság becsülhető ezekből az értékekből, ha ismerjük az átbocsátóképességet.
			#...kellő számú mérésnél lineáris regresszióval érdemes közelíteni a két jellemző közti összefüggést.

			==Viselkedésmodellek ellenőrzésekor a vizsgált rendszer a követelményt biztosan...==
			{{kvízkérdés\|típus=több\|válasz=1,2,3\|pontozás=-}}
			#...teljesíti, ha formális helyességbizonyítással ellenőrizzük egy követelmény teljesülését, és nem találunk hibát.
			#...nem teljesíti, ha formális helyességbizonyítással ellenőrizzük egy követelmény helyességét, és hibát találunk.
			#...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.

Csia Klaudia Kitti, 2019. május 23., 15:06-n

2019-05-23T15:06:04Z

← Régebbi változat		A lap 2019. május 23., 17:06-kori változata
142. sor:		142. sor:
	#…hasonlóság, hogy mindkettő támogatja a hierarchikus modelleket (tehát pl. egy összetett tevékenység takarhat több kisebb elemi lépést, különböző erőforrásigényekkel).		#…hasonlóság, hogy mindkettő támogatja a hierarchikus modelleket (tehát pl. egy összetett tevékenység takarhat több kisebb elemi lépést, különböző erőforrásigényekkel).
	#…a két kifejezés pontosan ugyanazt a rendszermodellezési lépést jelöli (az egyik az elérendő cél, a másik a felhasznált technika neve), és ugyanazokban az esetekben alkalmazhatóak.		#…a két kifejezés pontosan ugyanazt a rendszermodellezési lépést jelöli (az egyik az elérendő cél, a másik a felhasznált technika neve), és ugyanazokban az esetekben alkalmazhatóak.

	~~==Egy folytonos változó jellemző értékeit doboz diagrammal (boxplottal) és hisztogrammal is ábrázoljuk.==~~
	~~{{kvízkérdés\|típus=több\|válasz=1\|pontozás=-}}~~
	~~#A boxplotról mindig könnyedén leolvasható az első kvartilis.~~
	~~#A boxplotról mindig könnyedén leolvasható a 40. percentilis.~~
	~~#A boxplotról mindig könnyedén leolvasható a módusz.~~
	~~#Minden információ, ami a doboz diagramról könnyen leolvasható, a hisztogramról is könnyen leolvasható, emiatt tekintjük a doboz diagramot a hisztogram egyfajta absztrakciójának.~~

	==Vizuális elemzésnél...==		==Vizuális elemzésnél...==

Csia Klaudia Kitti, 2019. május 23., 14:01-n

2019-05-23T14:01:43Z

← Régebbi változat		A lap 2019. május 23., 16:01-kori változata
466. sor:		466. sor:

	== A tesztfedettség... ==		== A tesztfedettség... ==
	{{kvízkérdés\|típus=több\|válasz=\|pontozás=-}}		{{kvízkérdés\|típus=több\|válasz=4\|pontozás=-}}
	# ...ha eléri az 1 értéket, akkor granatáltan nincs hiba a modellben/kódban.		# ...ha eléri az 1 értéket, akkor granatáltan nincs hiba a modellben/kódban.
	# ...lehetséges értelmezései közül a 100%-os állapotfedés mindig 100%-os átmenet fedettség is eredményez.		# ...lehetséges értelmezései közül a 100%-os állapotfedés mindig 100%-os átmenet fedettség is eredményez.

Csia Klaudia Kitti, 2019. május 21., 10:18-n

2019-05-21T10:18:14Z

@@ 167. sor: / 167. sor: @@
 {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
 #…benchmarkokból kiolvasható a vizsgált rendszer jövőben várható érkezési rátája.
-#…szimulációval megállapítható a különféle terheléseknél várható teljesítmény.
+#…szimulációval megállapítható a különféle terheléseknél várható teljesítmény, és az erőforrások kihasználtságát 40-60% közé érdemes tervezni.
 #…felhasználhatjuk a Zipf törvényt cache méretezésére, mert segítségével megadható, mekkora terhelést jelent a leggyakoribb néhány kérés kiszolgálása.
 #…felhasználhatjuk a Zipf törvényt, mert egyenes arányosságot feltételez a válaszidő és a kihasználtság közt.
@@ 267. sor: / 267. sor: @@
 #...ellenőrizhet szintaktikai szabályokat.
 #...kereshet hibamintákat a modellben.
-#...tesztorákulumot igényel.
+#...tesztorákulumot igényel, és attól statikus, hogy közben nem módosítjuk a rendszermodellt.
 ==A tesztelés célja...==
@@ 350. sor: / 350. sor: @@
 #...alsó becslés adható a folyamat átbocsátóképességére.
 #...felső becslés adható a folyamat átbocsátóképességére.
-#...meghatározható az érkezési ráta.
+#...meghatározható az érkezési ráta és az átbocsátás.
 #...meghatározható a kihasználtság.
@@ 450. sor: / 450. sor: @@
 #...mindig elég a tesztbemeneteket megadni, hiszen a kimeneteket úgy is kiszámíthatja a tesztelt rendszer.
 #...nem módosítjuk a rendszermodellt, ezért számít statikus ellenőrzésnek.

Csia Klaudia Kitti, 2019. május 1., 22:36-n

2019-05-01T22:36:41Z

Változtatások megtekintése

Csia Klaudia Kitti, 2019. április 30., 21:59-n

2019-04-30T21:59:18Z

Változtatások megtekintése

Márta Boldizsár, 2018. május 15., 18:43-n

2018-05-15T18:43:48Z

Változtatások megtekintése

Radó Kristóf Krisztián: /* A tesztfedettség... */

2018-05-15T11:41:40Z

A tesztfedettség...

← Régebbi változat		A lap 2018. május 15., 13:41-kori változata
25. sor:		25. sor:

	== A tesztfedettség... ==		== A tesztfedettség... ==
	{{kvízkérdés\|típus=több\|válasz=3\|pontozás=-}}		{{kvízkérdés\|típus=több\|válasz=2,3\|pontozás=-}}
	# ...az elvárt és tapasztalt kimenet egyezőségének mértéke		# ...az elvárt és tapasztalt kimenet egyezőségének mértéke
	# ...0 és 1 közötti érték.		# ...0 és 1 közötti érték.