Java alkalmazások hibatűrési tulajdonságainak vizsgálata Java Pathfinderrel
Tanszéki konzulens:
docens
Szoba: IB418
Tel.:
+36 1 463-2006 Email: ikocsis (*) mit * bme * hu |
A kiírás adatai
A téma státusza:
Korábbi (jelenleg nem aktív, de látszik)
Kiírás éve:
2010
A kiírás jellege:
önálló labor, szakdolgozat/diplomaterv A Java Pathfinder (http://babelfish.arc.nasa.gov/trac/jpf) egy nyílt forráskódú, speciális JVM, mely lehetővé teszi Java alkalmazások (többek között) modellellenőrzését (http://en.wikipedia.org/wiki/Model_checking). Alkalmazások, illetve specifikációjuk helyességének ellenőrzésére ma már bevett gyakorlat modellellenőrzési technikák alkalmazása; jórészt nyílt kérdés azonban, hogy hogyan alkalmazhatjuk a modellellenőrzést a diagnosztikai modellezés támogatására és különböző hibatűrési mechanizmusok tervezésére. Az önálló feladat célja az eszközzel és képességeivel való megismerkedés, majd ezen kérdések vizsgálata az eszköz kontextusában.
Kapcsolódó weblapok:
A kiírás a Hibatűrő Csoport honlapján
Kocsis Imre, 2010. október 26. 11:37 | Legutóbb frissítve: 2015. február 4. 15:25