Программное средство, которое принимает как входной исходный код, критерии испытаний, спецификации или определений структуры данных; использует эти материалы для создания тестовых входных данных; и, иногда, определяет ожидаемые результаты.