The process of testing that an implementation conforms to the specification on which it is based. Usually applied to testing conformance to a formal standard.