Java alkalmazások hibatűrési tulajdonságainak vizsgálata Java Pathfinderrel
Tanszéki konzulens:
associate professor
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
Submitted by Kocsis Imre on 2010. October 26. 11:37 | Last updated: 2015. February 4. 15:25