Java alkalmazások hibatűrési tulajdonságainak vizsgálata Java Pathfinderrel
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.
Jelleg:
Elméleti és gyakorlati
Advisor:
Imre Kocsis
TDK lehetőség:
TDK lehetőség
Megismerhető technológiák:
Java Pathfinder
Előismeretek:
Az angol nyelv dokumentációk és tudományos cikkek feldolgozásához szükséges szintű ismerete elengedhetetlen; a formális módszerek / diszkrét matematika iránti affinitás előny.
Állapot:
Korábbi