Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Koopman, Pieter License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-3246

Testing with Functions as Specifications



In this paper we show that mathematical functions and
logical expressions can very well be used as, partial, specifications.
Reactive systems can be modelled by powerful extended state
transition systems, that can be nondeterministic and can handle
parameterized and infinite types for the inputs, outputs and states.
These specifications can very concisely and directly be stated in
a modern functional programming language.
The test tool Gast is able to generate test data based on these
specifications, execute the associated tests, and make a verdict fully
Test data can be generated fully automatically,
but can also be tailored in various high level ways, if that is desired.

Advantages of this approach are that one specifies properties instead
of instances of these properties,
test data are automatically derived instead of manually,
the tests performed are always up to date with the current specification,
and testing is automatic (and hence fast and accurate).

BibTeX - Entry

  author =	{Koopman, Pieter},
  title =	{{Testing with Functions as Specifications}},
  booktitle =	{Perspectives of Model-Based Testing},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4371},
  editor =	{Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-3246},
  doi =		{10.4230/DagSemProc.04371.5},
  annote =	{Keywords: Automatic testing, model based testing, specification based testing, functions}

Keywords: Automatic testing, model based testing, specification based testing, functions
Seminar: 04371 - Perspectives of Model-Based Testing
Issue date: 2005
Date of publication: 28.11.2005

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI