Title :
Towards testing with respect to formal specification
Author_Institution :
Brunel Univ., Uxbridge, UK
Abstract :
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
Keywords :
formal languages; program testing; software engineering; specification languages; Z; formal development; formal specification; program testing; test case construction;
Conference_Titel :
Software Engineering, 1988 Software Engineering 88., Second IEE/BCS Conference:
Conference_Location :
Liverpool
