3rd Workshop on Model-based Testing in Practice

16th June 2010, Paris, France
- in conjunction with ECMFA 2010 -

Workshop Goal

The objective of the workshop is to bring together industry and academy by providing a platform for interchange, discussion and collaboration. Industrial papers should either describe challenges of system or software testing that could be addressed by model-based testing or present their approach to apply model-based testing in practice. Research papers are expected to present promising ideas or possible solutions in the field of model-based testing that have the potential to be utilized in industrial testing scenarios. Submitted papers should cover at least one of the following topics:

• Model-based test design and specifications
• Test languages and methodologies (e.g. TTCN-3, UML testing profile)
• Guidelines for model-based testing
• Model-based test approaches for emerging technologies like SOA
• Executable test models and simulation
• Derivation of test models from system models
• Architecture-driven testing
• Quality and validation of test models
• Test models for non-functional quality properties (e.g. reliability, safety, performance)
• Optimization and prioritization of test case suites
• Risk-based testing with model-based technologies
• Cost and economic impact of model-based testing
• Model-based test processes and standard compliance
• Combination of model-based testing, model-based inspections, and formal model checking
• Tool automation and tool support
• Experience reports from case studies in various domains

top

Workshop Description

Handling software complexity that is caused by increasing functionality and accessibility of software and electronic components is the main challenge in today’s software development and thus leads to an ever-growing demand for methods and techniques to ensure software quality. At the same time software development cycles are shorten to respond the customers demand and market needs for fast and flexible adaption to new solutions. In order to remain competitive under these circumstances an early and continuous consideration and assurance of system quality becomes an asset of ever-increasing importance in industrial software development.

While the software industry starts to adopt model-based techniques for there software development, it must further be clarified, that model-based approaches are not only able to provide effective development methods but also applicable for quality assurance in order to help evaluating and managing 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.

The ECMFA seeks to foster industrialization of the model-based engineering (MBE) approach. Model-based testing is one part of MBE and strongly dependent on any kind of modelled information as provided by MDA. The workshop brings together practitioners and researchers to initiate a dialogue that is much needed for both sides to get promising research ideas that have the potential to answer many of today’s industrial challenges introduced into the industry and bring the feedback for more research activities. Therefore, the workshop perfectly supplements the ECMFA main conference.

Keynote speech

The keynote will be given by Prof. Jesse H. Poore, University of Tennessee.
Title: to be announced

Best Paper Award

The best paper will be awarded at the end of the workshop.

top

Workshop Program Overview

top

Tool-Demo Providers

top

Important Dates

Submission deadline via EasyChair _details
6th April 2010

Notification of acceptance for participation & presentation
4th May 2010

Final papers
12th May 2010

Workshop
16th June 2010

top

Organisation

• Thomas Bauer  (thomas [dot] bauer [at] iese [dot] fraunhofer [dot] de)
  Fraunhofer IESE, Germany
• Hajo Eichler  (eichler [at] ikv [dot] de)
  IKV++, Germany
• Marc-Florian Wendland (marc-florian [dot] wendland [at] fokus [dot] fraunhofer [dot] de)
  Fraunhofer FOKUS, Germany
• Sebastian Wieczorek (sebastian [dot] wieczorek [at] sap [dot] com)
  SAP, Germany

Workshop e-mail address: motip10 [at] fokus [dot] fraunhofer [dot] de
Workshop homepage: http://www.fokus.fraunhofer.de/go/motip10

top

Submission details

Papers or position statements should have maximum 10 pages. Both long and short papers will be considered. Submissions should be made electronically, in PDF format (MS Word and LaTeX need to be printed by any PDF writer) or Postscript via EasyChair (instruction details and templates should be according to formats given at http://www.springer.com/computer/lncs?SGWID=0-164-7-72-3760, e.g. download word.zip if using Office2007 Word). Please clearly indicate whether the paper is a research paper, an experience report, or a position paper. All papers will be independently reviewed by two members of the Program Committee and ranked according to their appropriateness.

top

Publication and dissemination

Authors may be asked to make a short presentation during the workshop. Accepted workshop contributions will be published on the workshop website and through the workshop proceedings (CEA proceedings with ISBN) in relationship with the ECMFA.

top

Program Committee

• Fevzi Belli, Uni Paderborn, Germany
• Juhan Ernits, University of Birmingham, UK
• Robert Eschbach, Fraunhofer IESE, Germany
• Andreas Hoffmann, Fraunhofer FOKUS, Germany
• Jacques Kamga, Daimler AG, Germany
• Andrei Kirshin, IBM Haifa, Israel
• Raluca Lefticaru, Universitatea din Pitesti, Romania
• Bruno Legeard, Smartesting, France
• Jesse Poore, University of Tennessee, USA
• Alexander Pretschner, TU Kaiserslautern, Germany
• Christopher Robinson-Mallett, Berner & Mattner, Germany
• Ina Schieferdecker, TU Berlin, Germany
• Alin Stefanescu, SAP Research, Germany
• Dragos Truscan, Abo Akademi University, Finland
• Colin Willcock, Nokia Siemens Networks, Germany
  _{(to be extended)}

top