DocumentCode
281373
Title
Towards testing with respect to formal specification
Author
Hall, P.A.V.
Author_Institution
Brunel Univ., Uxbridge, UK
fYear
1988
fDate
11-15 Jul 1988
Firstpage
159
Lastpage
163
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;
fLanguage
English
Publisher
iet
Conference_Titel
Software Engineering, 1988 Software Engineering 88., Second IEE/BCS Conference:
Conference_Location
Liverpool
Type
conf
Filename
196380
Link To Document