Tesztgeneráló eszközöket összehasonlító keretrendszer fejlesztése

Az utóbbi évtizedben egyre több módszer és eszköz jelent meg, aminek a segítségével forráskódból lehet tesztbemeneteket automatikusan előállítani és így hibákat találni a vizsgált szoftverben. Az egyik ilyen technika a szimbolikus végrehajtás, aminek a segítségével a program futtatása nélkül felderíthetőek annak lefutási útjai és az azokat aktiváló bemenetek. Több prototípus eszközt is készítettek már, ami ezt a technikát használja Java nyelvű kódok vizsgálatához. Azonban sok programrészlettel még nem tudnak ezek az eszközök megbirkózni.

A hallgató feladata egy olyan keretrendszer elkészítése, amivel egy adott kódrészlet-halmazra lefuttathatóak automatizáltan az egyes tesztgeneráló eszközök. A rendszer képes legyen a kapott kimeneteket feldolgozni és kiértékelni, valamint az eszközök által generált tesztbemeneteket elmenteni és azok futtatásával a lefedettségüket meghatározni. A feladat a Java nyelv és környezet mélyebb ismeretét igényli, valamint a feladat végén egy stabil, megbízható szoftvert kell elkészíteni.