Et programvareverktøy som godtar som kildekoden, testkriterier, spesifikasjoner eller datadefinisjoner struktur; bruker disse innganger til å generere testdata for input; og noen ganger, bestemmer forventede resultater.