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 |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.