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