Published: 27th February 2012
DOI: 10.4204/EPTCS.80
ISSN: 2075-2180


Proceedings 7th Workshop on
Model-Based Testing
Tallinn, Estonia, 25 March 2012

Edited by: Alexander K. Petrenko and Holger Schlingloff

Alexander K. Petrenko and Holger Schlingloff
Invited Talk: Model-Based Security Testing
Ina Schieferdecker, Juergen Grossmann and Martin Schneider
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool
Jan Olaf Blech, Dongyue Mou and Daniel Ratiu
Applying SMT Solvers to the Test Template Framework
Maximiliano Cristiá and Claudia Frydman
Exact Gap Computation for Code Coverage Metrics in ISO-C
Dirk Richter and Christian Berg
Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation
Teemu Kanstrén and Olli-Pekka Puolitaival
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation
Gerjan Stokkink, Mark Timmer and Mariëlle Stoelinga
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking
Bernhard K. Aichernig and Elisabeth Jöbstl
Rule-based Test Generation with Mind Maps
Dimitry Polivaev
Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs
Danel Ahman and Marko Kääramees
Model-Based Testing of Safety Critical Real-Time Control Logic Software
Yevgeny Gerlits and Alexey Khoroshilov


MBT 2012 Preface

This volume contains the proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), which was held on March 25, 2012 as a satellite workshop of the European Joint Conferences on Theory and Practice of Software (ETAPS 2012).

The first workshop on Model-Based Testing (MBT) in this series took place in 2004, in Barcelona. At that time MBT already had become a hot topic, but the MBT 2004 workshop was the first event devoted exclusively to this topic. Since that time the area has generated enormous scientific interest, and today there are several specialized workshops and more broad conferences on software and hardware design and quality assurance covering model based testing. For example, in 2011 ETSI has started the MBT-UC (model-based testing user conference) series that considers problems of the application and effective use of MBT in business. Still, the MBT series of workshops offers a unique opportunity to share new technological and foundational ideas, and to bring together researchers and users of model-based testing to discuss the state of the theory, applications, tools, and industrialization.

Model-based testing has become one of the most powerful system analysis tools, where the range of possible applications is still growing. Currently, we see the following main directions of MBT development.

The contributions in this volume reflect these current trends. To quote just a few contributions, Danel Ahman and Marko Kääramees show how to use I/O automata for online test generation. Bernhard Aichernig and Elisabeth Jöbstl report on the combination of reachability and refinement checking. Maximiliano Cristia and Claudia Frydman apply SMT solvers to the test generation problem. Dirk Richter and Christian Berg investigate code coverage metrics for ISO-C. Teemu Kanstrén and Olli-Pekka Puolitaival use domain-specific languages for model-based testing.

In 2012 the "industrial paper" category was added to the program, and two industrial papers were accepted by the program committee. Dimitry Polivaev use mind maps in rule-based test generation. Yevgeny Gerlits and Alexey Khoroshilov report on a case study with a safety-critical realtime controller.

We would like to thank the program committee members and all reviewers for their work in evaluating the submissions. We also thank the ETAPS 2012 organizers for their significant assistance in the preparation of the workshop.

Alexander K. Petrenko and Holger Schlingloff, February 2012.

Program committee

Additional reviewers