symbolic representation of a theory, shown through diagrams, words or mathematical notation
the symbolic representation of empiric experience in words, pictorial, or graphic diagram, mathematical notations or physical material
aka functional testing. carried out independently of the code used in the program. makes sure the program functions to the specified requirements.