Using Formal Specifications to Support Testing

Robert M. Hierons; Kirill Bogdanov; Jonathan P. Bowen; Rance Cleaveland; John Derrick; Jeremy Dick; Marian Gheorghe; Mark Harman; Kalpesh Kapoor; Paul Krause; Gerald Luettgen; Anthony J. H. Simons; Sergiy Vilkomir; Martin R. Woodward; Hussein Zedan

Using Formal Specifications to Support Testing

Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Luettgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan

Research output: Contribution to journal › Literature review › peer-review

290 Citations (Scopus)

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.

Original language	English
Article number	9
Journal	COMPUTING SURVEYS
Volume	41
Issue number	2
Publication status	Published - 1 Feb 2009

Cite this

@article{6d0dd24bc3bb45e6b7a32088e6a0b9cf,

title = "Using Formal Specifications to Support Testing",

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.",

author = "Hierons, {Robert M.} and Kirill Bogdanov and Bowen, {Jonathan P.} and Rance Cleaveland and John Derrick and Jeremy Dick and Marian Gheorghe and Mark Harman and Kalpesh Kapoor and Paul Krause and Gerald Luettgen and Simons, {Anthony J. H.} and Sergiy Vilkomir and Woodward, {Martin R.} and Hussein Zedan",

year = "2009",

month = feb,

day = "1",

language = "English",

volume = "41",

journal = "COMPUTING SURVEYS",

publisher = "Association for Computing Machinery (ACM)",

number = "2",

}

TY - JOUR

T1 - Using Formal Specifications to Support Testing

AU - Hierons, Robert M.

AU - Bogdanov, Kirill

AU - Bowen, Jonathan P.

AU - Cleaveland, Rance

AU - Derrick, John

AU - Dick, Jeremy

AU - Gheorghe, Marian

AU - Harman, Mark

AU - Kapoor, Kalpesh

AU - Krause, Paul

AU - Luettgen, Gerald

AU - Simons, Anthony J. H.

AU - Vilkomir, Sergiy

AU - Woodward, Martin R.

AU - Zedan, Hussein

PY - 2009/2/1

Y1 - 2009/2/1

N2 - 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.

AB - 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.

M3 - Literature review

VL - 41

JO - COMPUTING SURVEYS

JF - COMPUTING SURVEYS

IS - 2

M1 - 9

ER -

Using Formal Specifications to Support Testing

Abstract

Fingerprint

Cite this