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
IKV++,
Germany

Axel Rennoch
Fraunhofer FOKUS, Germany

 

Program Committee

Fevzi Belli
University of Paderborn
Germany

Juhan Ernits
Tallinn University of Technology
Estonia

Robert Eschbach
Fraunhofer IESE
Germany

Friedrich Harbach
ABB Corporate Research Center

Germany

Andreas Hoffmann
Fraunhofer FOKUS
Germany

Jacques Kamga
Daimler AG
Germany

Peter Liggesmeyer
Technical University Kaiserslautern
Germany

Jesse Poore
University of Tennessee

USA

Christopher Robinson-Mallett
Berner & Mattner
Germany

Ina Schieferdecker
Fraunhofer FOKUS
Germany

Dragos Truscan
Abo Akademi University
Finland

Colin Willcock
Nokia Siemens Networks
Germany

 

 

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.

Objective
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
 

Registration
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

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