License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.10421.2
URN: urn:nbn:de:0030-drops-29258
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2011/2925/
Go to the corresponding Portal

Grieskamp, Wolfgang ; Hierons, Robert M. ; Pretschner, Alexander

10421 Summary -- Model-Based Testing in Practice

pdf-format:
10421.Report.2925.pdf (0.1 MB)

Abstract

Software testing is one of the most cost-intensive tasks in the modern software
production process. Model-based testing is a light-weight formal method which
enables the automatic derivation of tests from software models and their environment. Model-based testing (MBT) has matured as a rich research area in the
last decade, with a significant body of research and applications. The academic
community is well established with many conferences, workshops, and research
projects. Tools for model-based testing have been developed both as research
prototypes and as commercial or semi-commercial applications brought to users
by midsize and enterprise-level companies, and applied in large scale projects.
In the family of model-driven approaches, model-based testing can be seen as
a success story in particular with respect to the degree of mechanical processing
and automation that has been achieved, and the adoption in practice. The successful deployment of model-based testing in industrial settings can be seen in
the telecommunication domain, chip cards, specific Windows components, and
embedded systems in general. An interesting issue is under which circumstances
we can expect these successes to carry over to other domains and families of
systems as well (e.g., distributed systems; testing the cloud).

BibTeX - Entry

@InProceedings{grieskamp_et_al:DagSemProc.10421.2,
  author =	{Grieskamp, Wolfgang and Hierons, Robert M. and Pretschner, Alexander},
  title =	{{10421 Summary – Model-Based Testing in Practice}},
  booktitle =	{Model-Based Testing in Practice},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10421},
  editor =	{Wolfgang Grieskamp and Robert M. Hierons and Alexander Pretschner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2011/2925},
  URN =		{urn:nbn:de:0030-drops-29258},
  doi =		{10.4230/DagSemProc.10421.2},
  annote =	{Keywords: Testing, Modeling, Model-Driven Development}
}

Keywords: Testing, Modeling, Model-Driven Development
Collection: 10421 - Model-Based Testing in Practice
Issue Date: 2011
Date of publication: 06.01.2011

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