Testing by examining products (such as requirements specifications, manuals or source code) without programs being executed.