Et software-værktøj, der accepterer input kildekode, testkriterier, specifikationer eller data struktur definitioner; bruger disse indgange til at generere test input data; og nogle gange bestemmer forventede resultater.