A collection of TestCases 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