The phase in the software life-cycle that aims at uncovering defects by executing specialised test programs and test cases.
The activity of uncovering defects in an implementation by comparing its behaviour against that of its specification under a given set of runtime stimuli (the test cases or test data).[D'Souza&Wills 1999]