Collection of test cases that are intended to be used to test a software program to show that it has some specified set of behaviours