1 Search Results for "Koopman, Pieter"

Document

Testing with Functions as Specifications

Authors: Pieter Koopman

Published in: Dagstuhl Seminar Proceedings, Volume 4371, Perspectives of Model-Based Testing (2005)

Abstract

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 automatically. 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).

Cite as

Pieter Koopman. Testing with Functions as Specifications. In Perspectives of Model-Based Testing. Dagstuhl Seminar Proceedings, Volume 4371, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{koopman:DagSemProc.04371.5,
  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 =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04371.5},
  URN =		{urn:nbn:de:0030-drops-3246},
  doi =		{10.4230/DagSemProc.04371.5},
  annote =	{Keywords: Automatic testing, model based testing, specification based testing, functions}
}

Refine by Author
1 Koopman, Pieter

Refine by Classification

Refine by Keyword
1 Automatic testing
1 functions
1 model based testing
1 specification based testing

Refine by Type
1 document

Refine by Publication Year
1 2005

1 Search Results for "Koopman, Pieter"

Testing with Functions as Specifications

Abstract

Cite as

Thanks for your feedback!

Could not send message