Szoftveres rendszerek működésének az iparban használt egyik leggyakoribb módszere a tesztelés. A részletes tesztelés azonban sok időt és erőforrást igényel, így sokféle technika és eszköz létezik a tesztelés támogatására. Ezek alapszinten a tesztek futtatásának automatizálását végzik, azonban léteznek olyan fejlett algoritmusok, amiknek a segítségével modellekből vagy akár a forráskódból lehet teszteseteket vagy bemeneteket generálni (szimbolikus végrehajtás vagy a mesterséges intellegencia tantárgyból ismert keresés-alapú technikák segítségével). A feladat során ilyen eszközöket lehet megismerni, összetett ipari példákon alkalmazni, valamint új eszközöket és algoritmusokat fejleszteni.

Példák tesztgeneráló eszközökre:

• Forráskód alapján: Diffblue, symflower
• Modell alapján: Conformiq, Yest