Програмний інструмент, який приймає як введення вихідний код, тест критерії, технічні характеристики або визначення структури даних; використовує ці входи для генерації тестових вхідних даних; і, іноді, визначає очікувані результати.