<programming> Formal testing conducted to determine whether a system satisfies its acceptance criteria and thus whether the customer should accept the system.
