.Net programok ellenőrzése

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.

Konzulens: 
Vörös András
TDK lehetőség: 
TDK lehetőség
Megismerhető technológiák: 
.Net, Mono, szoftver modellellenőrzés
Előismeretek: 
.Net
Állapot: 
Korábbi