English
Magyar
.Net programok ellenőrzése
Tanszéki konzulens:
 doktorandusz
Szoba: IB421 |
A kiírás adatai
A téma státusza:
Korábbi (jelenleg nem aktív, de látszik)
Kiírás éve:
2011
A kiírás jellege:
önálló labor, szakdolgozat/diplomaterv A twente-i egyetemen fejlesztett MoonWalker eszköz egy szoftver modell ellenőrző ( http://wwwhome.cs.utwente.nl/~ruys/moonwalker/ )
A hallgató feladata elkészíteni egy teszkörnyezetet, melyben kipróbálható az eszköz, és megvizsgálni a tulajdonságait, továbbá a benne alkalmazott algoritmusokat. A hallgató feladata továbbá a hozzá kapcsolódó irodalom feltérképezése, és a szoftver modellellenőrzés áttekintése.
Kapcsolódó weblapok:
A kiírás a Hibatűrő Csoport honlapján
Vörös András, 2011. február 7. 16:20 | Legutóbb frissítve: 2015. február 4. 15:25