Testing based on an analysis of the specification of the Functionality of a component or system. See also black box testing.