Narzędzie programowe, które akceptuje jako źródło sygnału wejściowego kodu, kryteria, specyfikacji lub definicji struktury danych; używa tych wejść do generowania testu danych wejściowych; i, czasami, określa oczekiwane rezultaty.