Una eina de programari que accepta com a codi font d'entrada, criteris de prova, especificacions o definicions d'estructura de dades; utilitza aquests inputs per generar dades d'entrada de prova; i, de vegades, determina els resultats esperats.