- Kezdőlap
- Események
- Oktatás
- Specializációválasztás
- BSc tárgyak (Új képzés)
- MSc tárgyak (Új képzés)
- Önálló munka
- Választható tárgyak
- Doktori tárgyak
- Korábbi tárgyak
- Kutatás
- Hallgatóink sikerei
- Magunkról
Szolgáltatásbiztonságra tervezés laboratórium - Segédanyagok
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! |
Domain specifikus nyelvek automatikus elemzése |
A "Domain specifikus nyelvek automatikus elemzése" segédlet tartalma:
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. |
SAT-alapú erőforrás allokáció modellvezérelt környezetben |
Model-Driven SAT-Based Resource Allocation segédlet tartalma:
Helyesírási hibákat javítottunk az új 1.1 verzióban. |
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. |
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. |
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. |
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/ |
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! |
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:
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. |
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. |
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. |
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. |
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. |
Dependability benchmarking |
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:
|
Terheléselosztó fürtök és teljesítménytesztelés | |
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 |
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. |
Hibadiagnosztika elosztott rendszerekben |
Mérési segédletA "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 feladatokA 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örnyezetA futtatókörnyezet lefordított tárgykódú fájljai
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. |
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
|
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:
|
Terheléselosztó fürtök és teljesítménytesztelés |
Terheléselosztó fürtök és teljesítménytesztelés. |
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 |
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. |
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. |