|
Published: 2nd March 2013 DOI: 10.4204/EPTCS.111 ISSN: 2075-2180 |
| Preface Alexander K. Petrenko and Holger Schlingloff | 1 |
| Invited Talk: Industrial-Strength Model-Based Testing - State of the Art and Current Challenges Jan Peleska | 3 |
| Industrial Presentation: Model-Based testing for LTE Radio Base Station Olga Grinchtein | 29 |
| Industrial Presentation: Towards the Usage of MBT at ETSI Jens Grabowski, Victor Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang and Milan Zoric | 30 |
| Testing Java implementations of algebraic specifications Isabel Nunes and Filipe Luís | 35 |
| Decomposability in Input Output Conformance Testing Neda Noroozi, Mohammad Reza Mousavi and Tim A.C. Willemse | 51 |
| Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces Mikhail Chupilko and Alexander Kamkin | 67 |
| Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines Stephan Weißleder and Hartmut Lackner | 82 |
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.
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.
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.