Towards testing with respect to formal specification

Testing in the context of the use of formal development methods is addressed. A short review of testing methods is given, focussing on methods for test case construction and evaluation. The methods are then applied to a formal specification written in Z, to demonstrate their applicability. The problems of automating the generation of test case is discussed and research directions set.< >