Softwarový nástroj, který přijímá jako vstupní zdroj kódu, testovací kritéria, specifikace nebo definice datové struktury; používá tyto vstupy pro generování testu vstupní data; a v některých případech určuje očekávané výsledky.