A program that checks data or code for correctness or for compliance with applicable standards, rules, and conventions.