Published: 27th February 2012
|Preface 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
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.