1st Workshop on Model-based Testing in Practice
MoTiP 2008

co-located with the 4th European Conference on
Model Driven Architecture Foundations and Applications
ECMDA 2008

June 12, 2008 – Berlin, Germany

| Home | Workshop Description | Objective | Workshop Program | Registration | Important Dates | Contact | Editorial Notes |
Workshop Organization

Thomas Bauer
Fraunhofer IESE, Germany

Hajo Eichler

Axel Rennoch
Fraunhofer FOKUS, Germany


Program Committee

Fevzi Belli
University of Paderborn

Juhan Ernits
Tallinn University of Technology

Robert Eschbach
Fraunhofer IESE

Friedrich Harbach
ABB Corporate Research Center


Andreas Hoffmann
Fraunhofer FOKUS

Jacques Kamga
Daimler AG

Peter Liggesmeyer
Technical University Kaiserslautern

Jesse Poore
University of Tennessee


Christopher Robinson-Mallett
Berner & Mattner

Ina Schieferdecker
Fraunhofer FOKUS

Dragos Truscan
Abo Akademi University

Colin Willcock
Nokia Siemens Networks



Workshop Description
The current industrial trend to increasing complexity and functionality in software and electronic components leads to an ever-growing demand for software quality – combined with an increasing error-proneness which is also related to shortened development times. In order to remain competitive, an early and continuous consideration and assurance of system quality becomes an asset of ever-increasing importance in industrial software development. Model-based approaches help not only in effective quality assurance, but help also to evaluate and control the coverage, costs, and risks related to the testing efforts. Both – the effectiveness and the efficiency of testing – can be handled by model-based approaches within integrated system and test development for software-intense systems. Currently, model-based testing considers selected aspects of system models in isolation, e.g. structural or behavioural models. This means that the methods are of limited applicability and that they also do not scale with respect to the size and conceptual complexity of real systems. The Testing Workshop at ECMDA seeks to provide answers to the many open issues related to model-driven testing.

The objective of the workshop is to bring together industry and academy to debate on different approaches and methodologies to model-driven testing. Issues to be considered are:

· Innovative model-based approaches to design and define test specifications
· Test languages and methodologies (e.g. TTCN-3, UML2 testing profile)
· Guidelines for model-based testing
· Model-based approaches for component, integration and system testing
· Executable test models and simulation
· Derivation of test models from system models
· Validation of test models
· Test models for non-functional quality properties (e.g. reliability, safety, performance)
· Optimization of test sets
· Cost and economic impact of model-based testing
· Tool automation and tool support
· Experience reports from related case studies in various domains

Both theoretical and practical issues are welcome.

MoTiP '08 Workshop Program

The workshop program can be downloaded here.

Session 1 (Test Generation): 09:00 – 10:00

· S. Bärisch, W. Hasselbring (Uni Oldenburg):
Model-Driven Test Case Construction by Domain Experts
· S. Weißleder (HU Berlin), D. Sokenou (GEBIT), B.-H. Schlingloff (FIRST):
Reusing State Machines for Automatic Test Generation in Product Lines

coffee break: 10:00-10:30

Session 2 (Methods & Processes): 10:30 – 12:30

· T. Bauer, F. Böhr, R. Eschbach (IESE):
On MiL, HiL, Statistical Testing, Reuse, and Efforts
· J. Carter, L. Lin, J. Poore (Uni Tennessee):
Automated Functional Testing of Simulink Control Models
· F. Kantz, D. Streitferdt, P. Nenninger (ABB):
Generic Interface for Model-Based Testing in the Industrial Automation Domain
· K.-D. Engel, A. Rennoch, I. Schieferdecker (FOKUS):
Architecture-driven Test Development

lunch break: 12:30 -13:30

Session 3 (Industrial Domains): 13:30 – 15:00

· S. Wieczorek, A. Stefanescu (SAP), J. Großmann (FOKUS):
Enabling Model-Based Testing for SOA Integration
· D. Streitferdt, P. Nenninger, C. Bilich, F. Kantz (ABB), T. Bauer, R. Eschbach (IESE):
Model-based Testing in the Automation Domain, Safety Enabled
· A. Zabala, J. Hernández, J. Domínguez (IDEKO), A. Mendia (SORALUCE):
Future usage of Model Based Testing methodologies in the Machine-Tool environment
· M. Karla, D. Truscan, J. Lilius, I. Porres (AAU), T. Eriksson, M. Hurskainen (Nokia):
A Testing Framework for NOTA-based Devices

coffee break: 15:00-15:30

Session 4 (Techniques & Tools): 15:30 – 17:00

· A. Kraas, M. Hackenberg (ESK):
XML-based Representation of Test Cases for Distributed Systems
· O.-P.Puolitaival, M. Luo, T. Kanstren (VTT):
On the Properties and Selection of Model-Based Testing tool and Technique
· A. Vouffo Feudjio (FOKUS):
A Unified Approach to Test Modelling

Please refer to details at ECMDA 2008 for registration, hotel reservations, and visa letter requests.  The early bird registration deadline is 15th May 2008.

Important Dates
· Submission deadline extended: 4th April 2008
· Notification of acceptance for participation/presentation: 25th April 2008
· Final papers: 13th May 2008
· Workshop: 12th June 2008

E-Mail to the organizers: motip08@iese.fraunhofer.de