Using formal methods to support testing

Hierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J; Dick, JH; Gheorghe, M; Harman, M; Kapoor, K; Krause, P; Luettgen, G; Simons, AJH; Vilkomir, S; Woodward, M

Repository landing page

research

oai:bura.brunel.ac.uk:2438/1871

Using formal methods to support testing

Authors: RM Hierons
K Bogdanov
JP Bowen
R Cleaveland
J Derrick
JH Dick
M Gheorghe
M Harman
K Kapoor
P Krause
G Luettgen
AJH Simons
S Vilkomir
M Woodward
Publication date: 1 January 2008
Publisher

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

Similar works

Full text

Open in the Core reader

Download PDF

Brunel University Research Archive

oai:bura.brunel.ac.uk:2438/187...

Last time updated on 23/02/2012Provided by our Sustaining member

This paper was published in Brunel University Research Archive.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.