Published: 2nd March 2013
DOI: 10.4204/EPTCS.111
ISSN: 2075-2180


Proceedings Eighth Workshop on
Model-Based Testing
Rome, Italy, 17th March 2013

Edited by: Alexander K. Petrenko and Holger Schlingloff

Alexander K. Petrenko and Holger Schlingloff
Invited Talk: Industrial-Strength Model-Based Testing - State of the Art and Current Challenges
Jan Peleska
Industrial Presentation: Model-Based testing for LTE Radio Base Station
Olga Grinchtein
Industrial Presentation: Towards the Usage of MBT at ETSI
Jens Grabowski, Victor Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang and Milan Zoric
Testing Java implementations of algebraic specifications
Isabel Nunes and Filipe Luís
Decomposability in Input Output Conformance Testing
Neda Noroozi, Mohammad Reza Mousavi and Tim A.C. Willemse
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces
Mikhail Chupilko and Alexander Kamkin
Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines
Stephan Weißleder and Hartmut Lackner


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

The first workshop on Model-Based Testing (MBT) in this series took place in 2004, in Barcelona. At that time model-based testing already had become a hot topic, but MBT 2004 was the first event devoted exclusively to this domain. Since that time the area has generated enormous scientific and industrial interest, and today there are several other workshops and conferences on software and hardware design and quality assurance covering also model based testing. For example, this year ETSI organizes the UCAAT (User Conference on Advanced Automated Testing) with a focus on "model-based testing in the testing ecosystem". Still, the MBT series of workshops offers a unique opportunity to share new technological and foundational ideas particular in this area, 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 methods, where the range of possible applications is still growing. Currently, we see the following main directions of MBT development.

The invited talk and paper of Jan Peleska in this volume gives a nice survey of current challenges. Furthermore, the submitted contributions, selected by the program committee, reflect the above research trends. Isabel Nunes and Filipe Luis consider the integration of model-based testing with algebraic specifications for the testing of Java programs. Neda Noroozi, Mohammad Reza Mousavi and Tim A.C. Willemse analyze criteria for the decomposability of models in the theory of input-output conformance (ioco) testing. Mikhail Chupilko and Alexander Kamkin extend model-based testing to runtime verification: they develop an online algorithm for conformance of timed execution traces with respect to timed automata. Stephan Weissleder and Hartmut Lackner compare different approaches for test generation from variant models and feature models in product line testing.

In 2012 the "industrial paper" category was added to the program. This year we have two accepted industrial presentations, both from the telecommunications domain: Jens Grabowski, Victor Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang and Milan Zoric report on the evaluation of four different model-based testing tools for standardization at ETSI, the European Telecommunications Standards Institute. Olga Grinchtein gave a talk on the experiences gained by the application of model-based testing for base stations of LTE, the European 4G mobile phone network.

We would like to thank the program committee members and all reviewers for their work in evaluating the submissions. We also thank the ETAPS 2013 organizers for their assistance in the preparation of the workshop and the EPTCS editors for help in publishing these proceedings.

Alexander K. Petrenko and Holger Schlingloff, February 2013.

Program committee

Additional reviewers

Model-Based testing for LTE Radio Base Station

Olga Grinchtein (Ericsson, Sweden)

The presentation describes experiences of applying model-based testing to LTE Radio Base Station. The presentation shows results from MBT project which was carried out at the organization in Ericsson, which is responsible for integration and verification of LTE Radio Access Network. The "LTE", Long Term Evolution, is the next generation mobile network beyond 3G. LTE Radio Access Network consists of LTE Radio Base Station, which supports the LTE air interface and performs radio resource management. The presentation is focused on LTE feature, which requires combinatorial testing. The presentation describes what kind of problems we faced during modelling and concretization. We describe benefits and disadvantages of using Spec Explorer tool for modelling and test generation.