Controllable Test Cases for the Distributed Test Architecture

other

Author(s): Robert M. Hierons , Mercedes G. Merayo , Manuel Núñez

Publication date (Print): 2008

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 20

Record: found
Abstract: not found
Article: not found

Principles and methods of testing finite state machines-a survey

M Yannakakis, D. Lee (1996)

0 comments Cited 93 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Using formal specifications to support testing

Robert M. Hierons, Paul Krause, Gerald Lüttgen … (2009)

Author Summary: 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.