Using formal specifications to support testing

  • Authors:

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

  • Affiliations:

  • Brunel University, Middlesex, U.K.;University of Sheffield, Sheffield, U.K.;King's College London, London, U.K.;University of Maryland, College Park, MD;University of Sheffield, Sheffield, U.K.;integrate systems engineering ltd., Bath, U.K.;University of Sheffield, Sheffield, U.K.;King's College London, London, U.K.;Indian Institute of Technology Guwahati, Guwahati, India;University of Surrey, Surrey, U.K.;University of York, York, U.K.;University of Sheffield, Sheffield, U.K.;University of Tennessee, Greenville, NC;(Deceased);De Montfort University, Leicester, U.K.

  • Venue:
  • ACM Computing Surveys (CSUR)
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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.