Perangkat lunak yang menerima sebagai kode sumber input, kriteria tes, spesifikasi, atau definisi struktur data; menggunakan input untuk menghasilkan data input pengujian; dan, kadang-kadang, menentukan hasil yang diharapkan.