Using formal specifications to support testing

Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/9978

Title:	Using formal specifications to support testing
Authors:	Hierons, RM Bogdanov, K Bowen, JP Cleaveland, R Derrick, J Dick, J Gheorghe, M Harman, M Kapoor, K Krause, P Luettgen, G Simons, AJH Vilkomir, S Woodward, MR Zedan, H
Keywords:	Software/Program, verification;Testing and debugging;Design tools and techniques
Issue Date:	2009
Publisher:	The Association for Computing Machinery
Citation:	ACM Computing Surveys, 41 (2): 9, (February 2009)
Abstract:	Formal methods and testing are two important approaches that assist in the development of high-quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing.
Description:	"© ACM, 2009. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM Computing Surveys (CSUR), {VOL 41, ISS 2, (February 2009)} http://doi.acm.org/10.1145/1459352.1459354 "
URI:	http://dl.acm.org/citation.cfm?doid=1459352.1459354 http://bura.brunel.ac.uk/handle/2438/9978
DOI:	http://dx.doi.org/10.1145/1459352.1459354
ISSN:	0360-0300
Appears in Collections:	Dept of Computer Science Research Papers

Files in This Item:

File	Description	Size	Format
Fulltext.pdf		589.49 kB	Unknown	View/Open