Using Formal Specifications to Support Testing.

Authors :: HIERONS, ROBERT M.
KAPOOR, KALPESH
BOGDANOV, KIRILL
KRAUSE, PAUL
BOWEN, JONATHAN P.
LÜTTGEN, GERALD
CLEAVELAND, RANCE
SIMONS, ANTHONY J. H.
DERRICK, JOHN
VILKOMIR, SERGIY
DICK, JEREMY
WOODWARD, MARTIN R.
GHEORGHE, MARIAN
HARMAN, MARK
ZEDAN, HUSSEIN
Source :: ACM Computing Surveys. Feb2009, Vol. 41 Issue 2, p9:1-9:76. 76p. 15 Diagrams, 2 Graphs.
Publication Year :: 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. [ABSTRACT FROM AUTHOR]