Ένα εργαλείο λογισμικού που αποδέχεται ως εισόδου πηγαίο κώδικα, δοκιμή κριτήρια, προδιαγραφές, ή των ορισμών δεδομένων δομή, χρησιμοποιεί αυτές τις εισροές για τη δημιουργία εισόδου δεδομένων δοκιμής, και, ορισμένες φορές, προσδιορίζει τα αναμενόμενα αποτελέσματα.