The examination of a program's critical assumptions and output to determine its effectiveness and achievement of objectives.