What consists of a set of input values; execution pre conditions and expected results?