Uno strumento software che accetta come codice sorgente d'ingresso, criteri di prova, specifiche o definizioni di struttura di dati; utilizza questi input per generare dati di test di ingresso; e, a volte, determina i risultati attesi.