programming Formal testing conducted to determine whether a

system satisfies its acceptance criteria and thus whether the

customer should accept the system.