A collection of TestCase''''''s used to verify whether or not a particular software program exhibits desired behaviour.  For example, the Plum Hall validation suite for C.  See http://www.plumhall.com/stec.html