http://www.dagstuhl.de/10421

17. – 22. Oktober 2010, Dagstuhl Seminar 10421

Model-Based Testing in Practice

Organisatoren

Wolfgang Grieskamp (Microsoft Research – Redmond, US)
Robert M. Hierons (Brunel University, GB)
Alexander Pretschner (KIT – Karlsruher Institut für Technologie, DE)


Auskunft zu diesem Dagstuhl Seminar erteilt

Dagstuhl Service Team

Dokumente

Dagstuhl Seminar Proceedings DROPS
Teilnehmerliste

Summary

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

This Dagstuhl Seminar brought together top researchers, young scientists, and practitioners to discuss the state of the art, compare it with practical experiences, and derive future directions for model-based testing research and industrialisation. Model-based testing has proved promising even in industrial terms and currently seems at the verge of large-scale deployment.

While previous Dagstuhl seminars around model-based testing (04371 in 2004 and 98361 in 1998) were dedicated to bringing research results into practice, in this seminar we aimed to take advantage of the relative successes of model-based testing and have the discussion guided by available industrial experience. For this reason, this seminar was designed with a particularly high industry participation rate. We also started with a day of talks from industrialist with the focus being on the use of MBT in industry and the challenges faced.

There has been significant progress in MBT since the previous Dagstuhl seminar in 2004. In particular, many more tools are available and there is significant industrial uptake. However, many challenges remain. Some of these challenges were identified in 2004, an example being understanding the relationship between coverage and test quality. In addition, new challenges have arisen. It appears that the move towards highly distributed systems, such as Cloud systems, introduces many interesting scientific and engineering challenges for the community. However, it also provides a great opportunity: these systems are extremely difficult to test in a systematic manner and if effective MBT approaches can be developed for such systems then this should further promote the industrial use of MBT.

Related Dagstuhl Seminar

Classification

  • Modelling / Simulation
  • Semantics / Formal Methods
  • Sw-engineering
  • Verification / Logic

Keywords

  • Testing
  • Modeling
  • Model-Driven Development

Buchausstellung

Bücher der Teilnehmer 

Buchausstellung im Erdgeschoss der Bibliothek

(nur in der Veranstaltungswoche).

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.