Programmatūras rīks, kas akceptē ievades avota kods, testa kritērijus, specifikācijas vai datu struktūru definīcijas; šīs izejvielas izmanto, lai ģenerētu testēšanas ievades dati; un dažreiz nosaka sagaidāmos rezultātus.