Szolgáltatásbiztonságra tervezés laboratórium - Segédanyagok

Félév: 2014. ősz
Cím	Egyedi szöveg
Megbízhatósági modellezés	A mérési segédlet célja, hogy megalapozza a mérést a megbízhatósági modellezési alapismeretek felfrissítésével, továbbá hogy segítséget nyújtson a mérés során a megbízhatósági modellezésre és analízisre használt eszközök kezeléséhez. A mérés épít a korábban a tárgyhoz tartozó előadások során elsajátított ismeretekre. A mérésen kötelező a részvétel, azonban lehetőséget biztosítunk az otthoni munkára is. Az alábbi linkről elérhető a mérés során használt virtuális gép a szükséges szoftverekkel: https://docs.google.com/file/d/0B6b8IHqOzMbLSGJDamM3YlF6VEk/edit?usp=sha... Bármilyen probléma esetén a mérésvezető tud segítséget nyújtani! Amennyiben a mérésre elkészül a teljes megoldás, azt el kell hozni a mérési alkalomra bemutatni! A virtuális gépben használt szoftvereket csak a mérés elvégzéséhez engedélyezett használni! megbizhatosagi_meres_segedlet.pdf szolgbiztlab_megbizhatosagi_modellezes_meresi_feladatok.pdf
Domain specifikus nyelvek automatikus elemzése	A "Domain specifikus nyelvek automatikus elemzése" segédlet tartalma: EMF-Validation keretrendszer rövid ismertetése Dynamic EMF API bemutatása ACCELEO áttekintése Alloy nyelv bevezetője A mérés megvalósításához egy Eclipse környezet szükséges a kívánt EMF Validation és ACCELEO featurekel. A mérésen kötelező a részvétel, de ha valakinek egyszerűbb, akkor használhatja a saját gépét is. dependability-lab-codegen.pdf labor_start.zip
SAT-alapú erőforrás allokáció modellvezérelt környezetben	Model-Driven SAT-Based Resource Allocation segédlet tartalma: Bevezetés automatizált logikai következtetők használatáról MDE-ben Ismertető a SAT-problémáról és az Alloy Analyzer megoldóról Labor útmutató Helyesírási hibákat javítottunk az új 1.1 verzióban. Segédanyag és Laborútmutató v1.1
Feladatátvételi fürtök	A mérés során a feladatátvételi fürtök (failover cluster) alapvető működését fogjuk megismerni és kipróbálni a Windows Server Failover Clustering segítségével. Mérési segédlet Mérési feladatok
NoSQL alapú elosztott adatbázisok vizsgálata	A mérés során Cassandra alapú elosztott NoSQL adatbázist kell felkonfigurálni, majd különböző megbízhatósági vizgsálatokat elvégezni rajta. NoSQL segédlet
Automatikus tesztfuttatás	A mérés során egy egyszerű webes alkalmazás felhasználói felületének automatikus tesztelését valósítjuk meg Selenium keretrendszerrel, majd ezt automatikusan futtathatóvá tesszük. Segédlet A mérésen elvégzendő feladatok
Felügyeleti adatok elemzése	A mérés során a Mondrian vizuális elemző eszköz és R segítségével egy teljes adatelemzési folyamatot szimulálunk egy operációs rendszer szinten monitorozott alkalmazásegyüttes működését leíró adathalmazon. A beugrót a Datacamp (https://www.datacamp.com/) webes oktatási keretrendszer egy redukált funkcionalitású változatában írjuk, előzetes regisztráció esetleg megkönnyítheti a kezdeti lépéseket, de lesz rá elég idő a laboron is. Beugró elérhetősége: https://www.datacamp.com/courses/szbtlab-2014-beugro/ Vizuális elemzés -- mérési segédlet Beugró ismertető Mérési útmutató Az elemzendő adatsor

Félév: 2013. ősz
Cím	Egyedi szöveg
Megbízhatósági modellezés	A mérési segédlet célja, hogy megalapozza a mérést a megbízhatósági modellezési alapismeretek felfrissítésével, továbbá hogy segítséget nyújtson a mérés során a megbízhatósági modellezésre és analízisre használt eszközök kezeléséhez. A mérés épít a korábban a tárgyhoz tartozó előadások során elsajátított ismeretekre. A mérésen kötelező a részvétel, azonban lehetőséget biztosítunk az otthoni munkára is. Az alábbi linkről elérhető a mérés során használt virtuális gép a szükséges szoftverekkel: https://docs.google.com/file/d/0B6b8IHqOzMbLSGJDamM3YlF6VEk/edit?usp=sha... Bármilyen probléma esetén a mérésvezető tud segítséget nyújtani! Amennyiben a mérésre elkészül a teljes megoldás, azt el kell hozni a mérési alkalomra bemutatni! A virtuális gépben használt szoftvereket csak a mérés elvégzéséhez engedélyezett használni! mérési segédlet mérési feladatok
Konfigurációs leírók modell alapú fejlesztése	A "Konfigurációs leírók modell alapú fejlesztése" mérési segédlet tartalma: DSM CIM-ből származtatott elemekkel megvalósított EMF alapú metamodell szolgáltatások modellezéséhez EMF Validation framework rövid ismertetése ACCELEO áttekintése egy egyszerű példán keresztül Követelmények a mérésellel kapcsolatban A mérés megvalósításához egy Eclipse környezet szükséges a kívánt EMF Validation és ACCELEO featurekel. A mérésen kötelező a részvétel, de ha valakinek egyszerűbb, akkor használhatja a saját gépét is. MDDforConfigurationGeneration2013.pdf
Terheléselosztó fürtök és teljesítménytesztelés	A mérés során az Apache Tomcat terheléselosztó tulajdonságaival, valamint az Apache JMeter teljesítménytesztelő alkalmazással kell megismerkedni. Terheléselosztó fürtök és teljesítménytesztelés mérés segédlete Terheléselosztó fürtök és teljesítménytesztelés mérés feladatai
NoSQL alapú elosztott adatbázisok vizsgálata	A mérés során Cassandra alapú elosztott NoSQL adatbázist kell felkonfigurálni, majd különböző megbízhatósági vizgsálatokat elvégezni rajta. NoSQL segédlet
Tesztautomatizálás	A mérés során Selenium alapú felhasználói felület teszteket kell implementálni, majd folytonos integrációs környezetben végrehajtani. Mérési segédlet A mérésen elvégzendő feladatok
Feladatátvételi fürtök	A mérés során a feladatátvételi fürtök (failover cluster) alapvető működését fogjuk megismerni és kipróbálni a Windows Server Failover Clustering segítségével. Mérési segédlet Mérési feladatok
Dependability benchmarking	2013_dependability_benchmarking_segedlet.pdf 2013_dependability_benchmarking_utmutato_2.pdf

Félév: 2012. ősz
Cím	Egyedi szöveg
Konfigurációs leírók modell alapú fejlesztése segédlet	A "Konfigurációs leírók modell alapú fejlesztése" mérési segédlet tartalma: Egyszerű DSM CIM-ből származtatott elemekkel szolgáltatások modellezéséhez EMF Validation framework rövid ismertetése ACCELEO bemutatása egy egyszerű példán keresztül Követelmények a laborral kapcsolatban MDDforConfigurationGenerationv1.pdf
Terheléselosztó fürtök és teljesítménytesztelés	Terheléselosztó fürtök és teljesítménytesztelés: mérési segédlet Terheléselosztó fürtök és teljesítménytesztelés: mérési feladatok
Feladatátvételi fürtök	A feladatátvételi fürtök általános leírása, a Windows Server Failover Clustering bemutatása Feladatátvételi fürtök mérés segédlete Feladatátvételi fürtök mérés feladatai
Megbízhatósági modellezés	A mérési segédlet célja, hogy megalapozza a mérést a megbízhatósági modellezési alapismeretek felfrissítésével, továbbá hogy segítséget nyújtson a mérés során a megbízhatósági modellezésre és analízisre használt eszközök kezeléséhez. A mérés épít a korábban a tárgyhoz tartozó előadások során elsajátított ismeretekre. Megbízhatósági modellezés: új mérési segédlet Megbízhatósági modellezés: mérési feladatok
Hibadiagnosztika elosztott rendszerekben	Mérési segédlet A "Hibadiagnosztika elosztott rendszerekben" mérés útmutatója bemutatja a hibadiagnosztikával kapcsolatos alapfogalmakat, ismertet egy egyszerű diagnosztikai algoritmust, leírja a mérés során elkészítendő diagnosztikai algoritmus kidolgozásának menetét, a futtatókörnyezet használatát, és segytséget ad a mérés kiértékeléséhez. Mérési feladatok A mérési feladatok személyekhez rendelését a "Hibadiagnosztika_feladatkiosztas_2012.pdf" táblázat tartalmazza. A táblázatban megadott feladat kód (pl. D-3, V-2) alapján le kell tölteni a megfelelő mérési feladat leírását, majd az ott leírt diagnosztikai algoritmust meg kell valósítani. Amikor a diagnosztikai algoritmus helyes működéséről sikerült meggyőződni (és a mérésvezetőt is meggyőzni), akkor pedig az útmutatásnak megfelelően meg kell vizsgálni és értékelni kell az algoritmust. Az algoritmus C nyelvű implementálásához a letölthető "futtatókörnyezet lefordított fájljai, ..." archívumokban megtalálható "diagnose.c" fájl ad segítséget, ami az útmutatóban leírt egyszerű példa "algoritmust" megvalósító diagnosztikai modult tartalmazza. Futtatókörnyezet A futtatókörnyezet lefordított tárgykódú fájljai a Windows alatti GNU C fejlesztőkörnyezetekhez: MinGW (Minimalist GNU for Windows) környezet: MinGW aktuális 1.0.16-1-es verzió (2012.04.16.), Cygwin (Cygnus + GNU + Windows) környezet: cygwin aktuális 1.7.16-1-es verzió (2012.07.21.), valamint Ubuntu Linux 12.04 alatti használatra (GCC 4.6.3, binutils 2.22, eglibc 2.15). a megfelelő ZIP archívumban találhatók. Az egyes ZIP archívumokban megtalálható a segédletben példaként bemutatott "diagnose.c" fájl is. A fordításhoz a MinGW/Cygwin (vagy Linux) környezetben megtalálható GCC fordítót és make programot használhatjuk. A fordításhoz a "make -f makefile.gnu" parancsot adjuk ki. Hibadiagnosztika elosztott rendszerekben: mérési segédlet Hibadiagnosztika elosztott rendszerekben: mérési feladatok kiosztása A futtatókörnyezet lefordított fájljai, MinGW környezet, 1.0.16-1-es verzió A futtatókörnyezet lefordított fájljai, Cygwin környezet, 1.7.16-1-es verzió A futtatókörnyezet lefordított fájljai, Ubuntu Linux 12.04 alatti használatra D-1 feladat (Meyer és Masson módosított) D-2 feladat (Kameda, Toida és Allan) D-3 feladat (Maestrini és Chessa) D-4 feladat (Hakimi és Nakajima) V-1 feladat (Dahbura) V-2 feladat (Somani és Agarwal) V-3 feladat (Scheinerman)
Automatikus tesztfuttatás	A mérés során egy Java-alapú webes alkalmazáshoz készül egy felhasználói felület tesztkészlet, és ez integrálódik egy folytonos integrációs környezetbe. Megismerhető technológiák Selenium Maven Jenkins Mérési segédlet Mérési feladatok

Félév: 2011. ősz
Cím	Egyedi szöveg
Konfigurációs leírók modell alapú fejlesztése segédlet	A "Konfigurációs leírók modell alapú fejlesztése" mérési segédlet tartalma: Egyszerű DSM CIM-ből származtatott elemekkel EMF Validation framework rövid ismertetése ACCELEO bemutatása egy egyszerű példán keresztül Követelmények Konfigurációs leírók modell alapú fejlesztése: mérési segédlet
Terheléselosztó fürtök és teljesítménytesztelés	Terheléselosztó fürtök és teljesítménytesztelés. Terheléselosztó fürtök és teljesítménytesztelés: mérési segédlet Terheléselosztó fürtök és teljesítménytesztelés: mérési feladatok Terheléselosztó fürtök és teljesítménytesztelés: konfigurációs fájlok
Feladatátvételi fürtök	A feladatátvételi fürtök általános leírása, a Windows Server Failover Clustering bemutatása Feladatátvételi fürtök: mérési segédlet Feladatátvételi fürtök: mérési feladatok
Megbízhatósági modellezés segédlet	A mérési segédlet célja, hogy megalapozza a mérést a megbízhatósági modellezési alapismeretek felfrissítésével, továbbá hogy a mérés során segítséget nyújtson az megbízhatósági modellezésben és analízisben alkalmazott eszközök használatához. A mérés épít a korábban a tárgyhoz tartozó előadások során elsajátított ismeretekre. Megbízhatósági modellezés: mérési segédlet Megbízhatósági modellezés: mérési feladatok
Robusztusság vizsgálata hibainjektálással segédlet	A mérés célja a rendszereket felépítő komponensek robosztusságának hibainjektáló kísérletek segítségével történő vizsgálatába és kiértékelési metodikájába való bevezetés. Robusztusság vizsgálata hibainjektálással: mérési segédlet